... Querying and Navigation 153strings x = x1, ,xn and y = y1, ,ymwith n ≤ m. The string x is sequence-included in the string y if the l.c.s. of x and y is x. Note that sequence-inclusion and ... all pairs of entriesi and i + j in sig(Q) and subsigS(T ) (i, j =1, 2, |Q|−1 and i + j ≤|Q|),post(qi+j) > post(qi) implies post(tsi+j) > post(tsi) and post(qi+j) < post(qi)implies ... q2= t9, and q3= t10, (2) the postorder of node h ishigher than the postorder of nodes o and p, and the postorder of node o issmaller than the postorder of node p (both in sig(Q) and subsigS(T...