Assertion: set | /r/HasAspect | following properties
Facets:
Source sentences:
text: The empty set has the following properties: