Assertion list
exoskeleton (aspect of insect ) → ReceivesAction
Results from Ascent++: 1
exoskeleton → ReceivesAction → shed 0.25