二項述語を存在量化してつくった一項述語

∃x "x loves y" 二項述語・2変項命題関数 の存在量化の具体例を作成。アップロード。