Daide extension for threat statement

[jnusrath]

What functionality will your new tokens add?
New tokens might be added for threatening a power on certain actions.
We propose “Send break friendship threat” and “Send last offer threat”

Describe the precise changes you'd like

• The existing Daide specification already has a token for making a statement called “FCT”. We are also proposing two new tokens, such as BFT for Break Friendship Threat and LOT for Last Offer Threat.
• Daide clauses for these two might be “SND (power power …) (FCT (BFT(arrangement)))” and “SND (power power…) (FCT(LOT(arrangement)))” for Break Friendship Threat and Last Offer Threat Respectively.
• Example for BFT – if any power sends Russia a press_message such as, “if you set peace with Germany and Austria, you aren’t my friend anymore", the Daide clause might be “SND (RUS) (FCT(BFT(PCE(RUS GER AUS )))) ”
• Example for LOT- Germany sends England a press_message such as, “I am proposing you to ally with me against Italy and Russia. It will be my last offer to you if you don’t agree to this", the DAIDE clause might be “ SND (ENG) (FCT(LOT(PRP(ALY(GER ENG)VSS(ITA RUSS)))))".

Additional context
For the negotiation between agents, we are proposing Daide extension.

[mjspeck]

Couldn't the BFT situation be addressed just using NOT, PCE, and IFF? e.g. (assuming I am FRANCE) IFF PCE ( RUS GER AUS ) THN ( NOT ( PCE (FRA RUS ) ). This roughly translates to "If you (Russia) set peace with Germany and Austria then you and I will not have peace. Roughly the same thing as "being friends."