While word ordering is a somewhat synthetic task, it has two interesting properties for our purposes.
we also experiment with constraining the BSO model during training, as described in Section 4.2, by defining the succ function to only allow successor sequences containing un-used words in the source sentence.