Assertion list for term "required to be open".
Results from Ascent++: 2
trunk → ReceivesAction → required to be open 0.25
port → ReceivesAction → required to be open 0.19