12A (x, y) Informally, (12) says that positions x and y are associated in the output if either (1) they are associated in the input, or (2) the predecessor of x is associated to y in the input.This allows a H to spread to exactly one following TBU (if it exists).
bounded spread is both ISL and A-ISL.