Assertion: body | /r/HasSubgroup | opaque body
Facets:
Source sentences: