Assertion list
female lobster (subgroup of lobster ) → IsA
Results from Ascent++: 1
female lobster → IsA → v-notched 0.25