Assertion: arithmetic | /r/HasSubgroup | presburger arithmetic
Facets:
Source sentences: