Daide extension for Trust and Distrust statement messages

[jnusrath]

What functionality will your new tokens add?
New tokens might be added for sending messages with trust and distrust information
We propose “Send trust message” and “Send distrust message”.

Describe the precise changes you'd like

• The existing Daide specification already has a token for making a statement called “FCT”. Along with this, we are proposing a new token, such as TRU, for the trust and distrust statement.
• Daide clauses for these two might be “SND(power power …) (FCT(TRU(power power…))) 
  ” and “ SND(power power …) (FCT(NOT(TRU(power power…))))  ”for Trust and Distrust Respectively.
• Example of a trust statement- if any power sends Germany and Russia a press_message such as, “I trust Russia and Italy.”,
  the Daide clause might be “SND (GER RUS) (FCT(NOT(TRU(RUS ITA )))”
• Example of a distrust statement- if any power sends Germany and Russia a press_message such as, “I don’t trust Russia and Italy”, the Daide clause might be “SND (GER RUS) (FCT(NOT (TRU(RUS ITA ))))”
  Additional context
  For the negotiation between agents, we are proposing Daide extension.

[ezubaric]

Agree that this is needed.