public static void pprintDescription(Description self, org.powerloom.PrintableStringWriter stream) {
    if (Description.namedDescriptionP(self)) {
      OntosaurusUtil.pprintNamedDescription(((NamedDescription)(self)), stream);
    }
    else if (((Description)(KeyValueList.dynamicSlotValue(self.dynamicSlots, OntosaurusUtil.SYM_LOGIC_COMPLEMENT_DESCRIPTION, null))) != null) {
      stream.print("(" + OntosaurusUtil.operatorToString(OntosaurusUtil.SGT_PL_KERNEL_KB_NOT) + " ");
      Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() + 5);
      OntosaurusUtil.pprintObject(((Description)(KeyValueList.dynamicSlotValue(self.dynamicSlots, OntosaurusUtil.SYM_LOGIC_COMPLEMENT_DESCRIPTION, null))), stream);
      Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() - 5);
      stream.print(")");
    }
    else {
      stream.print("(" + OntosaurusUtil.operatorToString(OntosaurusUtil.SGT_PL_KERNEL_KB_KAPPA) + " ");
      Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() + 7);
      OntosaurusUtil.pprintObject(self.ioVariables, stream);
      Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() - 4);
      OntosaurusUtil.pprintObject(self.proposition, stream);
      Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() - 3);
      stream.print(")");
    }
  }