Assertion: set | /r/HasProperty | prime number
Facets:
Source sentences:
text: The set { x : x is a prime number greater than 10} is a proper subset of { x : x is an odd number greater than 10}