TSPC 22_a_potter

22_a_potter_1902
He began to turn them over carefully, looking under each.

( (IP-MAT (NP-SBJ;{MRMCG} (PRO He;{he}))
          (VBD;_cat_Vt_ began;{begin})
          (IP-INF-CAT (TO to;{to})
                      (VB;_Tn.p_ turn;{turn[over]})
                      (NP-OB1;{POTS} (PRO them;{they}))
                      (ADVP-CLR (RP over;{over}))
                      (ADVP-NIM (ADV carefully;{carefully})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Ipr_ looking;{look[under]})
                            (PP-CLR (P-ROLE under;{under})
                                    (NP;{POTS} (Q;_nphd_ each;{each})))))
          (PUNC .))
  (ID 22_a_potter_1902))

arc(r_0022_0002__began,r_0022_0004__turn_r_0022_0006__over,scope).
arc(r_0022_0004__turn_r_0022_0006__over,r_0022_0001__He,arg0).
arc(r_0022_0004__turn_r_0022_0006__over,r_0022_0005__them,arg1).
arc(r_0022_0004__turn_r_0022_0006__over,r_0022_0007__carefully,nim).
arc(r_0022_0009__looking_r_0022_0010__under,r_0022_0001__He,arg0).
arc(r_0022_0009__looking_r_0022_0010__under,z_0022_5005,arg1).
arc(r_0022_0011__each__quant,r_0022_0009__looking_r_0022_0010__under,scope).
arc(r_0022_0011__each__quant,z_0022_5005,restriction).
arc(z_0022_5001,r_0022_0002__began,scope).
arc(z_0022_5001,r_0022_0011__each__quant,restriction).

fof(formula,axiom,
    ? [R_0022_0001__HE,R_0022_0005__THEM,R_0022_0007__CAREFULLY,R_0022_0002__BEGAN_R_0022_0004__TURN_R_0022_0006__OVER,Z_0022_5001] :
      ( r_0022_0001__He(R_0022_0001__HE)
      & r_0022_0005__them(R_0022_0005__THEM)
      & r_0022_0007__carefully(R_0022_0007__CAREFULLY)
      & z_0022_5001(Z_0022_5001)
      & ! [Z_0022_5005] :
          ( z_0022_5005(Z_0022_5005)
         => ? [R_0022_0009__LOOKING_R_0022_0010__UNDER] :
              ( r_0022_0009__looking_r_0022_0010__under(R_0022_0009__LOOKING_R_0022_0010__UNDER)
              & has_arg1(R_0022_0009__LOOKING_R_0022_0010__UNDER,Z_0022_5005)
              & has_arg0(R_0022_0009__LOOKING_R_0022_0010__UNDER,R_0022_0001__HE) ) )
      & has_conj2(Z_0022_5001,R_0022_0002__BEGAN_R_0022_0004__TURN_R_0022_0006__OVER)
      & r_0022_0002__began_r_0022_0004__turn_r_0022_0006__over(R_0022_0002__BEGAN_R_0022_0004__TURN_R_0022_0006__OVER)
      & has_nim(R_0022_0002__BEGAN_R_0022_0004__TURN_R_0022_0006__OVER,R_0022_0007__CAREFULLY)
      & has_arg1(R_0022_0002__BEGAN_R_0022_0004__TURN_R_0022_0006__OVER,R_0022_0005__THEM)
      & has_arg0(R_0022_0002__BEGAN_R_0022_0004__TURN_R_0022_0006__OVER,R_0022_0001__HE) ) ).