Summary
Every non-subsumed clause with ANSWER is a relevant answer
answers have hypothetical, generic, specific parts distinguished by variable sharing
giving hypothetical and generic answers makes a rule base more helpful
hypotheticals are relevant questions
answer priorities can influence control structure