Assertion list for term "redo in the roof".

Results from Ascent++: 1
felt CapableOfredo in the roof 0.25