Assertion: pedal | /r/HasSubgroup | double pedal
Facets:
Source sentences: