Ascent++ | closed at time

Assertion list for term "closed at time".

Results from Ascent++: 2

door → ReceivesAction → closed at time	0.52
lane → ReceivesAction → closed at time	0.14