TSPC 4_a_joseph

4_a_joseph_byers
Byers pleaded guilty, believing that his candour would save him from the death sentence.

( (IP-MAT (NP-SBJ;{BYERS} (NPR Byers;{Byers}))
          (VBD;_Tn_ pleaded;{plead})
          (NP-OB1 (ADJP (ADJ guilty;{guilty})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tf_ believing;{believe})
                            (CP-THT-OB1 (IP-SUB (C that;{that})
                                                (NP-SBJ (NP-GEN;{BYERS} (PRO;_genm_ his;{his}))
                                                        (N candour;{candour}))
                                                (MD;_cat_Vi_ would;{will})
                                                (IP-INF-CAT (VB;_Tn.pr_ save;{save[from]})
                                                            (NP-OB1;{BYERS} (PRO him;{he}))
                                                            (PP-CLR (P-ROLE from;{from})
                                                                    (NP (D the;{the})
                                                                        (N death;{death})
                                                                        (N sentence;{sentence}))))))))
          (PUNC .))
  (ID 4_a_joseph_byers))

arc(r_0004_0002__pleaded,r_0004_0001__Byers,arg0).
arc(r_0004_0002__pleaded,z_0004_5003,arg1).
arc(r_0004_0005__believing,r_0004_0001__Byers,arg0).
arc(r_0004_0005__believing,r_0004_0009__would,arg1).
arc(r_0004_0008__candour,r_0004_0001__Byers,gen).
arc(r_0004_0009__would,r_0004_0010__save_r_0004_0012__from,scope).
arc(r_0004_0010__save_r_0004_0012__from,r_0004_0001__Byers,arg1).
arc(r_0004_0010__save_r_0004_0012__from,r_0004_0008__candour,arg0).
arc(r_0004_0010__save_r_0004_0012__from,r_0004_0013__the_r_0004_0014__death_r_0004_0015__sentence,arg2).
arc(z_0004_5003,r_0004_0003__guilty,attrib).
arc(z_0004_5004,r_0004_0002__pleaded,scope).
arc(z_0004_5004,r_0004_0005__believing,restriction).

fof(formula,axiom,
    ? [R_0004_0001__BYERS,R_0004_0003__GUILTY,Z_0004_5003,R_0004_0002__PLEADED,R_0004_0008__CANDOUR,R_0004_0013__THE_R_0004_0014__DEATH_R_0004_0015__SENTENCE,R_0004_0009__WOULD_R_0004_0010__SAVE_R_0004_0012__FROM,R_0004_0005__BELIEVING,Z_0004_5004] :
      ( r_0004_0001__Byers(R_0004_0001__BYERS)
      & r_0004_0003__guilty(R_0004_0003__GUILTY)
      & r_0004_0013__the_r_0004_0014__death_r_0004_0015__sentence(R_0004_0013__THE_R_0004_0014__DEATH_R_0004_0015__SENTENCE)
      & z_0004_5004(Z_0004_5004)
      & has_conj1(Z_0004_5004,R_0004_0005__BELIEVING)
      & r_0004_0005__believing(R_0004_0005__BELIEVING)
      & has_arg1(R_0004_0005__BELIEVING,R_0004_0009__WOULD_R_0004_0010__SAVE_R_0004_0012__FROM)
      & r_0004_0009__would_r_0004_0010__save_r_0004_0012__from(R_0004_0009__WOULD_R_0004_0010__SAVE_R_0004_0012__FROM)
      & has_arg2(R_0004_0009__WOULD_R_0004_0010__SAVE_R_0004_0012__FROM,R_0004_0013__THE_R_0004_0014__DEATH_R_0004_0015__SENTENCE)
      & has_arg0(R_0004_0009__WOULD_R_0004_0010__SAVE_R_0004_0012__FROM,R_0004_0008__CANDOUR)
      & r_0004_0008__candour(R_0004_0008__CANDOUR)
      & has_gen(R_0004_0008__CANDOUR,R_0004_0001__BYERS)
      & has_arg1(R_0004_0009__WOULD_R_0004_0010__SAVE_R_0004_0012__FROM,R_0004_0001__BYERS)
      & has_arg0(R_0004_0005__BELIEVING,R_0004_0001__BYERS)
      & has_conj2(Z_0004_5004,R_0004_0002__PLEADED)
      & r_0004_0002__pleaded(R_0004_0002__PLEADED)
      & has_arg1(R_0004_0002__PLEADED,Z_0004_5003)
      & z_0004_5003(Z_0004_5003)
      & has_attrib(Z_0004_5003,R_0004_0003__GUILTY)
      & has_arg0(R_0004_0002__PLEADED,R_0004_0001__BYERS) ) ).