Assertion list
ferrule (primary) → ReceivesAction
Results from Ascent++: 2
ferrule → ReceivesAction → manufactured 0.38
ferrule → ReceivesAction → designed 0.24