Assertion list
dodo (primary) → AtLocation
Results from Ascent++: 1
dodo → AtLocation → the indian ocean 0.31