Assertion list
face value (aspect of coin ) → AtLocation
Results from Ascent++: 1
face value → AtLocation → sale 0.25