Assertion list for term "switch off after delay".

Results from Ascent++: 1
relay CapableOfswitch off after delay 0.28