Assertion list
flare (primary) → AtLocation
Results from Ascent++: 2
flare → AtLocation → date 0.25
flare → AtLocation → flight 0.25