Assertion list
edible seaweed (subgroup of seaweed ) → IsA
Results from Ascent++: 1
edible seaweed → IsA → algae 0.25