Assertion list for term "made for collector".
Results from Ascent++: 2
proof coin (subgroup of coin) → ReceivesAction → made for collector 0.55
coin → ReceivesAction → made for collector 0.48