public static Proposition createFunctionProposition(GeneralizedSymbol predicate, Cons inputarguments) {
    { Proposition proposition = Logic.beginCreatingFunctionProposition(predicate, inputarguments);
      Proposition duplicate = ((!Logic.descriptionModeP()) ? Proposition.findDuplicateFunctionProposition(proposition) : ((Proposition)(null)));

      if (!(duplicate == null)) {
        System.err.print("Safety violation: INTERNAL ERROR: encountered unexpected duplicate function proposition: `" + duplicate + "'");
      }
      return (Proposition.finishCreatingFunctionProposition(proposition));
    }
  }