Assertion: prerequisite | /r/HasSubgroup | additional requirement
Facets:
Source sentences: