Assertion: function's value | /r/HasProperty | integer
Facets:
Source sentences:
text: Induction is a useful technique to use when the function is only defined for rational or integer values.
text: The main function returns an integer value.