Assertion list
circulating coin (subgroup of coin ) → IsA
Results from Ascent++: 1
circulating coin → IsA → coin 0.68