val clauses: ArrayList<Clause<S, C, K>>
Overrides CompositeClause.clauses
List of clauses under this composite clause