Assertion list
digital computer (subgroup of computer ) → HasProperty
Results from Ascent++: 1
digital computer → HasProperty → correct 0.16