public static AtomicGoalCache getGoalCacheList(Proposition goal) {
    { Surrogate operator = Proposition.cachedGoalOperator(goal);
      NamedDescription description = ((operator != null) ? Logic.getDescription(operator) : null);

      if ((description != null) &&
          (!description.deletedP())) {
        return (((AtomicGoalCache)(KeyValueList.dynamicSlotValue(description.dynamicSlots, Logic.SYM_LOGIC_GOAL_CACHE_LIST, null))));
      }
      else {
        return (null);
      }
    }
  }