public static void printKifDescriptionProposition(Description self, boolean invertP) {
    { OutputStream stream = ((OutputStream)(Logic.$PRINTLOGICALFORMSTREAM$.get()));
      Vector existentials = (self.internalVariables.nonEmptyP() ? Logic.copyConsListToVariablesVector(Description.topLevelExistentialVariables(self)) : Logic.ZERO_VARIABLES_VECTOR);

      if (invertP) {
        stream.nativeStream.print("(" + Logic.stringifiedSurrogate(Logic.SGT_PL_KERNEL_KB_NOT) + " ");
        Logic.increaseIndent(4);
      }
      if (existentials.nonEmptyP()) {
        stream.nativeStream.print("(" + Logic.stringifiedSurrogate(Logic.SGT_PL_KERNEL_KB_EXISTS) + " ");
        Logic.printKifQuantifiedVariables(existentials, false);
        stream.nativeStream.println();
        Logic.increaseIndent(Stella.NULL_INTEGER);
        Logic.printIndent(stream, Stella.NULL_INTEGER);
      }
      Logic.printAsKifInternal(self.proposition);
      if (existentials.nonEmptyP()) {
        stream.nativeStream.print(")");
        Logic.decreaseIndent(Stella.NULL_INTEGER);
      }
      if (invertP) {
        stream.nativeStream.print(")");
        Logic.decreaseIndent(4);
      }
    }
  }