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


「申入れは、申込となっているか?」の記述を説明します。

ここで説明している記述では、最初の申入れが申込となると 0番目の申込が定義されたとしているので、以下のように記述できます。

	?- def:申込[順番=0].