You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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)
The text was updated successfully, but these errors were encountered:
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)
The text was updated successfully, but these errors were encountered: