Temporal Rover includes all of the temporal operators as well as others designed for discussing events that occurred in the past.

• Temporal Rover包括所有时态操作符以及为讨论过去发生的事件而设计的其它操作符。