Assertion list for term "withdraw after the challenge".

Results from Ascent++: 1
arbitrator CapableOfwithdraw after the challenge 0.34