Assertion: filter's element | /r/HasProperty | such that
Facets:
Source sentences:
text: For every x, y in F, there is some element z in F such that
text: if F is nonempty, for every x , y in F , there is some element z in F such that