Index: staging/apertium-cat-srd/apertium-cat-srd.cat-srd.t1x
===================================================================
--- staging/apertium-cat-srd/apertium-cat-srd.cat-srd.t1x	(revision 80114)
+++ staging/apertium-cat-srd/apertium-cat-srd.cat-srd.t1x	(revision 80115)
@@ -161,6 +161,12 @@
    <cat-item tags="vbhaver.ger"/>
    <cat-item tags="vbhaver.pp.*"/>
 </def-cat>
+<def-cat n="pp">
+   <cat-item tags="vblex.pp.*"/>
+   <cat-item tags="vbmod.pp.*"/>
+   <cat-item tags="vbser.pp.*"/>
+   <cat-item tags="vbhaver.pp.*"/>
+</def-cat>
 <def-cat n="vbmod-tmp-srd">
    <cat-item tags="vbmod.inf"/>
    <cat-item tags="vbmod.pri.*"/>
@@ -183,6 +189,7 @@
    <cat-item tags="vblex.pp.*"/>
 </def-cat>
 </section-def-cats>
+
 <section-def-attrs>
 <def-attr n="gen">
    <attr-item tags="m"/>
@@ -302,6 +309,7 @@
       <list-item v="bàlere"/>
       <list-item v="sèere"/>
       <list-item v="pròere"/>
+<!--      <list-item v="torrare"/> cas especial -->
    </def-list>
 </section-def-lists>
 
@@ -2409,8 +2417,54 @@
       </choose>
     </def-macro>
 
-  </section-def-macros>
+<def-macro n="f_vaux_anar_inf" npar="2">
+   <choose> <!-- vaux + vlex: es canvia el vaux a èssere o àere i es posa el segon en pp -->
+     <when>
+       <test>
+         <or>
+           <in caseless="yes"><clip pos="2" side="tl" part="lemh"/><list n="vbambser"/></in>
+	   <and>
+	     <equal caseless="yes"><clip pos="2" side="tl" part="lemh"/><lit v="torrare"/></equal>
+	     <equal><clip pos="2" side="tl" part="lemq"/><lit v=""/></equal>
+	   </and>
+         </or>
+       </test>
+       <let><clip pos="1" side="tl" part="lem"/><get-case-from pos="1"><lit v="èssere"/></get-case-from></let>
+       <let><clip pos="1" side="tl" part="a_verb"/><lit-tag v="vbser"/></let>
+     </when>
+     <otherwise>
+       <let><clip pos="1" side="tl" part="lem"/><get-case-from pos="1"><lit v="àere"/></get-case-from></let>
+       <let><clip pos="1" side="tl" part="a_verb"/><lit-tag v="vbhaver"/></let>
+     </otherwise>
+   </choose>
+   <let><clip pos="2" side="tl" part="temps"/><lit-tag v="pp.m.sg"/></let>	<!-- FIXME: depèn del gènere i nombre del subjecte -->
+</def-macro>
 
+<def-macro n="f_vaux_pp" npar="2">
+   <choose> <!-- vaux + vlex: es canvia el vaux a èssere o àere -->
+     <when>
+       <test>
+         <or>
+           <in caseless="yes"><clip pos="2" side="tl" part="lemh"/><list n="vbambser"/></in>
+	   <and>
+	     <equal caseless="yes"><clip pos="2" side="tl" part="lemh"/><lit v="torrare"/></equal>
+	     <equal><clip pos="2" side="tl" part="lemq"/><lit v=""/></equal>
+	   </and>
+         </or>
+       </test>
+       <let><clip pos="1" side="tl" part="lem"/><lit v="èssere"/></let>
+       <let><clip pos="1" side="tl" part="a_verb"/><lit-tag v="vbser"/></let>
+     </when>
+     <otherwise>
+       <let><clip pos="1" side="tl" part="lem"/><lit v="àere"/></let>
+       <let><clip pos="1" side="tl" part="a_verb"/><lit-tag v="vbhaver"/></let>
+     </otherwise>
+   </choose>
+   <let><clip pos="2" side="tl" part="gen"/><lit-tag v="m"/></let>		<!-- FIXME: depèn del gènere i nombre del subjecte -->
+   <let><clip pos="2" side="tl" part="nbr"/><lit-tag v="sg"/></let>		<!-- FIXME: depèn del gènere i nombre del subjecte -->
+</def-macro>
+</section-def-macros>
+
 <section-rules>
 
 <rule comment="regla: det_pos">
