>>836ですが、>>837は任意で縛られている部分を自由変数に、存在で縛られている部分を
具体的な対象に置き換えるという感じで想像していたのですが、それでいいのでしょうか？
あと、その他の部分も具体的にどうやるかをお願いします。