However, 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.
the construction is generally known as BAR-HILLEL construction [see Bar-Hillel et al.