Assertion list for term "final for extra".

Results from Ascent++: 1
air conditioner CapableOffinal for extra 0.25