うーん、いい構文が思いつかない。 generalized existential が一番シンプルなのかな・・・