Assertion list for term "simulate any process of formal reasoning".
Results from Ascent++: 1
digital computer (subgroup of computer) → CapableOf → simulate any process of formal reasoning 0.25