Assertion list for term "4 coins".

Results from Ascent++: 1
set HasA4 coins 0.34