@@ -3029,7 +3083,13 @@
      <choose>
        <when>
          <test>
-           <in caseless="yes"><clip pos="1" side="tl" part="lem"/><list n="vbambser"/></in>
+           <or>
+             <in caseless="yes"><clip pos="1" side="tl" part="lemh"/><list n="vbambser"/></in>
+	     <and>
+	       <equal caseless="yes"><clip pos="1" side="tl" part="lemh"/><lit v="torrare"/></equal>
+	       <equal><clip pos="1" side="tl" part="lemq"/><lit v=""/></equal>
+	     </and>
+           </or>
          </test>
          <out>
            <chunk name="èssere_pp">
@@ -3083,6 +3143,39 @@
 </rule>
 
 
+<rule comment="regla: haver pp">
+   <pattern>
+     <pattern-item n="haver"/>
+     <pattern-item n="pp"/>
+   </pattern>
+   <action>
+     <call-macro n="f_vaux_pp">
+       <with-param pos="1"/>
+       <with-param pos="2"/>
+     </call-macro>
+     <out>
+       <chunk name="aux_pp">
+         <tags>
+           <tag><lit-tag v="SV"/></tag>
+         </tags>
+           <lu>
+             <get-case-from pos="1">
+               <clip pos="1" side="tl" part="lem"/>
+             </get-case-from>
+             <clip pos="1" side="tl" part="tags"/>
+           </lu>
+           <b pos="1"/>
+           <lu>
+             <clip pos="2" side="tl" part="lemh"/>
+             <clip pos="2" side="tl" part="tags"/>
+             <clip pos="2" side="tl" part="lemq"/>
+           </lu>
+       </chunk>
+     </out>
+   </action>
+</rule>
+
+
 <rule comment="regla: anar_pri inf">
    <pattern>
      <pattern-item n="anar_pri"/>
@@ -3089,71 +3182,91 @@
      <pattern-item n="inf"/>
    </pattern>
    <action>
-     <choose>
-       <when>
-         <test>
-           <in caseless="yes"><clip pos="2" side="tl" part="lem"/><list n="vbambser"/></in>
-         </test>
+     <call-macro n="f_vaux_anar_inf">
+       <with-param pos="1"/>
+       <with-param pos="2"/>
+     </call-macro>
          <out>
-           <chunk name="èssere_pp">
+       <chunk name="aux_pp">
              <tags>
                <tag><lit-tag v="SV"/></tag>
              </tags>
                <lu>
-                 <get-case-from pos="1">
-                   <lit v="èssere"/>
-                 </get-case-from>
-                 <lit-tag v="vbser.pri"/>
-                 <clip pos="1" side="tl" part="pers"/>
-                 <clip pos="1" side="tl" part="nbr"/>
+             <clip pos="1" side="tl" part="lem"/>
+             <clip pos="1" side="tl" part="tags"/>
                </lu>
-               <b/>
+           <b pos="1"/>
                <lu>
                  <clip pos="2" side="tl" part="lemh"/>
-                 <clip pos="2" side="tl" part="a_verb"/>
-                 <lit-tag v="pp.m.sg"/>				<!-- FIXME: depèn del gènere i nombre del subjecte -->
+             <clip pos="2" side="tl" part="tags"/>
                  <clip pos="2" side="tl" part="lemq"/>
                </lu>
            </chunk>
          </out>
