Likewise, λ 3 and λ 4 contain the indices of compared and uncompared words, respectively, to the right.
i indicates the instance under construction; thus, x i denotes an argument or fragment arc of instance i.