Assertion: arrangement | /r/HasSubgroup | projective arrangement
Facets:
Source sentences: