On s'intéresse au champ complexe suivant, qui représente la liste des publications recensées d'un certain ouvrage donné :
On a, par exemple, deux publications à rappeler :
Darbyshire, England : Image Books; 1982. New York : Century; 1980
On construira "logiquement" le texte à imprimer par le schéma :
(la ponctuation est automatiquement fournie).
La représentation « textuelle »
schéma de décompilation
(def lst-publ
((def publ ()
((City ((PlPu)))
(opt C-S ((PlPu))
(", " (C-S)))
(opt Count ((PlPu))
(", " (Count)))
" : " (Publ)
"; " (Date))))
((lst-init ((publ*))
((publ) (lst ". " (publ))))))
les données de l'exemple
(def publ*
(lst-env
((def PlPu
((def City () ("Darbyshire"))
(def Count () ("England"))))
(def Publ () ("Image Books"))
(def Date () ("1982")))
((def PlPu
((def City () ("New York"))))
(def Publ () ("Century"))
(def Date () ("1980"))))
((lst-publ)))
la forme « visuelle »
Darbyshire, England : Image Books; 1982. New York : Century; 1980