See the Benders decomposition examples at www.ampl.com/NEW/LOOP2,
particularly stoch1 and trnloc1d.
To refer to the dual multipliers of, say, constraint Time[p], use either
"Time[p].dual" or "Time[p]" alone.
Add constraints by expanding the index sets over which the models are
defined -- this is best understood by reading through the examples.
Bob Fourer
4...@ampl.com