TSPC 21_a_alresford

21_a_alresford
Even before I joined the staff of Perins one of the teachers introduced himself by vaulting my gate.

( (IP-MAT (PP-SCON (ADVP-NIM (ADV Even;{even}))
                   (P-CONN before;{before})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (VBD;_Tn_ joined;{join})
                           (NP-OB1 (D the;{the})
                                   (N staff;{staff})
                                   (PP (P-ROLE of;{of})
                                       (NP (NPR Perins;{Perins}))))))
          (NP-SBJ;{TEACHER} (D;_nphd_ one;{one})
                            (PP (P-ROLE of;{of})
                                (NP (D the;{the})
                                    (NS teachers;{teacher}))))
          (VBD;_Tn_ introduced;{introduce})
          (NP-OB1;{TEACHER} (PNX himself;{himself}))
          (PP-SCON (P-CONN by;{by})
                   (IP-PPL2 (VAG;_Tn_ vaulting;{vault[over]})
                            (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                                    (N gate;{gate}))))
          (PUNC .))
  (ID 21_a_alresford))

arc(r_0021_0001__Even_r_0021_0002__before,r_0021_0004__joined,restriction).
arc(r_0021_0001__Even_r_0021_0002__before,r_0021_0015__by,scope).
arc(r_0021_0004__joined,r_0021_0003__I,arg0).
arc(r_0021_0004__joined,r_0021_0005__the_r_0021_0006__staff,arg1).
arc(r_0021_0005__the_r_0021_0006__staff,r_0021_0008__Perins,r_0021_0007__of).
arc(r_0021_0009__one,r_0021_0011__the_r_0021_0012__teachers,r_0021_0010__of).
arc(r_0021_0013__introduced,r_0021_0009__one,arg0).
arc(r_0021_0013__introduced,r_0021_0009__one,arg1).
arc(r_0021_0015__by,r_0021_0013__introduced,scope).
arc(r_0021_0015__by,r_0021_0016__vaulting,restriction).
arc(r_0021_0016__vaulting,r_0021_0009__one,arg0).
arc(r_0021_0016__vaulting,r_0021_0018__gate,arg1).
arc(r_0021_0018__gate,r_0021_0003__I,gen).

fof(formula,axiom,
    ? [R_0021_0003__I,R_0021_0008__PERINS,R_0021_0005__THE_R_0021_0006__STAFF,R_0021_0004__JOINED,R_0021_0011__THE_R_0021_0012__TEACHERS,R_0021_0009__ONE,R_0021_0013__INTRODUCED,R_0021_0018__GATE,R_0021_0016__VAULTING,R_0021_0015__BY,R_0021_0001__EVEN_R_0021_0002__BEFORE] :
      ( r_0021_0003__I(R_0021_0003__I)
      & r_0021_0008__Perins(R_0021_0008__PERINS)
      & r_0021_0011__the_r_0021_0012__teachers(R_0021_0011__THE_R_0021_0012__TEACHERS)
      & r_0021_0001__Even_r_0021_0002__before(R_0021_0001__EVEN_R_0021_0002__BEFORE)
      & has_conj2(R_0021_0001__EVEN_R_0021_0002__BEFORE,R_0021_0015__BY)
      & r_0021_0015__by(R_0021_0015__BY)
      & has_conj1(R_0021_0015__BY,R_0021_0016__VAULTING)
      & r_0021_0016__vaulting(R_0021_0016__VAULTING)
      & has_arg1(R_0021_0016__VAULTING,R_0021_0018__GATE)
      & r_0021_0018__gate(R_0021_0018__GATE)
      & has_gen(R_0021_0018__GATE,R_0021_0003__I)
      & has_arg0(R_0021_0016__VAULTING,R_0021_0009__ONE)
      & r_0021_0009__one(R_0021_0009__ONE)
      & has_r_0021_0010__of(R_0021_0009__ONE,R_0021_0011__THE_R_0021_0012__TEACHERS)
      & has_conj2(R_0021_0015__BY,R_0021_0013__INTRODUCED)
      & r_0021_0013__introduced(R_0021_0013__INTRODUCED)
      & has_arg1(R_0021_0013__INTRODUCED,R_0021_0009__ONE)
      & has_arg0(R_0021_0013__INTRODUCED,R_0021_0009__ONE)
      & has_conj1(R_0021_0001__EVEN_R_0021_0002__BEFORE,R_0021_0004__JOINED)
      & r_0021_0004__joined(R_0021_0004__JOINED)
      & has_arg1(R_0021_0004__JOINED,R_0021_0005__THE_R_0021_0006__STAFF)
      & r_0021_0005__the_r_0021_0006__staff(R_0021_0005__THE_R_0021_0006__STAFF)
      & has_r_0021_0007__of(R_0021_0005__THE_R_0021_0006__STAFF,R_0021_0008__PERINS)
      & has_arg0(R_0021_0004__JOINED,R_0021_0003__I) ) ).