Assertion list
awl (primary) → ReceivesAction
Results from Ascent++: 3
awl → ReceivesAction → removed 0.43
awl → ReceivesAction → formed in alternative embodiment 0.25
awl → ReceivesAction → formed in one piece 0.25