Assertion list for term "run at 1ghz".
Results from Ascent++: 2
cpu → CapableOf → run at 1ghz 0.33
chip → CapableOf → run at 1ghz 0.25