Assertion list
warp (primary) → HasProperty
Results from Ascent++: 3
warp → HasProperty → strong 0.47
warp → HasProperty → equal 0.29
warp → HasProperty → impossible 0.16