Assertion list for term "work in real life".

Results from Ascent++: 1
circuit CapableOfwork in real life 0.28