Assertion list for term "closed at time".

Results from Ascent++: 2
door ReceivesActionclosed at time 0.52
lane ReceivesActionclosed at time 0.14