Assertion: set's subset | /r/HasProperty | true
Facets:
Source sentences:
text: a proper subset) of E = {1, 2, 3}, thus D ⊆ E is true, and D ⊊ E is not true (false).