Assertion list
race car (subgroup of car ) → IsA
Results from Ascent++: 1
race car → IsA → car 0.25