In fact, the syntax of Temporal Rover assertions is the same syntax I ve used in the examples above, where assertions taken by the modal operators are surrounded with braces.

• 实际上,Temporal Rover断言的语法与我在上面示例中使用的语法相同,其中,模态操作符采用的断言用花括号括起。