Assertion list
oyster (primary) → IsA
Results from Ascent++: 2
oyster → IsA → bivalve 0.40
oyster → IsA → mollusk 0.28