i の間に偽となら なければ、イベント e1 の後 に イベント e2 が時間遅れ i で生じる • ただし、イベント e1 の rf の 時点から時間を測定する (pcause p e q rf i r1) • p が区間 i の間に偽となら なければ、イベント e の後 にファクト f が時間遅れ i で 成立し、r1 の間成立し続け る e1 e2 rf 区間 i e 区間 i 区間 r1 f
i の間に偽となら なければ、イベント e1 の後 に イベント e2 が時間遅れ i で生じる • ただし、イベント e1 の rf の 時点から時間を測定する (pcause p e q rf i r1) • p が区間 i の間に偽とならな ければ、イベント e の後に ファクト q が時間遅れ i で成 立し、r1 の間成立し続ける • ただし、イベント e の rf の時 点から時間を測定する e1 e2 rf 区間 i e rf 区間 i 区間 r1 q
before K) X before Y Y aner X X ------ Y ------- X meets Y Y met_by X X -------- Y ------- X overlaps Y Y overlapped_by X X -------- Y ---------- X starts Y Y started_by X X ------ Y --------------- X during Y Y contains X X ------ Y ------------------- X finishes Y Y finished_by X X ------ Y ------------------- X equals Y Y equals X X ------ Y ------