スコーレム化の実装終了