This latter type is standardly taken to be the type of natural language quantifiers, like everybody or nobody (Montague 1973, Barwise and Cooper 1981).
Αυτός ο τελευταίος τύπος συχνά θεωρείται ο τύπος των ποσοδεικτών των φυσικών γλωσσών, όπως οι όλοι ή κανένας (Montague 1973, Barwise και Cooper 1981).