Assertion list
mountain ski (subgroup of ski ) → CapableOf
Results from Ascent++: 1
mountain ski → CapableOf → get lighter 0.41