Assertion list for term "never closed".
Results from Ascent++: 3
door → ReceivesAction → never closed 0.53
pool → ReceivesAction → never closed 0.33
archive → ReceivesAction → never closed 0.25