Assertion: set | /r/HasProperty | written in full formality
Facets:
Source sentences:
text: So, in full formality, the set would be written as: