Assertion: machine's input | /r/HasProperty | coded as the output
Facets:
Source sentences:
text: A 2CM can compute any partial recursive function of one argument, provided the input is coded as 2 N and the output (if the machine halts) is coded as 2 answer .