John J. Camilleri, Gabriele Paganelli, and Gerardo Schneider have published A CNL for Contract-Oriented Diagrams, in CNL 2014: 4th International Workshop on Controlled Natural Language, Galway, Ireland, August 20-22, 2014 (Springer, 2014).
Here is the abstract:
We present a first step towards a framework for defining and manipulating normative documents or contracts described as Contract-Oriented (C-O) Diagrams. These diagrams provide a visual representation for such texts, giving the possibility to express a signatory’s obligations, permissions and prohibitions, with or without timing constraints, as well as the penalties resulting from the non-fulfilment of a contract. This work presents a CNL for verbalising C-O Diagrams, a web-based tool allowing editing in this CNL, and another for visualising and manipulating the diagrams interactively. We then show how these proof-of-concept tools can be used by applying them to a small example.