public static void createBaseRelationForPolymorphicDescription(Description description) {
    { Surrogate surrogate = Surrogate.internSurrogateInModule(description.descriptionName().symbolName, ((Module)(description.homeContext)), true);
      Stella_Object relation = surrogate.surrogateValue;

      if (relation == null) {
        { Object old$Evaluationmode$000 = Logic.$EVALUATIONMODE$.get();
          Object old$FillingconstraintpropagationqueuesP$000 = Logic.$FILLINGCONSTRAINTPROPAGATIONQUEUESp$.get();

          try {
            Native.setSpecial(Logic.$EVALUATIONMODE$, Logic.KWD_EXTENSIONAL_ASSERTION);
            Native.setBooleanSpecial(Logic.$FILLINGCONSTRAINTPROPAGATIONQUEUESp$, false);
            Logic.assertIsaProposition(Logic.createLogicInstance(surrogate, Logic.SGT_PL_KERNEL_KB_RELATION), Logic.SGT_PL_KERNEL_KB_POLYMORPHIC);

          } finally {
            Logic.$FILLINGCONSTRAINTPROPAGATIONQUEUESp$.set(old$FillingconstraintpropagationqueuesP$000);
            Logic.$EVALUATIONMODE$.set(old$Evaluationmode$000);
          }
        }
      }
    }
  }