45_a_potter_1902
Mr. McGregor caught sight of him at the corner, but Peter did not care.
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_nim23).
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_45_11_BUT,R_45_3_CAUGHT,R_45_1_MR_DOT_MCGREGOR,R_45_4_SIGHT,R_45_6_HIM,R_45_8_THE_CORNER] :
( mr_dot_McGregor(R_45_1_MR_DOT_MCGREGOR)
& him(R_45_6_HIM)
& the_corner(R_45_8_THE_CORNER)
& but(R_45_11_BUT)
& conj1(R_45_11_BUT,R_45_3_CAUGHT)
& caught(R_45_3_CAUGHT,R_45_1_MR_DOT_MCGREGOR,R_45_4_SIGHT)
& sight(R_45_4_SIGHT)
& of(R_45_4_SIGHT,R_45_6_HIM)
& at_nim23(R_45_3_CAUGHT,R_45_8_THE_CORNER)
& conj2(R_45_11_BUT,R_45_14_NOT)
& ~ ? [R_45_13_DID_CARE,R_45_12_PETER] :
( peter(R_45_12_PETER)
& did_care(R_45_13_DID_CARE,R_45_12_PETER) ) ) ).
( (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))