Assertion: church's function | /r/CapableOf | take an input n
Facets:
Source sentences:
text: This function takes an input n and returns the largest number of symbols that a Turing machine with n states can print before halting, when run with no input.