Assertion list
shell (aspect of mussel ) → ReceivesAction
Results from Ascent++: 4
shell → ReceivesAction → closed 0.58
shell → ReceivesAction → discarded 0.25
shell → ReceivesAction → broken 0.22
shell → ReceivesAction → cracked 0.16