Assertion list
body (aspect of sponge ) → ReceivesAction
Results from Ascent++: 1
body → ReceivesAction → full of pore 0.16