public static boolean variableArityGoalPropositionP(Proposition proposition) {
    { Keyword testValue000 = proposition.kind;

      if ((testValue000 == Logic.KWD_PREDICATE) ||
          (testValue000 == Logic.KWD_FUNCTION)) {
        { Description description = Proposition.extractGoalDescription(proposition, null);

          return ((description != null) &&
              Description.variableArityP(description));
        }
      }
      else {
      }
    }
    return (false);
  }