Assertion list
steeple (primary) → ReceivesAction
Results from Ascent++: 4
steeple → ReceivesAction → built 0.49
steeple → ReceivesAction → added 0.25
steeple → ReceivesAction → removed 0.25
steeple → ReceivesAction → replaced 0.25