+<xsl:template match="instantiate" mode="pure">
+ <m:apply helm:xref="{@id}">
+ <m:csymbol>inst</m:csymbol>
+ <xsl:apply-templates mode="noannot" select="*[1]" />
+ <xsl:for-each select="arg">
+ <xsl:variable name="base_path">
+ <xsl:call-template name="path">
+ <xsl:with-param name="uri" select="../*[1]/@uri"/>
+ </xsl:call-template>
+ </xsl:variable>
+ <xsl:variable name="varUri" select="concat($base_path,@relUri)"/>
+ <m:ci definitionURL="{$varUri}">
+ <xsl:call-template name="insert_subscript">
+ <xsl:with-param name="node_value">
+ <xsl:call-template name="name_of_uri">
+ <xsl:with-param name="uri" select="$varUri"/>
+ <xsl:with-param name="extension" select="'.var'"/>
+ </xsl:call-template>
+ </xsl:with-param>
+ </xsl:call-template>
+ </m:ci>
+ <xsl:apply-templates mode ="noannot" select="*[1]" />
+ </xsl:for-each>
+ </m:apply>
+</xsl:template>
+