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