Assertion list
core processor (subgroup of cpu ) → CapableOf
Results from Ascent++: 1
core processor → CapableOf → ensure fast execution of any sc… 0.59