Symbol: has_clauses