TSPC 88_a_voice_of

88_a_voice_of_america
Police say the suspect confessed to stabbing the girl with a knife after arguing with her.

( (IP-MAT (NP-SBJ (NS Police;{police}))
          (VBP;_Tf_ say;{say})
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{HAGINO} (D the;{the})
                                               (N suspect;{suspect}))
                              (VBD;_Ipr_ confessed;{confess[to]})
                              (PP-CLR (P-ROLE to;{to})
                                      (IP-PPL (VAG;_Tn_ stabbing;{stab})
                                              (NP-OB1;{GIRL} (D the;{the})
                                                             (N girl;{girl}))
                                              (PP-NIM (P-ROLE with;{with})
                                                      (NP (D a;{a})
                                                          (N knife;{knife})))
                                              (PP-SCON (P-CONN after;{after})
                                                       (IP-PPL2 (VAG;_Ipr_ arguing;{argue[with]})
                                                                (PP-CLR (P-ROLE with;{with})
                                                                        (NP;{GIRL} (PRO her;{her})))))))))
          (PUNC .))
  (ID 88_a_voice_of_america;p00d0402))

arc(r_0088_0002__say,r_0088_0001__Police,arg0).
arc(r_0088_0002__say,r_0088_0005__confessed,arg1).
arc(r_0088_0005__confessed,r_0088_0003__the_r_0088_0004__suspect,arg0).
arc(r_0088_0005__confessed,r_0088_0013__after,r_0088_0006__to__clr).
arc(r_0088_0007__stabbing,r_0088_0003__the_r_0088_0004__suspect,arg0).
arc(r_0088_0007__stabbing,r_0088_0008__the_r_0088_0009__girl,arg1).
arc(r_0088_0007__stabbing,r_0088_0011__a_r_0088_0012__knife,r_0088_0010__with__nim).
arc(r_0088_0013__after,r_0088_0007__stabbing,scope).
arc(r_0088_0013__after,r_0088_0014__arguing_r_0088_0015__with,restriction).
arc(r_0088_0014__arguing_r_0088_0015__with,r_0088_0003__the_r_0088_0004__suspect,arg0).
arc(r_0088_0014__arguing_r_0088_0015__with,r_0088_0008__the_r_0088_0009__girl,arg1).

fof(formula,axiom,
    ? [R_0088_0001__POLICE,R_0088_0003__THE_R_0088_0004__SUSPECT,R_0088_0008__THE_R_0088_0009__GIRL,R_0088_0011__A_R_0088_0012__KNIFE,R_0088_0007__STABBING,R_0088_0014__ARGUING_R_0088_0015__WITH,R_0088_0013__AFTER,R_0088_0005__CONFESSED,R_0088_0002__SAY] :
      ( r_0088_0001__Police(R_0088_0001__POLICE)
      & r_0088_0003__the_r_0088_0004__suspect(R_0088_0003__THE_R_0088_0004__SUSPECT)
      & r_0088_0008__the_r_0088_0009__girl(R_0088_0008__THE_R_0088_0009__GIRL)
      & r_0088_0011__a_r_0088_0012__knife(R_0088_0011__A_R_0088_0012__KNIFE)
      & r_0088_0002__say(R_0088_0002__SAY)
      & has_arg1(R_0088_0002__SAY,R_0088_0005__CONFESSED)
      & r_0088_0005__confessed(R_0088_0005__CONFESSED)
      & has_r_0088_0006__to__clr(R_0088_0005__CONFESSED,R_0088_0013__AFTER)
      & r_0088_0013__after(R_0088_0013__AFTER)
      & has_conj1(R_0088_0013__AFTER,R_0088_0014__ARGUING_R_0088_0015__WITH)
      & r_0088_0014__arguing_r_0088_0015__with(R_0088_0014__ARGUING_R_0088_0015__WITH)
      & has_arg1(R_0088_0014__ARGUING_R_0088_0015__WITH,R_0088_0008__THE_R_0088_0009__GIRL)
      & has_arg0(R_0088_0014__ARGUING_R_0088_0015__WITH,R_0088_0003__THE_R_0088_0004__SUSPECT)
      & has_conj2(R_0088_0013__AFTER,R_0088_0007__STABBING)
      & r_0088_0007__stabbing(R_0088_0007__STABBING)
      & has_r_0088_0010__with__nim(R_0088_0007__STABBING,R_0088_0011__A_R_0088_0012__KNIFE)
      & has_arg1(R_0088_0007__STABBING,R_0088_0008__THE_R_0088_0009__GIRL)
      & has_arg0(R_0088_0007__STABBING,R_0088_0003__THE_R_0088_0004__SUSPECT)
      & has_arg0(R_0088_0005__CONFESSED,R_0088_0003__THE_R_0088_0004__SUSPECT)
      & has_arg0(R_0088_0002__SAY,R_0088_0001__POLICE) ) ).