Assertion list for term "cut the frankfurt lead".

Results from Ascent++: 1
run CapableOfcut the frankfurt lead 0.29