Assertion list
face value (aspect of coin ) → ReceivesAction
Results from Ascent++: 3
face value → ReceivesAction → shown 0.32
face value → ReceivesAction → minted on the coin 0.25
face value → ReceivesAction → surrounded by two branches 0.25