これには存在量化子formula_6があるので、スコーレム標準形ではない。