Assertion list
marine aquarium (subgroup of aquarium ) → IsA
Results from Ascent++: 1
marine aquarium → IsA → aquarium 0.68