Free Text Explication
ezubaric opened this issue · comments
What functionality will your new tokens add?
This would subsume some of the other proposals. Any well-formed coherent DAIDE message can also have a free text explication that can convey tone, elaborate, and
Describe the precise changes you'd like
To the root non-terminal, add a free text explanation. E.g., for a request message MSG, add the explication:
(Explication "This is not a request, it is a demand" MSG)