In the example above, where s="John in Portugal" and t="John em Portugal", the decoder would choose the derivation with the highest probability from s to t. Using the unpruned model, the possible derivations are either using phrase p(s, t) or one element of its support set S 1 , S 2 or S 3 .
on the pruned model where p(s, t) does not exist, only S 1 , S 2 and S 3 can be used.