public static void helpPprintDescriptionsAsRule(Description desc, org.powerloom.PrintableStringWriter stream) {
    { Vector existentials = Logic.copyConsListToVariablesVector(Description.topLevelExistentialVariables(desc));
      boolean existentialvariablesP = existentials.nonEmptyP();

      if (existentialvariablesP) {
        stream.print("(" + OntosaurusUtil.operatorToString(OntosaurusUtil.SGT_PL_KERNEL_KB_EXISTS) + " ");
        Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() + 8);
        OntosaurusUtil.pprintQuantifiedVariables(existentials, false, stream);
        Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() - 5);
        OntosaurusUtil.pprintNewline(stream);
      }
      OntosaurusUtil.pprintDescriptionBody(desc, stream);
      if (existentialvariablesP) {
        stream.print(")");
        Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() - 3);
      }
    }
  }