Assertion list
dragonfly (primary) → AtLocation
Results from Ascent++: 2
dragonfly → AtLocation → water 0.55
dragonfly → AtLocation → the reserve 0.25