Assertion: requirement | /r/HasSubgroup | solution requirement
Facets:
Source sentences: