Assertion list
goldfish (primary) → AtLocation
Results from Ascent++: 4
goldfish → AtLocation → aquarium 0.57
goldfish → AtLocation → bowl 0.34
goldfish → AtLocation → temperature 0.29
goldfish → AtLocation → tank 0.27