We attribute the difference in speed and BLEU score between our system and Pharaoh to the fact Value Elimination searches in a depth-first fashion over the space of partial configurations of RVs, while Pharaoh expands partial translation hypotheses in a best-first search manner.
to each English word e i corresponds a conditionally dependent fertility φ i , which indicates how many times e i is used by words in the French string.