でもそれができると existential になっちゃうし、同様に [some P] とかも認めないといけないんじゃないかな？