a is the alignment vector with a j mapping the position of the English word e a j to which f j connects.
we have the standard limitation that one foreign word cannot be connected to more than one English word.