 Going with this idea, it has been suggested that the Mohists did realize a distinction between predicates and singular terms in their classification of names: recall that in A78 lei refers to names that classify (they may be true or admissible of many things, like predicates), whereas si refers to names that are fixed to individual objects (like singular terms). When we add the Mohists’ third category, unrestricted (da), we have a set of names that Lucas (2020) identifies as corresponding to the three basic syntactic categories that are common to the notations of formal logic: individual variables (whose values may be unrestricted), predicates (whose values are determined extensionally by classes), and individual constants (or singular terms, whose values are fixed to individual objects). This gives us some liberty, at least, for thinking of simple Mohist statements in terms of the basic form of predication “\(F(a)\)”, and even for allowing for the use of quantifiers and variables, \(\forall x(\textit{F}x)\)and \(\exists x(\textit{F}x)\).