Assertion list
mountain ski (subgroup of ski ) → IsA
Results from Ascent++: 1
mountain ski → IsA → perfect choice 0.32