There may be constants of P that cannot be translated into L as proper names.
consider, for instance, the line 11 in Figure 4; the translation of this line into G is &P[P(I1)], but as can be seen in Figure 14, there is no proper name that corresponds to this expression in L. this constant could be translated by rule TIp_G (b) as the denoting concepts A/THE(line).