Assertion: condensation | /r/HasSubgroup | reverse condensation
Facets:
Source sentences: