Assertion list
modern computer (subgroup of computer ) → UsedFor
Results from Ascent++: 1
modern computer → UsedFor → many tasks 0.33