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.
( (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))
arc(r_0005_0001__Despite,r_0005_0002__being,restriction).
arc(r_0005_0001__Despite,r_0005_0008__no__quant,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_0007__given,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_0005_5009___star_,arg0).
arc(r_0005_0008__no__quant,r_0005_0006__was,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_0005__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__nim).
arc(r_0005_0018__faced,r_0005_0025__February_r_0005_0026__6,r_0005_0024__on__nim).
fof(formula,axiom,
? [R_0005_0003__UNDER_AGE,R_0005_0005__HE,R_0005_0002__BEING,R_0005_0001__DESPITE,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_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__nim(R_0005_0018__FACED,R_0005_0025__FEBRUARY_R_0005_0026__6)
& has_r_0005_0022__at__nim(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_0005__HE)
& has_conj1(R_0005_0014__AND,R_0005_0001__DESPITE)
& r_0005_0001__Despite(R_0005_0001__DESPITE)
& ! [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_0005_5009___STAR_,R_0005_0006__WAS_R_0005_0007__GIVEN] :
( z_0005_5009___star_(Z_0005_5009___STAR_)
& r_0005_0006__was_r_0005_0007__given(R_0005_0006__WAS_R_0005_0007__GIVEN)
& has_arg0(R_0005_0006__WAS_R_0005_0007__GIVEN,Z_0005_5009___STAR_)
& has_arg1(R_0005_0006__WAS_R_0005_0007__GIVEN,R_0005_0009__REPRESENTATION)
& has_arg2(R_0005_0006__WAS_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) ) ).