ments s(X i ) parented by an indexed symbol X i (see Section 3.2), and when calculating the inside and outside scores during inference, we account for the collapsed subtree tokens by expanding the counts and scores using the corresponding multiplicities.
we achieve the compaction with negligible overhead in computation.