Assertion list
mobile robot (subgroup of robot ) → HasProperty
Results from Ascent++: 1
mobile robot → HasProperty → autonomous 0.16