Assertion: runt | /r/HasSubgroup | true runt
Facets:
Source sentences: