Assertion list
mississippi straddle (subgroup of straddle ) → IsA
Results from Ascent++: 1
mississippi straddle → IsA → at least the minimum raise 0.68