Assertion list for term "turn off after delay".

Results from Ascent++: 1
headlight CapableOfturn off after delay 0.25