Add answer of making a clause determine predicate