Assertion list
hardware (aspect of cpu ) → CapableOf
Results from Ascent++: 3
hardware → CapableOf → run the software 0.25
hardware → CapableOf → reconfigured for new program 0.16
hardware → CapableOf → support much expansive sse inst… 0.16