Alpha
AND composition. Short-circuits on the first false child.
AND
false
Child rules, evaluated in order.
Discriminant for an AND composition.
ANDcomposition. Short-circuits on the firstfalsechild.