Assertion list for term "turned on at time".
Results from Ascent++: 3
led → ReceivesAction → turned on at time 0.38
atm → ReceivesAction → turned on at time 0.25
relay → ReceivesAction → turned on at time 0.25