Assertion list for term "warm the roof".

Results from Ascent++: 1
heat CapableOfwarm the roof 0.34