M-M+HMM: Many-to-many aligner with HMM and instance-based segmenter for decoding as reported by (Jiampojamarn et al., 2007).
we identify S-restricted monotone paths with S-restricted monotone alignments in the sequel.