Assertion list for term "withdraw the contract".

Results from Ascent++: 1
right (aspect of consumer) CapableOfwithdraw the contract 0.28