Assertion list
mountain (primary) → DefinedAs
Results from Ascent++: 2
mountain → DefinedAs → any summit 0.41
mountain → DefinedAs → high 0.41