Assertion list
land snail (subgroup of snail ) → HasA
Results from Ascent++: 2
land snail → HasA → small shell 0.68
land snail → HasA → lung 0.38