Assertion list
horn (aspect of kudu ) → ReceivesAction
Results from Ascent++: 1
horn → ReceivesAction → used in defense 0.68