5_a_joseph_byers
Despite being under age, he was given no representation at his trial, and he and Evans faced a firing squad at Locre on February 6.
arc(r_0005_0001__Despite, r_0005_0002__being, restriction).
arc(r_0005_0001__Despite, r_0005_0006__was, scope).
arc(r_0005_0002__being, r_0005_0003__under_age, prd).
arc(r_0005_0002__being, r_0005_0005__he, arg0).
arc(r_0005_0006__was, r_0005_0008__no_quant, scope).
arc(r_0005_0007__given, r_0005_0005__he, arg2).
arc(r_0005_0007__given, r_0005_0009__representation, arg1).
arc(r_0005_0007__given, z_000_5_a_joseph_byers_21, arg0).
arc(r_0005_0008__no_quant, r_0005_0007__given, scope).
arc(r_0005_0008__no_quant, r_0005_0009__representation, restriction).
arc(r_0005_0009__representation, r_0005_0012__trial, r_0005_0010__at).
arc(r_0005_0012__trial, r_0005_0005__he, gen).
arc(r_0005_0014__and, r_0005_0001__Despite, conj1).
arc(r_0005_0014__and, r_0005_0018__faced, conj2).
arc(r_0005_0016__and, r_0005_0015__he, conj1).
arc(r_0005_0016__and, r_0005_0017__Evans, conj2).
arc(r_0005_0018__faced, r_0005_0016__and, arg0).
arc(r_0005_0018__faced, r_0005_0019__a_r_0005_0020__firing_r_0005_0021__squad, arg1).
arc(r_0005_0018__faced, r_0005_0023__Locre, r_0005_0022__at_nim68).
arc(r_0005_0018__faced, r_0005_0025__February_r_0005_0026__6, r_0005_0024__on_nim74).
fof(formula,axiom,
? [R_0005_0003__UNDER_AGE,R_0005_0005__HE,R_0005_0002__BEING,R_0005_0006__WAS,R_0005_0001__DESPITE,R_0005_0015__HE,R_0005_0017__EVANS,R_0005_0016__AND,R_0005_0019__A_R_0005_0020__FIRING_R_0005_0021__SQUAD,R_0005_0023__LOCRE,R_0005_0025__FEBRUARY_R_0005_0026__6,R_0005_0018__FACED,R_0005_0014__AND] :
( r_0005_0003__under_age(R_0005_0003__UNDER_AGE)
& r_0005_0005__he(R_0005_0005__HE)
& r_0005_0015__he(R_0005_0015__HE)
& r_0005_0017__Evans(R_0005_0017__EVANS)
& r_0005_0019__a_r_0005_0020__firing_r_0005_0021__squad(R_0005_0019__A_R_0005_0020__FIRING_R_0005_0021__SQUAD)
& r_0005_0023__Locre(R_0005_0023__LOCRE)
& r_0005_0025__February_r_0005_0026__6(R_0005_0025__FEBRUARY_R_0005_0026__6)
& r_0005_0014__and(R_0005_0014__AND)
& has_conj2(R_0005_0014__AND,R_0005_0018__FACED)
& r_0005_0018__faced(R_0005_0018__FACED)
& has_r_0005_0024__on_nim74(R_0005_0018__FACED,R_0005_0025__FEBRUARY_R_0005_0026__6)
& has_r_0005_0022__at_nim68(R_0005_0018__FACED,R_0005_0023__LOCRE)
& has_arg1(R_0005_0018__FACED,R_0005_0019__A_R_0005_0020__FIRING_R_0005_0021__SQUAD)
& has_arg0(R_0005_0018__FACED,R_0005_0016__AND)
& r_0005_0016__and(R_0005_0016__AND)
& has_conj2(R_0005_0016__AND,R_0005_0017__EVANS)
& has_conj1(R_0005_0016__AND,R_0005_0015__HE)
& has_conj1(R_0005_0014__AND,R_0005_0001__DESPITE)
& r_0005_0001__Despite(R_0005_0001__DESPITE)
& has_conj2(R_0005_0001__DESPITE,R_0005_0006__WAS)
& r_0005_0006__was(R_0005_0006__WAS)
& ! [R_0005_0009__REPRESENTATION,R_0005_0012__TRIAL] :
( ( r_0005_0009__representation(R_0005_0009__REPRESENTATION)
& has_r_0005_0010__at(R_0005_0009__REPRESENTATION,R_0005_0012__TRIAL)
& r_0005_0012__trial(R_0005_0012__TRIAL)
& has_gen(R_0005_0012__TRIAL,R_0005_0005__HE) )
=> ? [Z_000_5_A_JOSEPH_BYERS_21,R_0005_0007__GIVEN] :
( z_000_5_a_joseph_byers_21(Z_000_5_A_JOSEPH_BYERS_21)
& r_0005_0007__given(R_0005_0007__GIVEN)
& has_arg0(R_0005_0007__GIVEN,Z_000_5_A_JOSEPH_BYERS_21)
& has_arg1(R_0005_0007__GIVEN,R_0005_0009__REPRESENTATION)
& has_arg2(R_0005_0007__GIVEN,R_0005_0005__HE) ) )
& has_conj1(R_0005_0001__DESPITE,R_0005_0002__BEING)
& r_0005_0002__being(R_0005_0002__BEING)
& has_arg0(R_0005_0002__BEING,R_0005_0005__HE)
& has_prd(R_0005_0002__BEING,R_0005_0003__UNDER_AGE) ) ).
( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN Despite;{despite})
(IP-PPL2 (BAG;_La_ being;{be})
(ADJP-PRD (ADJ under_age;{underage}))))
(PUNC ,)
(NP-SBJ;{BYERS} (PRO he;{he}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Dn.n_ given;{give})
(NP-OB1 (Q no;{no})
(N representation;{representation})
(PP (P-ROLE at;{at})
(NP (NP-GEN;{BYERS} (PRO;_genm_ his;{his}))
(N trial;{trial}))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ;{BYERS_EVANS} (NLYR (NLYR;{BYERS} (PRO he;{he}))
(CONJP (CONJ and;{and})
(NLYR (NPR Evans;{Evans})))))
(VBD;_Tn_ faced;{face})
(NP-OB1 (D a;{a})
(N firing;{firing})
(N squad;{squad}))
(PP-NIM (P-ROLE at;{at})
(NP (NPR Locre;{Locre})))
(PP-NIM (P-ROLE on;{on})
(NP (NPR February;{February})
(NPR 6))))))
(PUNC .))
(ID 5_a_joseph_byers))