Assertion list
architecture (aspect of cpu ) → HasA
Results from Ascent++: 1
architecture → HasA → single processor 0.58