Assertion: set'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