The sentence {tt (sublist $tau_1$ $tau_2$)} is true if and only if the object denoted by $tau_1$ is a final segment of the list denoted by $tau_2$.
(=> (Sublist ?L1 ?L2) (Or (= ?L1 ?L2) (Sublist ?L1 (Rest ?L2))))