ここで説明している記述では、最初の申入れが申込となると、 ０番目の申込が定義されたとし、Ｋ番目の申込に対する意思表示が 反対申込となると、それを Ｋ＋１番目の申込が定義されたとしています。
ですから、例えば、
「１番目の申込に対する意思表示は反対申込となっているか？」
?- def:申込[順番=2].