We now formalize weighted non-projective dependency parsing similarly to<cite> (McDonald et al., 2005b)</cite> and then describe a modified and more efficient version that can be integrated into a phrasebased decoder.