Assertion list
necessity (primary) → AtLocation
Results from Ascent++: 1
necessity → AtLocation → sole expense of customer 0.28