Assertion list for term "extra bitof lift".
Results from Ascent++: 1
diver → Desires → extra bitof lift 0.16