No one ______ this building without the permission of the police .A. is leavingB. is to leaveC. has leftD. will be leaving

本题考查虚拟语气的用法，特别是"is to"结构在表达规定、命令或指示时的用法。关键点在于理解句子中隐含的强制性规定，而非单纯的时间状态。选项需体现"未经允许不得离开"的强制意味。

选项分析

A. is leaving

现在进行时，表示动作正在发生或即将发生。但题目强调的是规定，而非具体动作的时间，因此不符合语境。

B. is to leave

"is to"结构表示计划、规定或命令，常用于正式或官方的规定（如法律、制度）。此处意为"被允许才能离开"，符合题意。

C. has left

现在完成时，表示动作已完成。但题目是禁止离开，与动作完成无关，故错误。

D. will be leaving

将来进行时，表示将来的动作。但题目强调的是当前的规定，而非未来动作，因此不适用。