< ^  >

TS-2D-PIR Example

[Diagram:pic/stexample]

Rst(B,G) =
	[ (disjoint, ~starts, after, (t0,t1)),
	  (disjoint, ~finishes, after, (t1,t2)),
	  (disjoint, before, after, (t2,t3)) ]

Rst(B,R) =
	[ (disjoint, ~meets, after, (t0,t1)),
	  (disjoint, ~overlaps, after, (t1,t2)),
	  (touches, equals, ~meets, (t2,t3)) ]

Rst(G,R) =
	[ (touches, ~meets, meets, (t0,t1)),
	  (disjoint, ~meets , before, (t1,t2)),
	  (disjoint, after, before, (t2,t3)) ]


< ^  >