First,we introduce a definition of temporal type and the interrelate conception.

• 首先,我们引入了时态型的定义以及相关的概念。