M = {
    (B, [(1.4,SW,(t0,t1)), (1,S,(t1,t2)), (0,?,(t2,t3))]),
    (G, [(1.4,SE,(t0,t3))]),
    (R, [(1,E,(t0,t3))])
}
R = {
    ((B,G),
	[ (disjoint, ~starts, after, (t0,t1)),
	  (disjoint, ~finishes, after, (t1,t2)),
	  (disjoint, before, after, (t2,t3)) ]
    ),
    ((B,R),
	[ (disjoint, ~meets, after, (t0,t1)),
	  (disjoint, ~overlaps, after, (t1,t2)),
	  (touches, equals, ~meets, (t2,t3)) ]
    ),
    ((G,R),
	[ (touches, ~meets, meets, (t0,t1)),
	  (disjoint, ~meets , before, (t1,t2)),
	  (disjoint, after, before, (t2,t3)) ]
    )
}