 Sentences like ‘Juliet kissed Romeo’ do not seem to have Subject-copula-Predicate form. One might suggest ‘Juliet was a kisser of Romeo’ as a paraphrase. But ‘kisser of Romeo’ differs, in ways that matter to inference, from general terms like ‘politician’. If Juliet (or anyone) was a kisser of Romeo, it follows that someone was kissed; whereas if Juliet was a politician, there is no corresponding logical consequence to the effect that someone was __-ed. Put another way, the proposition that Juliet kissed someone exhibits interesting logical structure, even if we can express this proposition via the sentence ‘Juliet was a kisser of someone’. A quantifier can be part of a complex predicate. But classical logic did not capture the validity of inferences involving predicates that have quantificational constituents. Consider (11).