Assertion: presburger arithmetic | /r/HasProperty | extended
Facets:
Source sentences:
text: Presburger arithmetic can be extended to include multiplication by constants, since multiplication is repeated addition.