public static boolean allArgumentsBoundP(Proposition goal) {
    if (((Vector)(KeyValueList.dynamicSlotValue(goal.dynamicSlots, Logic.SYM_LOGIC_IO_VARIABLES, null))) != null) {
      return (Logic.quantifiedArgumentBoundP(goal, null));
    }
    else {
      return (Logic.argumentBoundP(goal));
    }
  }