Assertion list
aquarium (primary) → IsA
Results from Ascent++: 2
aquarium → IsA → vivarium 0.35
aquarium → IsA → educational facility 0.26