Daide Extension for Cancellation of query request

[jnusrath]

What functionality will your new tokens add? New tokens might be added for canceling the query request that one power has already made towards another power regarding an arrangement. We propose “Sending cancellation of query request ”.

Describe the precise changes you'd like

• The existing Daide specification already has tokens for Query and Cancellation that are QRY and CCL, respectively.
• We are proposing a new Daide clause with the existing tokens. The clause might be “SND(power power …) (CCL(QRY(press_message))))”
• Example - if a power wants to cancel the query request it has made to Germany regarding the press_message with ally arrangement that Germany has sent to the power earlier, the Daide clause might be "SND (GER)(CCL(QRY(PRP(ALY (AUS GER) VSS (RUS TUR)))))"

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

[mjspeck]

Can't you already do this? According to the spec, CCL(press_message) and press_message = QRY(arrangement), therefore CCL(QRY(...)) is already valid.