Assertion list
mainframe computer (subgroup of computer ) → IsA
Results from Ascent++: 1
mainframe computer → IsA → computer 0.49