Assertion list
bidding (primary) → AtLocation
Results from Ascent++: 1
bidding → AtLocation → time of publishing 0.31