Find!
x1=s1=t1 has timing / synchronization with x2=s2 in property / aspect / way x3=s3 from time / event x4=t2 to time / event x5=t3.