add function to translate requirements to clauses