Function partOf

src/compute-engine/assume.ts:1022–1027

(term: Expression)

    if (type !== 'unknown') {
      ce.declare(undefs[0], type);
      recordDeclaredByAssumption(ce, undefs[0], proposition);
      return 'ok';
    }
    // The domain does not map to a type: fall through to storing the
    // assumption verbatim (used to throw "Invalid domain")
  }
  if (undefs.length > 0) {
    ce.context.assumptions.set(proposition, true);
    return 'ok';