Assertion list for term "seven cards".

Results from Ascent++: 1
pile HasAseven cards 0.25