Écrit en LeLisp, un système expert permettant d'expliciter la sémantique des actes civils. Le système permet de produire une description de ces actes grâce à la combinatoire de cinq opérateurs et trois modalités. Pratiquement, une série de questions binaires permet à l'interprète de délimiter précisément la signification de la forme verbale étudiée. Le rapport final expose l'ensemble de la description interactionnellement produite et la conclusion du système.
En fonction de l'emploi (contexte et cotexte d'énonciation) et de l'interprète, les descriptions d'un même acte peuvent varier. Le système permet dès lors de comparer ces divergences d'interprétation. La production ultime de ce travail est une objectivation du sens des actes civils par l'inventaire des caractéristiques nécessaires (mais non suffisantes) qui les rendent intelligibles.
Caractéristiques : †