XML til for occurrence

                Never    
XML
       
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<source>
  <entities>
  </entities>
  <variables></variables>
  <constructions>
      <construction ID="#1" constructionType="closure"  occurence="" construction ="[\x:Int ['plus x '5]]" type = "Int">
        <construction ID="#1#1" constructionType="composition"  occurence="" construction ="['plus x '5]" type = "Int">
          <construction ID="#1#1#1" constructionType="trivialisation"  occurence="" construction ="'plus" type = "(Int Int Int)">
          </construction>
          <construction ID="#1#1#2" constructionType="variable"  occurence="" construction ="x" type = "Int">
          </construction>
          <construction ID="#1#1#3" constructionType="trivialisation"  occurence="" construction ="'5" type = "Int">
          </construction>
        </construction>
    </construction>
  </constructions>
</source>

Raw Text