As discussed in the introduction, the properness condition reduces the number of parameters of a PPDT.
our results show that if the PPDT has the CPP and the SPP then the properness assumption is not restrictive, i.e., by lifting properness we do not gain new distributions with respect to those induced by the underlying PCFG.