Assertion list for term "carry i-95".

Results from Ascent++: 1
bridge CapableOfcarry i-95 0.32