Assertion list
rifle (primary) → AtLocation
Results from Ascent++: 1
rifle → AtLocation → battery 0.16