Relation _PLURALITY

This property is used to mark plural expressions.
Arity: 2
Subrelation-Of: Quantitative-property
Axioms:
(<=> (_Plurality ?A ?B)
     (And (Exists (?C) (And (Numeric-Value ?A ?C) (> ?C 1)))
          (Quantitative-Property ?A ?B)))