The binarization in Figure 1 is unfortunate because the obtained production cannot be factorized such that only two nonterminals occur in each rule.
the binarization of Figure 4 allows the factorization into S(U , NP ) ↔ S(U , NP ) and U : @(NP , V ) ↔ @(V , NP ), which are fully binarized productions.