Assertion list
high mountain (subgroup of mountain ) → IsA
Results from Ascent++: 1
high mountain → IsA → feeling 0.33