Assertion: syntax's argument | /r/HasProperty | explained in the article
Facets:
Source sentences:
text: This argument can be applied to any class of computable (total) functions that can be enumerated in this way, as explained in the article Machine that always halts.