TSPC 45_a_potter

45_a_potter_1902
Mr. McGregor caught sight of him at the corner, but Peter did not care.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{MRMCG} (N Mr<dot>)
                                      (NPR McGregor;{McGregor}))
                      (VBD;_Tn_ caught;{catch})
                      (NP-OB1 (N sight;{sight})
                              (PP (P-ROLE of;{of})
                                  (NP;{PETER} (PRO him;{he}))))
                      (PP-NIM (P-ROLE at;{at})
                              (NP (D the;{the})
                                  (N corner;{corner}))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{PETER} (NPR Peter;{Peter}))
                             (DOD did;{do})
                             (NEG not;{not})
                             (VB;_I_ care;{care}))))
          (PUNC .))
  (ID 45_a_potter_1902))

arc(r_0045_0003__caught,r_0045_0001__Mr_dot__r_0045_0002__McGregor,arg0).
arc(r_0045_0003__caught,r_0045_0004__sight,arg1).
arc(r_0045_0003__caught,r_0045_0008__the_r_0045_0009__corner,r_0045_0007__at__nim).
arc(r_0045_0004__sight,r_0045_0006__him,r_0045_0005__of).
arc(r_0045_0011__but,r_0045_0003__caught,conj1).
arc(r_0045_0011__but,r_0045_0014__not,conj2).
arc(r_0045_0013__did_r_0045_0015__care,r_0045_0012__Peter,arg0).
arc(r_0045_0014__not,r_0045_0013__did_r_0045_0015__care,keep_scope).

fof(formula,axiom,
    ? [R_0045_0001__MR_DOT__R_0045_0002__MCGREGOR,R_0045_0006__HIM,R_0045_0004__SIGHT,R_0045_0008__THE_R_0045_0009__CORNER,R_0045_0003__CAUGHT,R_0045_0011__BUT] :
      ( r_0045_0001__Mr_dot__r_0045_0002__McGregor(R_0045_0001__MR_DOT__R_0045_0002__MCGREGOR)
      & r_0045_0006__him(R_0045_0006__HIM)
      & r_0045_0008__the_r_0045_0009__corner(R_0045_0008__THE_R_0045_0009__CORNER)
      & r_0045_0011__but(R_0045_0011__BUT)
      & has_conj2(R_0045_0011__BUT,R_0045_0014__NOT)
      & ~ ? [R_0045_0012__PETER,R_0045_0013__DID_R_0045_0015__CARE] :
            ( r_0045_0012__Peter(R_0045_0012__PETER)
            & r_0045_0013__did_r_0045_0015__care(R_0045_0013__DID_R_0045_0015__CARE)
            & has_arg0(R_0045_0013__DID_R_0045_0015__CARE,R_0045_0012__PETER) )
      & has_conj1(R_0045_0011__BUT,R_0045_0003__CAUGHT)
      & r_0045_0003__caught(R_0045_0003__CAUGHT)
      & has_r_0045_0007__at__nim(R_0045_0003__CAUGHT,R_0045_0008__THE_R_0045_0009__CORNER)
      & has_arg1(R_0045_0003__CAUGHT,R_0045_0004__SIGHT)
      & r_0045_0004__sight(R_0045_0004__SIGHT)
      & has_r_0045_0005__of(R_0045_0004__SIGHT,R_0045_0006__HIM)
      & has_arg0(R_0045_0003__CAUGHT,R_0045_0001__MR_DOT__R_0045_0002__MCGREGOR) ) ).