Assertion list
waterfall (primary) → IsA
Results from Ascent++: 1
waterfall → IsA → steep fall of water 0.25