Assertion list for term "give a pair of sevens".

Results from Ascent++: 1
flop CapableOfgive a pair of sevens 0.25