Assertion list
content (aspect of vesicle ) → ReceivesAction

Results from Ascent++: 2
contentReceivesAction released 0.68
contentReceivesAction degraded 0.25