Find!
x1=l1 is a time traveller travelling over time interval x2=l2=t1 from x3=t2 to x4=t3 with time machine/time travel device x5=l3
cf. temci, litru