Various modal operators can then be applied to these atomic assertions to generate more complex assertions.

• 于是,各种模态操作符都可以应用于这些原子断言以生成更复杂的断言。