Assertion list
complex cpu (subgroup of cpu ) → ReceivesAction
Results from Ascent++: 2
complex cpu → ReceivesAction → designed 0.68
complex cpu → ReceivesAction → manufactured to tolerance 0.68