4_a_joseph_byers
Byers pleaded guilty, believing that his candour would save him from the death sentence.
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,
? [Z_4_A_JOSEPH_BYERS_13,R_4_5_BELIEVING,R_4_6_THAT_WOULD_SAVE,R_4_8_CANDOUR,R_4_13_THE_DEATH_SENTENCE,R_4_2_PLEADED,R_4_1_BYERS,Z_4_A_JOSEPH_BYERS_7,R_4_3_GUILTY] :
( the_death_sentence(R_4_13_THE_DEATH_SENTENCE)
& byers(R_4_1_BYERS)
& guilty(R_4_3_GUILTY)
& z_4_a_joseph_byers_13(Z_4_A_JOSEPH_BYERS_13)
& conj1(Z_4_A_JOSEPH_BYERS_13,R_4_5_BELIEVING)
& believing(R_4_5_BELIEVING,R_4_1_BYERS,R_4_6_THAT_WOULD_SAVE)
& that_would_save(R_4_6_THAT_WOULD_SAVE,R_4_8_CANDOUR,R_4_1_BYERS)
& candour(R_4_8_CANDOUR)
& gen(R_4_8_CANDOUR,R_4_1_BYERS)
& from_clr38(R_4_6_THAT_WOULD_SAVE,R_4_13_THE_DEATH_SENTENCE)
& conj2(Z_4_A_JOSEPH_BYERS_13,R_4_2_PLEADED)
& pleaded(R_4_2_PLEADED,R_4_1_BYERS,Z_4_A_JOSEPH_BYERS_7)
& z_4_a_joseph_byers_7(Z_4_A_JOSEPH_BYERS_7)
& attrib8(Z_4_A_JOSEPH_BYERS_7,R_4_3_GUILTY) ) ).
( (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))