Assertion list for term "receive more than their limit".

Results from Ascent++: 1
prisoner CapableOfreceive more than their limit 0.24