Assertion: set's subset | /r/HasProperty | t
Facets:
Source sentences:
text: If S is a subset of T , then int( S ) is a subset of int( T ).