Assertion list for term "overtake the doughnut".

Results from Ascent++: 1
bagel CapableOfovertake the doughnut 0.16