public static void pprintFunctionProposition(Proposition self, org.powerloom.PrintableStringWriter stream) {
    { Stella_Object lastarg = self.arguments.last();

      stream.print("(= ");
      Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() + 3);
      OntosaurusUtil.pprintFunctionTerm(self, stream);
      if (OntosaurusUtil.pprintAsAtomicObjectP(lastarg)) {
        stream.print(" ");
      }
      else {
        OntosaurusUtil.pprintNewline(stream);
      }
      OntosaurusUtil.pprintObject(lastarg, stream);
      Native.setIntSpecial(OntosaurusUtil.$PPRINT_INDENT$, ((Integer)(OntosaurusUtil.$PPRINT_INDENT$.get())).intValue() - 3);
      stream.print(")");
    }
  }