Output as list of clauses