Assertion list
second space (subgroup of space ) → ReceivesAction
Results from Ascent++: 3
second space → ReceivesAction → communicated with second gas 0.25
second space → ReceivesAction → filled 0.25
second space → ReceivesAction → introduced into third space 0.25