Assertion list for term "sub roof".

Results from Ascent++: 1
repair CapableOfsub roof 0.25