Discussion: Hypothetical Answers
When non-ANSWER literals don’t share variables with generics or ANSWER
they describe conditions on the answer other than descriptions of individuals
Previous slide
Next slide
Back to first slide
View graphic version