Assertion list for term "minimise cut".

Results from Ascent++: 1
proportion CapableOfminimise cut 0.32