二項述語・2変項命題関数の存在量化∃x "x loves y"

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