Assertion list
mountain (primary) → UsedFor
Results from Ascent++: 1
mountain → UsedFor → skiing 0.31