public static List getForwardGoals(Proposition proposition) {
    { List goals = proposition.forwardChainingGoals().removeDeletedMembers();

      if (goals.emptyP() &&
          (((Proposition)(KeyValueList.dynamicSlotValue(proposition.dynamicSlots, Logic.SYM_LOGIC_MASTER_PROPOSITION, null))) != null)) {
        goals = ((Proposition)(KeyValueList.dynamicSlotValue(proposition.dynamicSlots, Logic.SYM_LOGIC_MASTER_PROPOSITION, null))).forwardChainingGoals().removeDeletedMembers();
      }
      return (goals);
    }
  }