A Better Characterization of Answers
Accounts for previously described answers
expands the notion of specific answers
- universally quantified variables
expands the notion of generic answers
- closure of variable sharing with specific
introduces the notion of hypothetical answers