We may apply the factorization operation repeatedly until all rules have rank 2; we refer to the resulting grammar as a binarization of the original LCFRS.
we simply use c(p) rather than ϕ(p) as the score for new productions, controlling both which binarizations we prefer and the order in which they are explored.