+ <Conjecture no="{@no}" helm:xref="{@id}">
+ <xsl:for-each select="*">
+ <xsl:copy>
+ <xsl:copy-of select="@name"/>
+ <xsl:attribute name="helm:xref">
+ <xsl:value-of select="@id"/>
+ </xsl:attribute>
+ <xsl:apply-templates select="*"/>
+ </xsl:copy>
+ </xsl:for-each>