Assertion list
horn (aspect of bison ) → ReceivesAction
Results from Ascent++: 1
horn → ReceivesAction → curved 0.38