CompositeClause()
Abstract supertype for clauses which compose other clauses together in some logical manner.