Assertion list for term "reverse to the above".

Results from Ascent++: 1
correction CapableOfreverse to the above 0.27