Assertion: syntax's argument | /r/CapableOf | provide total computable function
Facets:
Source sentences:
text: This argument provides a total computable function that is not primitive recursive.