arc(r_0004_0002__pleaded, r_0004_0001__Byers, arg0).
arc(r_0004_0002__pleaded, z_000_4_a_joseph_byers_7, arg1).
arc(r_0004_0005__believing, r_0004_0001__Byers, arg0).
arc(r_0004_0005__believing, r_0004_0006__that_r_0004_0009__would, arg1).
arc(r_0004_0006__that_r_0004_0009__would, r_0004_0010__save, scope).
arc(r_0004_0008__candour, r_0004_0001__Byers, gen).
arc(r_0004_0010__save, r_0004_0001__Byers, arg1).
arc(r_0004_0010__save, r_0004_0008__candour, arg0).
arc(r_0004_0010__save, r_0004_0013__the_r_0004_0014__death_r_0004_0015__sentence, r_0004_0012__from_clr38).
arc(z_000_4_a_joseph_byers_13, r_0004_0002__pleaded, scope).
arc(z_000_4_a_joseph_byers_13, r_0004_0005__believing, restriction).
arc(z_000_4_a_joseph_byers_7, r_0004_0003__guilty, attrib8).

fof(formula,axiom,
    ? [R_0004_0001__BYERS,R_0004_0003__GUILTY,Z_000_4_A_JOSEPH_BYERS_7,R_0004_0002__PLEADED,R_0004_0008__CANDOUR,R_0004_0013__THE_R_0004_0014__DEATH_R_0004_0015__SENTENCE,R_0004_0006__THAT_R_0004_0009__WOULD_R_0004_0010__SAVE,R_0004_0005__BELIEVING,Z_000_4_A_JOSEPH_BYERS_13] :
      ( 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_000_4_a_joseph_byers_13(Z_000_4_A_JOSEPH_BYERS_13)
      & has_conj1(Z_000_4_A_JOSEPH_BYERS_13,R_0004_0005__BELIEVING)
      & r_0004_0005__believing(R_0004_0005__BELIEVING)
      & has_arg1(R_0004_0005__BELIEVING,R_0004_0006__THAT_R_0004_0009__WOULD_R_0004_0010__SAVE)
      & r_0004_0006__that_r_0004_0009__would_r_0004_0010__save(R_0004_0006__THAT_R_0004_0009__WOULD_R_0004_0010__SAVE)
      & has_r_0004_0012__from_clr38(R_0004_0006__THAT_R_0004_0009__WOULD_R_0004_0010__SAVE,R_0004_0013__THE_R_0004_0014__DEATH_R_0004_0015__SENTENCE)
      & has_arg0(R_0004_0006__THAT_R_0004_0009__WOULD_R_0004_0010__SAVE,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_0006__THAT_R_0004_0009__WOULD_R_0004_0010__SAVE,R_0004_0001__BYERS)
      & has_arg0(R_0004_0005__BELIEVING,R_0004_0001__BYERS)
      & has_conj2(Z_000_4_A_JOSEPH_BYERS_13,R_0004_0002__PLEADED)
      & r_0004_0002__pleaded(R_0004_0002__PLEADED)
      & has_arg1(R_0004_0002__PLEADED,Z_000_4_A_JOSEPH_BYERS_7)
      & z_000_4_a_joseph_byers_7(Z_000_4_A_JOSEPH_BYERS_7)
      & has_attrib8(Z_000_4_A_JOSEPH_BYERS_7,R_0004_0003__GUILTY)
      & has_arg0(R_0004_0002__PLEADED,R_0004_0001__BYERS) ) ).

( (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))