 One can adopt the view that many propositions have relational parts, introducing a variable ‘R’ intended to range over relations; see the entries on  medieval relations,  and  medieval terms.  One can also formulate the following schema: some P R every D, and some D is L; so some P R some L. But the problem remains. Quantifiers can appear in complex predicates that figure in valid inferences like (12).