Assertion list
crater lake (subgroup of lake ) → HasProperty
Results from Ascent++: 2
crater lake → HasProperty → blue 0.35
crater lake → HasProperty → picturesque 0.23