Assertion list for term "opened at time".
Results from Ascent++: 2
door → ReceivesAction → opened at time 0.54
valve → ReceivesAction → opened at time 0.30