Assertion list
new coin (subgroup of coin ) → AtLocation
Results from Ascent++: 1
new coin → AtLocation → base metal 0.25