Assertion list for term "define expensive computer calculation".
Results from Ascent++: 1
proof → CapableOf → define expensive computer calculation 0.27