public static void printKifTopLevelExistsProposition(Proposition self) {
    { OutputStream stream = ((OutputStream)(Logic.$PRINTLOGICALFORMSTREAM$.get()));

      stream.nativeStream.print("(" + Logic.stringifiedSurrogate(Logic.SGT_PL_KERNEL_KB_EXISTS) + " ");
      Logic.printKifQuantifiedVariables(Proposition.collectSkolemizedExistsVariables(self), false);
      stream.nativeStream.println();
      Logic.increaseIndent(Stella.NULL_INTEGER);
      Logic.printIndent(stream, Stella.NULL_INTEGER);
      Proposition.printKifProposition(self);
      Logic.decreaseIndent(Stella.NULL_INTEGER);
      stream.nativeStream.print(")");
    }
  }