Assertion: quantifier | /r/HasProperty | false
Facets:
value: d element of set
type: OTHER
Source sentences:
text: If set is empty, the quantifier is FALSE.
text: Otherwise, if booleanExpr is true for least one element of set , the quantifier is TRUE.
text: d element of set , the quantifier is FALSE.