Assertion list
humpback whale (subgroup of whale ) → AtLocation
Results from Ascent++: 1
humpback whale → AtLocation → australian waters 0.25