Assertion list for term "remain lighted".

Results from Ascent++: 1
tube CapableOfremain lighted 0.25