Assertion list
horn (aspect of goat ) → ReceivesAction
Results from Ascent++: 3
horn → ReceivesAction → broken 0.52
horn → ReceivesAction → removed 0.32
horn → ReceivesAction → blown 0.25