Assertion: lh | /r/HasSubgroup | reduced lh
Facets:
Source sentences: