Assertion list
horse (aspect of grant ) → ReceivesAction
Results from Ascent++: 2
horse → ReceivesAction → stolen 0.59
horse → ReceivesAction → returned 0.49