Assertion list
trunk (aspect of elephant ) → ReceivesAction
Results from Ascent++: 2
trunk → ReceivesAction → used as snorkel 0.28
trunk → ReceivesAction → restricted by heavy iron bar 0.25