Assertion list
crater lake (subgroup of lake ) → IsA
Results from Ascent++: 2
crater lake → IsA → the deepest lake 0.68
crater lake → IsA → lake 0.46