Assertion: construction | /r/HasSubgroup | logical construction
Facets:
Source sentences: