“…The expression is true, if and only if, there exist (a 1 + a 2 + … + a n ) objects in S, a 1 objects of these objects satisfy C(x 1 ), a 2 objects of the rest satisfy C(x 2 ), and so on. It is allowable that in the following query specification, to use x k to represent all of a k objects and x 1 [1],…, x 1 [a 1 ],…, x n [1],…, x n [a n ] to represent each object respectively.…”