Assertion list
modern cpu (subgroup of cpu ) → IsA
Results from Ascent++: 1
modern cpu → IsA → von neumann 0.81