Daide extension for Return Favor Commitment and returning the favor.

[jnusrath]

What functionality will your new tokens add?
New tokens might be added for Return Favor Commitment and returning the favor.

Describe the precise changes you'd like

• We are proposing two new tokens, such as RFC for Return Favor Commitment against a proposed arrangement and RFV for Returning any Favor that was committed before.
• Daide clauses for these two might be “SND (power power …) (RFC(PRP(arrangement)))”
  and “SND(power power…) ((PRP(new_arrangement)) RFV(PRP(prev_arrangment)))” for Return Favor Commitment and Favor Return Respectively.
• Example for RFC –Turkey sending Germany and England such as, "If you two allied against Italy and Russia, I will return you a favor", the Daide clause might be “SND ( GER ENG) (RFC(PRP(ALY(GER ENG) VSS (ITA RUS))))) ”
• Example for RFV - if Turkey provides a return favor to Germany by calling for peace with them as a return favor, the Daide clause might be
  "SND(power power…) ((PRP(PEC(GER TUR))) RFV(PRP(ALY(GER ENG) VSS (ITA RUS)))"

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

[mjspeck]

I'm unclear on how this is meaningfully different from level 110.

[jmell]

This is perhaps a refinement of 110 XOY, rather than something totally new. However, the big difference is that what is proposed here (RFV) would allow us to reference a particular deal/message and say "We are returning the favor to you NOW, in this context". Similarly, RFC would allow us to reference a particular deal as well ("SND ( GER ENG) (RFC(PRP(ALY(GER ENG) VSS (ITA RUS)))))").

XOY does not let you tie to a particular message.

Per our discussion today, this referencing essentially allows us to reference a specific deal without building an "index" of all prior messages. Perhaps XOY could be used in the fashion that we discussed (i.e., it is ASSUMED to refer to the immediate prior message). However, this proposal could eliminate some ambiguity without going overboard.