LEGEND: White thick-border: initial Black: $false Edge label: child inference rule Click node: show (name, role, rule, formula)