Assertion list for term "model any form of computation".
Results from Ascent++: 1
turing machine (subgroup of machine) → CapableOf → model any form of computation 0.25