Assertion list
modern computer (subgroup of computer ) → IsA
Results from Ascent++: 3
modern computer → IsA → millions to billions of times 0.47
modern computer → IsA → turing-complete 0.41
modern computer → IsA → many orders of magnitude 0.16