Assertion list for term "do with voidability".

Results from Ascent++: 1
consequence CapableOfdo with voidability 0.30