Assertion list for term "disposed in both the open configuration".

Results from Ascent++: 1
ring ReceivesActiondisposed in both the open configuration 0.32