Assertion: variable | /r/HasSubgroup | propositional variable
Facets:
Source sentences: