HaytClause as an union of all clauses