Assertion list
architecture (aspect of cpu ) → CapableOf
Results from Ascent++: 1
architecture → CapableOf → shown in fig 0.55