Assertion list
blimp (primary) → AtLocation
Results from Ascent++: 1
blimp → AtLocation → louisville 0.31