Assertion list
mobile robot (subgroup of robot ) → IsA
Results from Ascent++: 1
mobile robot → IsA → robot 0.25