このブラウザーはサポートされなくなりました。
Microsoft Edge にアップグレードすると、最新の機能、セキュリティ更新プログラム、およびテクニカル サポートを利用できます。
トリガー式を展開するための量指定子の種類。
句内で、可能なバインディングごとに変数を持つ述語を複製します。
可能な変数のバインドごとに新しい句を作成します。