Assertion list for term "pay 6/1".

Results from Ascent++: 1
fold CapableOfpay 6/1 0.35