Every paper mentioned each candidate
Every paper is such that (it mentioned each candidate)
(∀x: x is a paper) x mentioned each candidate
(∀x: x is a paper) each candidate is such that (x mentioned him or her)
(∀x: x is a paper) (∀y: y is a candidate) x mentioned y
(∀x: Px) (∀y: Cy) Mxy
∀x (Px → ∀y (Cy → Mxy))
C: [ _ is a candidate]; M: [ _ mentioned _ ]; P: [ _ is a paper]
| + | − |