If we let CSD 0 be the subset of CSD where all K (x) are zero, we can generalize this construction into an LM-CFTG which generates CSD 0 .
cSD 0 can be generated by a projective grammar that is interpreted into H 2 .