Assertion list
small lake (subgroup of lake ) → IsA
Results from Ascent++: 1
small lake → IsA → home 0.16