These nodes will always form the leaves of a logic tree. They are the only node whose children are strings, not other nodes.

Base class for logic nodes. A node forms an expression tree for a sentence of symbolic logic.