Assertion: command's argument | /r/HasProperty | integer
Facets:
Source sentences:
text: The arguments to the command function can be strings, reals, integers, or points, as expected by the prompt sequence of the executed command.