Assertion list
horn (aspect of cow ) → ReceivesAction
Results from Ascent++: 2
horn → ReceivesAction → removed 0.47
horn → ReceivesAction → painted 0.25