Assertion: set's subset | /r/HasProperty | b of s.
Facets:
Source sentences:
text: If A is in F and A is a subset of B, then B is in F, for all subsets B of S. (F is upward-closed)