clauses

abstract val clauses: List<Clause>?