Assertion: set | /r/AtLocation | set cover
Facets:
Source sentences:
text: \mathcal {S}}} (every set is either in the set cover or not)