とする => 在这样的状态下描述事件 N2
描述