Assertion list
snail (primary) → IsA
Results from Ascent++: 3
snail → IsA → mollusk 0.49
snail → IsA → gastropod 0.44
snail → IsA → animal 0.25