Assertion list
laptop computer (subgroup of computer ) → IsA
Results from Ascent++: 1
laptop computer → IsA → computer 0.29