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