「ウィーン売買条約第ＩＩ部」の問合せと答えの例５

「３番目の申込は撤回できるか？」の問いは、

	?- capable:申込撤回[順番=3]. 

次に答を示します。

	IF fact:回答[順番=4].種類=削除[対象=回答[順番=3]]
	   def:到達[順番=4].到達日時 =< def:到達[順番=3].到達日時
	THEN YES
	

	もし、４番目の回答が３番目の回答を削除するもので、
	      到達日時が３番目と同じかそれよりも早いなら、
	YES です。