-       </when>
-       <otherwise>
+   </action>
+</rule>
+
+
+<rule comment="regla: anar_pri inf enc">
+   <pattern>
+     <pattern-item n="anar_pri"/>
+     <pattern-item n="inf"/>
+     <pattern-item n="enc"/>
+   </pattern>
+   <action>
+     <let><clip pos="3" side="tl" part="a_prn"/><lit-tag v="prn.pro"/></let>
+     <call-macro n="f_vaux_anar_inf">
+       <with-param pos="1"/>
+       <with-param pos="2"/>
+     </call-macro>
          <out>
-           <chunk name="àere_pp">
+       <chunk name="pro-aux-pp">
              <tags>
                <tag><lit-tag v="SV"/></tag>
              </tags>
                <lu>
                  <get-case-from pos="1">
-                   <lit v="àere"/>
+             <clip pos="3" side="tl" part="lemh"/>
                  </get-case-from>
-                 <lit-tag v="vbhaver.pri"/>
-                 <clip pos="1" side="tl" part="pers"/>
-                 <clip pos="1" side="tl" part="nbr"/>
+           <clip pos="3" side="tl" part="tags"/>
+           <clip pos="3" side="tl" part="lemq"/>
                </lu>
                <b/>
                <lu>
+           <get-case-from pos="2">
+             <clip pos="1" side="tl" part="lemh"/>
+           </get-case-from>
+           <clip pos="1" side="tl" part="tags"/>
+         </lu>
+         <b pos="1"/>
+         <lu>
                  <clip pos="2" side="tl" part="lemh"/>
-                 <clip pos="2" side="tl" part="a_verb"/>
-                 <lit-tag v="pp.m.sg"/>
+           <clip pos="2" side="tl" part="tags"/>
                  <clip pos="2" side="tl" part="lemq"/>
                </lu>
            </chunk>
          </out>
-       </otherwise>
-     </choose>
    </action>
 </rule>
 
 
-<rule comment="regla: anar_pri inf enc">
+<rule comment="regla: anar_pri inf enc enc">
    <pattern>
      <pattern-item n="anar_pri"/>
      <pattern-item n="inf"/>
      <pattern-item n="enc"/>
+     <pattern-item n="enc"/>
    </pattern>
    <action>
+     <call-macro n="f_li2bi">
+       <with-param pos="3"/>
+     </call-macro>
      <let><clip pos="3" side="tl" part="a_prn"/><lit-tag v="prn.pro"/></let>
+     <let><clip pos="4" side="tl" part="a_prn"/><lit-tag v="prn.pro"/></let>
+     <call-macro n="f_vaux_anar_inf">
+       <with-param pos="1"/>
+       <with-param pos="2"/>
+     </call-macro>
      <out>
        <chunk name="pro-aux-pp">
          <tags>
@@ -3168,19 +3281,21 @@
          </lu>
          <b/>
          <lu>
+           <clip pos="4" side="tl" part="lemh"/>
+           <clip pos="4" side="tl" part="tags"/>
+           <clip pos="4" side="tl" part="lemq"/>
+         </lu>
+         <b/>
+         <lu>
            <get-case-from pos="2">
-             <lit v="àere"/>
+             <clip pos="1" side="tl" part="lemh"/>
            </get-case-from>
-           <lit-tag v="vbhaver.pri"/>
-           <clip pos="1" side="tl" part="pers"/>
-           <clip pos="1" side="tl" part="gen"/>
-           <clip pos="1" side="tl" part="nbr"/>
+           <clip pos="1" side="tl" part="tags"/>
          </lu>
          <b pos="1"/>
          <lu>
            <clip pos="2" side="tl" part="lemh"/>
-           <clip pos="2" side="tl" part="a_verb"/>
-           <lit-tag v="pp.m.sg"/>
+           <clip pos="2" side="tl" part="tags"/>
            <clip pos="2" side="tl" part="lemq"/>
          </lu>
      </chunk>