Assertion list
shell (aspect of crab ) → ReceivesAction
Results from Ascent++: 4
shell → ReceivesAction → removed 0.48
shell → ReceivesAction → shed 0.43
shell → ReceivesAction → cracked 0.33
shell → ReceivesAction → damaged 0.25