Assertion list
programmer (primary) → AtLocation
Results from Ascent++: 1
programmer → AtLocation → tune 0.25