A (x, y) Informally, the formula in (7) states that positions x and y are associated in the output model if x is associated to the predecessor of y in the input model, or if x is associated to y in the input and y is final (because, as with the string representation, we assume that a final H cannot shift).
the bounded shift pattern in Rimi, which was ISL given a string representation, is also A-ISL.