Assertion list
penny (primary) → AtLocation
Results from Ascent++: 3
penny → AtLocation → circulation 0.37
penny → AtLocation → library 0.30
penny → AtLocation → the meantime 0.25