> def : ^(DEF name expr) -> ^(DEF name STRING[$expr.value]) ; > > (Not entirely sure about that syntax, but it's something like that.) Gavin, This is exactly what I needed!!! (and it's nicely working with that syntax, :)). Thanks Gavin (and Bernardo) for your great help. Alvaro