Assertion list
horn (aspect of bison ) → ReceivesAction

Results from Ascent++: 1
hornReceivesAction curved 0.38