public static boolean hasInversionsP(Proposition goal) {
    return (((KeyValueList)(KeyValueList.dynamicSlotValue(Logic.getDescription(((Surrogate)(goal.operator))).dynamicSlots, Logic.SYM_LOGIC_PERMUTATION_TABLE, null))) != null);
  }