Assertion: function | /r/HasProperty | designed for that purpose
Facets:
value: specifically
type: MANNER
Source sentences:
text: (Aside from its historic role as a total-computable-but-not-primitive-recursive function, Ackermann's original function is seen to extend the basic arithmetic operations beyond exponentiation, although not as seamlessly as do variants of Ackermann's function that are specifically designed for that purpose—such as Goodstein's hyperoperation sequence.)