Assertion list for term "involve halving".

Results from Ascent++: 1
problem (aspect of child) CapableOfinvolve halving 0.20