Inheritance diagram for DisjunctionNode:
The list of operands.
This list must have at least two elements.