Sorry terry 9 but I need to add the following. The so called ''universal
quantifier'' (all, some, etc.) imply many variables. We are not able to handle ''to many variables''. But there are also numerical quantifiers. Say there are exactly 3 or 4 conditions which object A needs to satisfy in order to be used for F. I think that we use numerical quantifiers (variables) in our discussion without being aware of this.
I never come across of more as 5 of such conditions in any thread.