Assertion: arithmetic | /r/HasProperty | consistent
Facets:
Source sentences:
text: Assuming that arithmetic is consistent, arithmetic with ~G is also consistent.