Assertion: root | /r/HasSubgroup | half root
Facets:
Source sentences: