Assertion list for term "beat the tortoise".

Results from Ascent++: 1
hare CapableOfbeat the tortoise 0.53