Assertion list
horse (aspect of carousel ) → ReceivesAction
Results from Ascent++: 2
horse → ReceivesAction → protected by a jewel-box struct… 0.25
horse → ReceivesAction → restored 0.16