Assertion list
dog (aspect of shepherd ) → ReceivesAction
Results from Ascent++: 2
dog → ReceivesAction → left alone 0.25
dog → ReceivesAction → trained 0.25