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