Assertion: raise | /r/HasSubgroup | constructive raise
Facets:
Source sentences: