Assertion: standard | /r/HasProperty | understood in the sense of the new predicate
Facets:
Source sentences:
text: For instance, there is no set in IST whose elements are precisely the standard integers (here standard is understood in the sense of the new predicate).