Assertion list
turing machine (subgroup of machine ) → CapableOf
Results from Ascent++: 3
turing machine → CapableOf → halt on every input 0.25
turing machine → CapableOf → model any form of computation 0.25
turing machine → CapableOf → model machine 0.25