Assertion list for term "consist of four coins".

Results from Ascent++: 1
proof CapableOfconsist of four coins 0.25