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