For simplicity, we restrict them to be fully-aligned to at most one user-validated segment 3 .
given a leaf hypernode λ ∈ V: where P MT (λ) is the MT probability (language plus translation model) of λ, and P E (w(λ),f m ) is the error correction probability between the target text covered by the leaf hypernode, w(λ), and the m-th user-validated segment in f .