TS-2D-PIR Example
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)) ]
|