Assertion: set | /r/HasProperty | such a l
Facets:
Source sentences:
text: If there is a set that is a standard model of ZF, then the smallest such set is such a L κ .