public static Stella_Object conceiveSentence(Stella_Object tree) {
    if (Surrogate.subtypeOfStringP(Stella_Object.safePrimaryType(tree))) {
      { StringWrapper tree000 = ((StringWrapper)(tree));

        return (Logic.conceiveSentence(Stella.readSExpressionFromString(tree000.wrapperValue)));
      }
    }
    else {
      return (Logic.smartUpdateProposition(tree, Logic.KWD_CONCEIVE));
    }
  }