Assertion list
digital computer (subgroup of computer ) → HasA
Results from Ascent++: 2
digital computer → HasA → a data processing system 0.25
digital computer → HasA → higher processing speeds 0.16