* xsl-import not first instruction
* $id ==> @id
<!-- removed to keep the final URL short enought to make I.E. -->
<!-- work with it. -->
<!-- removed to keep the final URL short enought to make I.E. -->
<!-- work with it. -->
+ <xsl:import href="mk_meta_and_dep_graph.xsl"/>
+
<xsl:variable name="base_RDF_URI" select="'helm:rdf:www.cs.unibo.it/helm/rdf/forward//'"/>
<xsl:variable name="link_direction" select="''"/>
<xsl:variable name="base_RDF_URI" select="'helm:rdf:www.cs.unibo.it/helm/rdf/forward//'"/>
<xsl:variable name="link_direction" select="''"/>
- <xsl:import href="mk_meta_and_dep_graph.xsl"/>
-
<!-- removed to keep the final URL short enought to make I.E. -->
<!-- work with it. -->
<!-- removed to keep the final URL short enought to make I.E. -->
<!-- work with it. -->
+ <xsl:import href="mk_meta_and_dep_graph.xsl"/>
+
<xsl:variable name="base_RDF_URI" select="'helm:rdf:www.cs.unibo.it/helm/rdf/backward//'"/>
<xsl:variable name="link_direction" select="' [dir=back]'"/>
<xsl:variable name="base_RDF_URI" select="'helm:rdf:www.cs.unibo.it/helm/rdf/backward//'"/>
<xsl:variable name="link_direction" select="' [dir=back]'"/>
- <xsl:import href="mk_meta_and_dep_graph.xsl"/>
-
<m:mo stretchy="false">[</m:mo>
<xsl:apply-templates select="*[4]"/>
<m:mo mathcolor="green">
<m:mo stretchy="false">[</m:mo>
<xsl:apply-templates select="*[4]"/>
<m:mo mathcolor="green">
- <xsl:if test="$id != ''">
- <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+ <xsl:if test="@id != ''">
+ <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
</xsl:if>←</m:mo>
<xsl:apply-templates select="*[2]"/>
<m:mo stretchy="false">]</m:mo>
</xsl:if>←</m:mo>
<xsl:apply-templates select="*[2]"/>
<m:mo stretchy="false">]</m:mo>
<xsl:when test="$name='lift'">
<m:msup>
<m:mo mathcolor="green">
<xsl:when test="$name='lift'">
<m:msup>
<m:mo mathcolor="green">
- <xsl:if test="$id != ''">
- <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+ <xsl:if test="@id != ''">
+ <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
</xsl:if>↑</m:mo>
<xsl:apply-templates select="*[2]"/>
</m:msup>
</xsl:if>↑</m:mo>
<xsl:apply-templates select="*[2]"/>
</m:msup>
<xsl:when test="$name='lift_with_base'">
<m:msubsup>
<m:mo mathcolor="green">
<xsl:when test="$name='lift_with_base'">
<m:msubsup>
<m:mo mathcolor="green">
- <xsl:if test="$id != ''">
- <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+ <xsl:if test="@id != ''">
+ <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
</xsl:if>↑</m:mo>
<xsl:apply-templates select="*[3]"/>
<xsl:apply-templates select="*[4]"/>
</xsl:if>↑</m:mo>
<xsl:apply-templates select="*[3]"/>
<xsl:apply-templates select="*[4]"/>
<xsl:apply-templates select="*[2]"/>
<m:munder>
<m:mo mathcolor="green">
<xsl:apply-templates select="*[2]"/>
<m:munder>
<m:mo mathcolor="green">
- <xsl:if test="$id != ''">
- <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+ <xsl:if test="@id != ''">
+ <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
</xsl:if>→</m:mo>
<m:mi mathcolor="green">β</m:mi>
</m:munder>
</xsl:if>→</m:mo>
<m:mi mathcolor="green">β</m:mi>
</m:munder>
<xsl:apply-templates select="*[2]"/>
<m:munderover>
<m:mo mathcolor="green">
<xsl:apply-templates select="*[2]"/>
<m:munderover>
<m:mo mathcolor="green">
- <xsl:if test="$id != ''">
- <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+ <xsl:if test="@id != ''">
+ <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
</xsl:if>→</m:mo>
<m:mi mathcolor="green">β</m:mi>
<m:mi mathcolor="green">*</m:mi>
</xsl:if>→</m:mo>
<m:mi mathcolor="green">β</m:mi>
<m:mi mathcolor="green">*</m:mi>
<xsl:apply-templates select="*[2]"/>
<m:munder>
<m:mo mathcolor="green">
<xsl:apply-templates select="*[2]"/>
<m:munder>
<m:mo mathcolor="green">
- <xsl:if test="$id != ''">
- <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+ <xsl:if test="@id != ''">
+ <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
</xsl:if>⇒</m:mo>
<m:mi mathcolor="green">β</m:mi>
</m:munder>
</xsl:if>⇒</m:mo>
<m:mi mathcolor="green">β</m:mi>
</m:munder>
<xsl:apply-templates select="*[2]"/>
<m:munderover>
<m:mo mathcolor="green">
<xsl:apply-templates select="*[2]"/>
<m:munderover>
<m:mo mathcolor="green">
- <xsl:if test="$id != ''">
- <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+ <xsl:if test="@id != ''">
+ <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
</xsl:if>⇒</m:mo>
<m:mi mathcolor="green">β</m:mi>
<m:mi mathcolor="green">*</m:mi>
</xsl:if>⇒</m:mo>
<m:mi mathcolor="green">β</m:mi>
<m:mi mathcolor="green">*</m:mi>
<!-- forgetful -->
<xsl:when test="$name='forgetful'">
<m:mfenced open="|" close="|">
<!-- forgetful -->
<xsl:when test="$name='forgetful'">
<m:mfenced open="|" close="|">
- <xsl:if test="$id != ''">
- <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+ <xsl:if test="@id != ''">
+ <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
</xsl:if>
<xsl:apply-templates select="*[2]"/>
</m:mfenced>
</xsl:if>
<xsl:apply-templates select="*[2]"/>
</m:mfenced>
<xsl:when test="$name='isomorphic'">
<xsl:apply-templates select="*[2]"/>
<m:mo mathcolor="green">
<xsl:when test="$name='isomorphic'">
<xsl:apply-templates select="*[2]"/>
<m:mo mathcolor="green">
- <xsl:if test="$id != ''">
- <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+ <xsl:if test="@id != ''">
+ <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
</xsl:if>≅</m:mo>
<xsl:apply-templates select="*[3]"/>
</xsl:when>
<!-- interp -->
<xsl:when test="$name='forgetful'">
<m:mfenced open="[" close="]">
</xsl:if>≅</m:mo>
<xsl:apply-templates select="*[3]"/>
</xsl:when>
<!-- interp -->
<xsl:when test="$name='forgetful'">
<m:mfenced open="[" close="]">
- <xsl:if test="$id != ''">
- <xsl:attribute name="m:xref"><xsl:value-of select="$id"/></xsl:attribute>
+ <xsl:if test="@id != ''">
+ <xsl:attribute name="m:xref"><xsl:value-of select="@id"/></xsl:attribute>
</xsl:if>
<xsl:apply-templates select="*[2]"/>
</m:mfenced>
</xsl:if>
<xsl:apply-templates select="*[2]"/>
</m:mfenced>