Assertion list
slaughter (primary) → AtLocation
Results from Ascent++: 1
slaughter → AtLocation → the flight 0.32