 As can be seen, the analysis assumes that predicate terms are implicitly quantified. Jones held, following William Hamilton, that quantification is not restricted to subject terms, but applies to predicate terms as well (although the quantifier attaching to the predicate is never articulated). While Hamilton’s doctrine of the quantification of the predicate allowed for all sorts of monstrosities (Kneale and Kneale, 1962, 352–4), the only cases that Jones discusses involve quantifying the predicate with ‘some’, and assigning truth conditions to ‘Q + S are some P’ is relatively straightforward: