Assertion list
player (aspect of arsenal ) → AtLocation
Results from Ascent++: 1
player → AtLocation → the tunnel 0.25