Assertion list
proboscis (primary) → IsA
Results from Ascent++: 2
proboscis → IsA → elongated nose 0.25
proboscis → IsA → snout 0.25