In our experiments, the linear binarization method is just 2 times faster than the CKY-based binarization.
(•) cannot be easily predetermined in a static way as is assumed in Section 3.3 because it depends on ′ and should be updated whenever a rule in is binarized differently.