Assertion list
alu (aspect of cpu ) → CapableOf
Results from Ascent++: 2
alu → CapableOf → perform subtraction 0.68
alu → CapableOf → perform arithmetic and logical … 0.39