translate requirements into clauses