Assertion list
coin (primary) → UsedFor
Results from Ascent++: 2
coin → UsedFor → payment 0.52
coin → UsedFor → the tax 0.38