Assertion list
tungsten (primary) → AtLocation
Results from Ascent++: 1
tungsten → AtLocation → effort 0.25