Assertion list
bid (aspect of auction ) → AtLocation
Results from Ascent++: 2
bid → AtLocation → whole dollar increments 0.43
bid → AtLocation → writing 0.25