AMPL per la ricerca operativa

[supercecco]

Qualcuno utilizza AMPL per la ricerca operativa ?
Avrei bisogno di sapere quando nel file .mod un parametro deve essere dichiarato come symbolic; mi spiego meglio solitamente si fa così:
si determina un insieme con la sintassi [set nomeinsieme] e poi il paramentro riferito a tale insieme: [param nomeparametro{nomeinsieme}] in alcuni casi però tale sintassi non va bene e bisogna usare: [param nomeparametro symbolic in nomeinsieme].
Why ?

Grazie