「ウィーン売買条約第ＩＩ部」の問合せ６

「契約は成立したか？」の記述を 説明します。

ここで説明している記述では、申込に番号を振っているので、 例えば、 

	「９番目の申込に対する承諾によって契約は成立したか？」
という問合せは、 
	?- def:契約[順番=10].
と記述されます。

もし、申込の番号に関係なく、 

	「契約が成立したかどうかのみ知りたい」
場合は 
	?- def:契約[順番=K].
とすれば、契約が成立したかどうかと、成立した場合、その承諾が 何番目の申込に対するものか教えてくれます。