Assertion list
killer whale (subgroup of whale ) → AtLocation
Results from Ascent++: 1
killer whale → AtLocation → ocean 0.51