Answers: more precisely
Any clause containing ANSWER is relevant because it is descended from the query
Only clauses descended from the query contain ANSWER
Set of support strategy ensures that all resolvants are answers
Subsumed clauses are redundant
? all non-subsumed clauses containing ANSWER are answers -- what kind?