Assertion list
shell (aspect of hermit crab ) → ReceivesAction
Results from Ascent++: 1
shell → ReceivesAction → left by dead snails 0.25