Assertion list
general purpose cpu (subgroup of cpu ) → ReceivesAction
Results from Ascent++: 1
general purpose cpu → ReceivesAction → designed in last decade 0.84