<xsl:template match="APPLY[MUTIND[attribute::uri='cic:/Coq/Init/Logic/ex.ind' or attribute::uri='cic:/Coq/Init/Logic_Type/exT.ind'] and (count(child::*) = 3)]" mode="pure">
<m:apply helm:xref="{@id}">
<m:exists definitionURL="{MUTIND/@uri}" helm:xref="{MUTIND/@id}"/>
<xsl:choose>
<xsl:when test="name(*[3]) = 'LAMBDA'">
<m:bvar>
<xsl:template match="APPLY[MUTIND[attribute::uri='cic:/Coq/Init/Logic/ex.ind' or attribute::uri='cic:/Coq/Init/Logic_Type/exT.ind'] and (count(child::*) = 3)]" mode="pure">
<m:apply helm:xref="{@id}">
<m:exists definitionURL="{MUTIND/@uri}" helm:xref="{MUTIND/@id}"/>
<xsl:choose>
<xsl:when test="name(*[3]) = 'LAMBDA'">
<m:bvar>