Assertion: contraction | /r/HasSubgroup | ring contraction
Facets:
Source sentences: