Assertion list for term "turn on led".

Results from Ascent++: 1
circuit CapableOfturn on led 0.32