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