Assertion list
arbitrage (primary) → HasProperty
Results from Ascent++: 4
arbitrage → HasProperty → possible 0.61
arbitrage → HasProperty → profitable 0.46
arbitrage → HasProperty → risky 0.31
arbitrage → HasProperty → impossible 0.16