<xsl:when test="($target = 1) and ($noparams != 0)">
<m:apply>
<m:csymbol>app</m:csymbol>
- <xsl:apply-templates select="."/>
+<!-- Mancava modalita': sono qall'interno di un termine -->
+ <xsl:apply-templates select="." mode="pure"/>
<xsl:call-template name="printparam"><xsl:with-param name="noleft" select="$noparams"/></xsl:call-template>
</m:apply>
</xsl:when>
</xsl:when>
<xsl:otherwise>
<xsl:if test="$target = 1">
- <xsl:apply-templates select="."/>
+<!-- Mancava modalita': con target=1 posso provenire sia da un oggetto che da un termine -->
+ <xsl:choose>
+ <xsl:when test="string($binder) = "LAMBDA"">
+ <xsl:apply-templates select="." mode="pure"/>
+ </xsl:when>
+ <xsl:otherwise>
+ <xsl:apply-templates select="."/>
+ </xsl:otherwise>
+ </xsl:choose>
</xsl:if>
</xsl:otherwise>
</xsl:choose>