Assertion list
explosive (primary) → AtLocation
Results from Ascent++: 2
explosive → AtLocation → canister 0.25
explosive → AtLocation → frederick county 0.25