Assertion list
modern cpu (subgroup of cpu ) → HasA
Results from Ascent++: 1
modern cpu → HasA → multiple cores 0.35