 In the previous sections, we have seen that the theorems of NL, L and LP form a proper inclusion hierarchy.  The semantic counterpart is that in moving to more discriminating syntactic calculi, more and more LP terms are lost in translation: desirable recipes for meaning assembly are often unobtainable as the image of (N)L proofs.  For the three calculi, the table below gives a characteristic type transition.  The second row has the directional proof terms associated with the (N)L type transitions; the third row gives the corresponding LP term, obtained via the translation homomorphism, in the case of (N)L, or directly for the LP case.