splitting into clauses