(∀y: Qy) ¬ (∀x: Sx) Axy
for A: [ _ answered _ ]; Q: [ _ is a question]; S: [ _ is a source]
(∀y: y is a question) ¬ (∀x: x is a source) x answered y
(∀y: y is a question) ¬ every source is such that (he or she answered y)
(∀y: y is a question) ¬ every source answered y
No question is such that (every source answered it)
? Every source answered no questionNo question was answered by every source
(∀y: y is a question) not every source answered y
Every question is such that (not every source answered it)
? Not every source answered every questionany question
+ | − | 1 | 2 |