Assertion list for term "work off main".

Results from Ascent++: 1
circuit CapableOfwork off main 0.26