insiemi stringhe *)
| EX <bool> (* existential on attributes
of references *)
-<string-set> := {} (* insieme vuoto*)
+<string-set> := ( <string-set> ) (* parentesizzazione *)
+ | {} (* insieme vuoto*)
| <quoted-constant-string> (* stringa singoletto *)
| {<quoted-constant-string-list>}(* insieme stringhe *)
| REFOF <set> (* insieme riferimenti *)