public static boolean allKeyArgumentsBoundP(Proposition goal) {
    if ((goal.kind == Logic.KWD_FUNCTION) ||
        Proposition.singleValuedPredicateP(goal)) {
      if (((Vector)(KeyValueList.dynamicSlotValue(goal.dynamicSlots, Logic.SYM_LOGIC_IO_VARIABLES, null))) != null) {
        { boolean alwaysP000 = true;

          { int i = Stella.NULL_INTEGER;
            int iter000 = 0;
            int upperBound000 = goal.arguments.length() - 2;

            loop000 : for (;iter000 <= upperBound000; iter000 = iter000 + 1) {
              i = iter000;
              if (!Logic.quantifiedArgumentBoundP((goal.arguments.theArray)[i], null)) {
                alwaysP000 = false;
                break loop000;
              }
            }
          }
          { boolean value000 = alwaysP000;

            return (value000);
          }
        }
      }
      else {
        { boolean alwaysP001 = true;

          { int i = Stella.NULL_INTEGER;
            int iter001 = 0;
            int upperBound001 = goal.arguments.length() - 2;

            loop001 : for (;iter001 <= upperBound001; iter001 = iter001 + 1) {
              i = iter001;
              if (!Logic.argumentBoundP((goal.arguments.theArray)[i])) {
                alwaysP001 = false;
                break loop001;
              }
            }
          }
          { boolean value001 = alwaysP001;

            return (value001);
          }
        }
      }
    }
    else {
      return (false);
    }
  }