Assertion list for term "lift in butterfly".

Results from Ascent++: 1
corner CapableOflift in butterfly 0.16