Assertion list
alloy wheel (subgroup of wheel ) → IsA
Results from Ascent++: 1
alloy wheel → IsA → excellent feature 0.35