Assertion: signature | /r/HasSubgroup | type signature
Facets:
Source sentences: