public static Proposition predicateOfFunctionInducedExists(Proposition existsproposition) {
    { Proposition value000 = null;

      { Proposition arg = null;
        Vector vector000 = ((Vector)(((Proposition)((existsproposition.arguments.theArray)[0])).arguments));
        int index000 = 0;
        int length000 = vector000.length();

        loop000 : for (;index000 < length000; index000 = index000 + 1) {
          arg = ((Proposition)((vector000.theArray)[index000]));
          if ((!(arg.kind == Logic.KWD_FUNCTION)) &&
              (!BooleanWrapper.coerceWrappedBooleanToBoolean(arg.variableTypeP()))) {
            value000 = arg;
            break loop000;
          }
        }
      }
      { Proposition value001 = value000;

        return (value001);
      }
    }
  }