Assertion list
machinist (primary) → ReceivesAction
Results from Ascent++: 2
machinist → ReceivesAction → inspired by architecture 0.25
machinist → ReceivesAction → inspired by machine 0.25