Context                Previous, Next                Top


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.

%3 r_0005_0001__Despite Despite r_0005_0002__being being r_0005_0001__Despite->r_0005_0002__being [restriction] r_0005_0006__was was r_0005_0001__Despite->r_0005_0006__was [scope] r_0005_0003__under_age under age r_0005_0002__being->r_0005_0003__under_age [prd] r_0005_0005__he he r_0005_0002__being->r_0005_0005__he [arg0] r_0005_0008__no_quant no [quant] r_0005_0006__was->r_0005_0008__no_quant [scope] r_0005_0007__given given r_0005_0008__no_quant->r_0005_0007__given [scope] r_0005_0009__representation representation r_0005_0008__no_quant->r_0005_0009__representation [restriction] r_0005_0007__given->r_0005_0005__he [arg2] r_0005_0007__given->r_0005_0009__representation [arg1] z_000_5_a_joseph_byers_21 r_0005_0007__given->z_000_5_a_joseph_byers_21 [arg0] r_0005_0012__trial trial r_0005_0009__representation->r_0005_0012__trial at r_0005_0012__trial->r_0005_0005__he [gen] r_0005_0014__and and r_0005_0014__and->r_0005_0001__Despite [conj1] r_0005_0018__faced faced r_0005_0014__and->r_0005_0018__faced [conj2] r_0005_0016__and and r_0005_0018__faced->r_0005_0016__and [arg0] r_0005_0019__a_r_0005_0020__firing_r_0005_0021__squad a firing squad r_0005_0018__faced->r_0005_0019__a_r_0005_0020__firing_r_0005_0021__squad [arg1] r_0005_0023__Locre Locre r_0005_0018__faced->r_0005_0023__Locre at [nim] r_0005_0025__February_r_0005_0026__6 February 6 r_0005_0018__faced->r_0005_0025__February_r_0005_0026__6 on [nim] r_0005_0015__he he r_0005_0016__and->r_0005_0015__he [conj1] r_0005_0017__Evans Evans r_0005_0016__and->r_0005_0017__Evans [conj2] 
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).


%3 r_0005_0006__was was r_0005_0008__no_quant no [quant] r_0005_0006__was->r_0005_0008__no_quant [keep_scope] r_0005_0009__representation representation r_0005_0008__no_quant->r_0005_0009__representation [restriction] r_0005_0007__given given r_0005_0008__no_quant->r_0005_0007__given [scope] r_0005_0018__faced faced r_0005_0025__February_r_0005_0026__6 February 6 r_0005_0018__faced->r_0005_0025__February_r_0005_0026__6 on [nim] r_0005_0023__Locre Locre r_0005_0018__faced->r_0005_0023__Locre at [nim] r_0005_0019__a_r_0005_0020__firing_r_0005_0021__squad a firing squad r_0005_0018__faced->r_0005_0019__a_r_0005_0020__firing_r_0005_0021__squad [arg1] r_0005_0016__and and r_0005_0018__faced->r_0005_0016__and [arg0] r_0005_0017__Evans Evans r_0005_0016__and->r_0005_0017__Evans [conj2] r_0005_0015__he he r_0005_0016__and->r_0005_0015__he [conj1] r_0005_0014__and and r_0005_0014__and->r_0005_0018__faced [conj2] r_0005_0001__Despite Despite r_0005_0014__and->r_0005_0001__Despite [conj1] r_0005_0001__Despite->r_0005_0006__was [conj2] r_0005_0002__being being r_0005_0001__Despite->r_0005_0002__being [conj1] r_0005_0012__trial trial r_0005_0005__he he r_0005_0012__trial->r_0005_0005__he [gen] r_0005_0009__representation->r_0005_0012__trial at r_0005_0007__given->r_0005_0005__he [arg2] r_0005_0007__given->r_0005_0009__representation [arg1] z_000_5_a_joseph_byers_21 r_0005_0007__given->z_000_5_a_joseph_byers_21 [arg0] r_0005_0002__being->r_0005_0005__he [arg0] r_0005_0003__under_age under age r_0005_0002__being->r_0005_0003__under_age [prd] 
fof(formula,axiom,
    ? [R_5_14_AND,R_5_1_DESPITE,R_5_2_BEING,R_5_5_HE,R_5_3_UNDER_AGE,R_5_18_FACED,R_5_16_AND,R_5_15_HE,R_5_17_EVANS,R_5_19_A_FIRING_SQUAD,R_5_23_LOCRE,R_5_25_FEBRUARY_6] :
      ( he(R_5_5_HE)
      & under_age(R_5_3_UNDER_AGE)
      & he(R_5_15_HE)
      & evans(R_5_17_EVANS)
      & a_firing_squad(R_5_19_A_FIRING_SQUAD)
      & locre(R_5_23_LOCRE)
      & february_6(R_5_25_FEBRUARY_6)
      & and(R_5_14_AND)
      & conj1(R_5_14_AND,R_5_1_DESPITE)
      & despite(R_5_1_DESPITE)
      & conj1(R_5_1_DESPITE,R_5_2_BEING)
      & being(R_5_2_BEING,R_5_5_HE,R_5_3_UNDER_AGE)
      & conj2(R_5_1_DESPITE,R_5_6_WAS)
      & ~ ! [R_5_9_REPRESENTATION,R_5_12_TRIAL] :
            ( ( representation(R_5_9_REPRESENTATION)
              & at(R_5_9_REPRESENTATION,R_5_12_TRIAL)
              & trial(R_5_12_TRIAL)
              & gen(R_5_12_TRIAL,R_5_5_HE) )
           => ? [R_5_7_GIVEN,Z_5_A_JOSEPH_BYERS_21] : given(R_5_7_GIVEN,Z_5_A_JOSEPH_BYERS_21,R_5_9_REPRESENTATION,R_5_5_HE) )
      & conj2(R_5_14_AND,R_5_18_FACED)
      & faced(R_5_18_FACED,R_5_16_AND,R_5_19_A_FIRING_SQUAD)
      & and(R_5_16_AND)
      & conj1(R_5_16_AND,R_5_15_HE)
      & conj2(R_5_16_AND,R_5_17_EVANS)
      & at_nim68(R_5_18_FACED,R_5_23_LOCRE)
      & on_nim74(R_5_18_FACED,R_5_25_FEBRUARY_6) ) ).


n5_a_joseph_byers n5_a_joseph_byers__1_1_1_1_1_1 Despite n5_a_joseph_byers__1_1_1_1_2_1_1 being n5_a_joseph_byers__1_1_1_1_2_2_1_1 under_age n5_a_joseph_byers__1_1_1_2_1 , n5_a_joseph_byers__1_1_1_3_1_1 he n5_a_joseph_byers__1_1_1_4_1 was n5_a_joseph_byers__1_1_1_5_1_1 * n5_a_joseph_byers__1_1_1_5_2_1 given n5_a_joseph_byers__1_1_1_5_3_1_1 no n5_a_joseph_byers__1_1_1_5_3_2_1 representation n5_a_joseph_byers__1_1_1_5_3_3_1_1 at n5_a_joseph_byers__1_1_1_5_3_3_2_1_1_1 his n5_a_joseph_byers__1_1_1_5_3_3_2_2_1 trial n5_a_joseph_byers__1_1_2_1 , n5_a_joseph_byers__1_1_3_1_1 and n5_a_joseph_byers__1_1_3_2_1_1_1_1_1 he n5_a_joseph_byers__1_1_3_2_1_1_2_1_1 and n5_a_joseph_byers__1_1_3_2_1_1_2_2_1_1 Evans n5_a_joseph_byers__1_1_3_2_2_1 faced n5_a_joseph_byers__1_1_3_2_3_1_1 a n5_a_joseph_byers__1_1_3_2_3_2_1 firing n5_a_joseph_byers__1_1_3_2_3_3_1 squad n5_a_joseph_byers__1_1_3_2_4_1_1 at n5_a_joseph_byers__1_1_3_2_4_2_1_1 Locre n5_a_joseph_byers__1_1_3_2_5_1_1 on n5_a_joseph_byers__1_1_3_2_5_2_1_1 February n5_a_joseph_byers__1_1_3_2_5_2_2_1 6 n5_a_joseph_byers__1_2_1 . n5_a_joseph_byers__1 IP-MAT n5_a_joseph_byers__1_1 ILYR n5_a_joseph_byers__1->n5_a_joseph_byers__1_1 n5_a_joseph_byers__1_2 PUNC n5_a_joseph_byers__1->n5_a_joseph_byers__1_2 n5_a_joseph_byers__1_1_1 ILYR n5_a_joseph_byers__1_1->n5_a_joseph_byers__1_1_1 n5_a_joseph_byers__1_1_2 PUNC n5_a_joseph_byers__1_1->n5_a_joseph_byers__1_1_2 n5_a_joseph_byers__1_1_3 CONJP n5_a_joseph_byers__1_1->n5_a_joseph_byers__1_1_3 n5_a_joseph_byers__1_1_1_1 PP-SCON n5_a_joseph_byers__1_1_1->n5_a_joseph_byers__1_1_1_1 n5_a_joseph_byers__1_1_1_2 PUNC n5_a_joseph_byers__1_1_1->n5_a_joseph_byers__1_1_1_2 n5_a_joseph_byers__1_1_1_3 NP-SBJ n5_a_joseph_byers__1_1_1->n5_a_joseph_byers__1_1_1_3 n5_a_joseph_byers__1_1_1_4 BED;_cat_VePASS_ n5_a_joseph_byers__1_1_1->n5_a_joseph_byers__1_1_1_4 n5_a_joseph_byers__1_1_1_5 IP-PPL-CAT n5_a_joseph_byers__1_1_1->n5_a_joseph_byers__1_1_1_5 n5_a_joseph_byers__1_1_1_1_1 P-CONN n5_a_joseph_byers__1_1_1_1->n5_a_joseph_byers__1_1_1_1_1 n5_a_joseph_byers__1_1_1_1_2 IP-PPL2 n5_a_joseph_byers__1_1_1_1->n5_a_joseph_byers__1_1_1_1_2 n5_a_joseph_byers__1_1_1_1_1->n5_a_joseph_byers__1_1_1_1_1_1 n5_a_joseph_byers__1_1_1_1_2_1 BAG;_La_ n5_a_joseph_byers__1_1_1_1_2->n5_a_joseph_byers__1_1_1_1_2_1 n5_a_joseph_byers__1_1_1_1_2_2 ADJP-PRD n5_a_joseph_byers__1_1_1_1_2->n5_a_joseph_byers__1_1_1_1_2_2 n5_a_joseph_byers__1_1_1_1_2_1->n5_a_joseph_byers__1_1_1_1_2_1_1 n5_a_joseph_byers__1_1_1_1_2_2_1 ADJ n5_a_joseph_byers__1_1_1_1_2_2->n5_a_joseph_byers__1_1_1_1_2_2_1 n5_a_joseph_byers__1_1_1_1_2_2_1->n5_a_joseph_byers__1_1_1_1_2_2_1_1 n5_a_joseph_byers__1_1_1_2->n5_a_joseph_byers__1_1_1_2_1 n5_a_joseph_byers__1_1_1_3_1 PRO n5_a_joseph_byers__1_1_1_3->n5_a_joseph_byers__1_1_1_3_1 n5_a_joseph_byers__1_1_1_3_1->n5_a_joseph_byers__1_1_1_3_1_1 n5_a_joseph_byers__1_1_1_4->n5_a_joseph_byers__1_1_1_4_1 n5_a_joseph_byers__1_1_1_5_1 NP-LGS n5_a_joseph_byers__1_1_1_5->n5_a_joseph_byers__1_1_1_5_1 n5_a_joseph_byers__1_1_1_5_2 VVN;_Dn.n_ n5_a_joseph_byers__1_1_1_5->n5_a_joseph_byers__1_1_1_5_2 n5_a_joseph_byers__1_1_1_5_3 NP-OB1 n5_a_joseph_byers__1_1_1_5->n5_a_joseph_byers__1_1_1_5_3 n5_a_joseph_byers__1_1_1_5_1->n5_a_joseph_byers__1_1_1_5_1_1 n5_a_joseph_byers__1_1_1_5_2->n5_a_joseph_byers__1_1_1_5_2_1 n5_a_joseph_byers__1_1_1_5_3_1 Q n5_a_joseph_byers__1_1_1_5_3->n5_a_joseph_byers__1_1_1_5_3_1 n5_a_joseph_byers__1_1_1_5_3_2 N n5_a_joseph_byers__1_1_1_5_3->n5_a_joseph_byers__1_1_1_5_3_2 n5_a_joseph_byers__1_1_1_5_3_3 PP n5_a_joseph_byers__1_1_1_5_3->n5_a_joseph_byers__1_1_1_5_3_3 n5_a_joseph_byers__1_1_1_5_3_1->n5_a_joseph_byers__1_1_1_5_3_1_1 n5_a_joseph_byers__1_1_1_5_3_2->n5_a_joseph_byers__1_1_1_5_3_2_1 n5_a_joseph_byers__1_1_1_5_3_3_1 P-ROLE n5_a_joseph_byers__1_1_1_5_3_3->n5_a_joseph_byers__1_1_1_5_3_3_1 n5_a_joseph_byers__1_1_1_5_3_3_2 NP n5_a_joseph_byers__1_1_1_5_3_3->n5_a_joseph_byers__1_1_1_5_3_3_2 n5_a_joseph_byers__1_1_1_5_3_3_1->n5_a_joseph_byers__1_1_1_5_3_3_1_1 n5_a_joseph_byers__1_1_1_5_3_3_2_1 NP-GEN n5_a_joseph_byers__1_1_1_5_3_3_2->n5_a_joseph_byers__1_1_1_5_3_3_2_1 n5_a_joseph_byers__1_1_1_5_3_3_2_2 N n5_a_joseph_byers__1_1_1_5_3_3_2->n5_a_joseph_byers__1_1_1_5_3_3_2_2 n5_a_joseph_byers__1_1_1_5_3_3_2_1_1 PRO;_genm_ n5_a_joseph_byers__1_1_1_5_3_3_2_1->n5_a_joseph_byers__1_1_1_5_3_3_2_1_1 n5_a_joseph_byers__1_1_1_5_3_3_2_1_1->n5_a_joseph_byers__1_1_1_5_3_3_2_1_1_1 n5_a_joseph_byers__1_1_1_5_3_3_2_2->n5_a_joseph_byers__1_1_1_5_3_3_2_2_1 n5_a_joseph_byers__1_1_2->n5_a_joseph_byers__1_1_2_1 n5_a_joseph_byers__1_1_3_1 CONJ n5_a_joseph_byers__1_1_3->n5_a_joseph_byers__1_1_3_1 n5_a_joseph_byers__1_1_3_2 ILYR n5_a_joseph_byers__1_1_3->n5_a_joseph_byers__1_1_3_2 n5_a_joseph_byers__1_1_3_1->n5_a_joseph_byers__1_1_3_1_1 n5_a_joseph_byers__1_1_3_2_1 NP-SBJ n5_a_joseph_byers__1_1_3_2->n5_a_joseph_byers__1_1_3_2_1 n5_a_joseph_byers__1_1_3_2_2 VBD;_Tn_ n5_a_joseph_byers__1_1_3_2->n5_a_joseph_byers__1_1_3_2_2 n5_a_joseph_byers__1_1_3_2_3 NP-OB1 n5_a_joseph_byers__1_1_3_2->n5_a_joseph_byers__1_1_3_2_3 n5_a_joseph_byers__1_1_3_2_4 PP-NIM n5_a_joseph_byers__1_1_3_2->n5_a_joseph_byers__1_1_3_2_4 n5_a_joseph_byers__1_1_3_2_5 PP-NIM n5_a_joseph_byers__1_1_3_2->n5_a_joseph_byers__1_1_3_2_5 n5_a_joseph_byers__1_1_3_2_1_1 NLYR n5_a_joseph_byers__1_1_3_2_1->n5_a_joseph_byers__1_1_3_2_1_1 n5_a_joseph_byers__1_1_3_2_1_1_1 NLYR n5_a_joseph_byers__1_1_3_2_1_1->n5_a_joseph_byers__1_1_3_2_1_1_1 n5_a_joseph_byers__1_1_3_2_1_1_2 CONJP n5_a_joseph_byers__1_1_3_2_1_1->n5_a_joseph_byers__1_1_3_2_1_1_2 n5_a_joseph_byers__1_1_3_2_1_1_1_1 PRO n5_a_joseph_byers__1_1_3_2_1_1_1->n5_a_joseph_byers__1_1_3_2_1_1_1_1 n5_a_joseph_byers__1_1_3_2_1_1_1_1->n5_a_joseph_byers__1_1_3_2_1_1_1_1_1 n5_a_joseph_byers__1_1_3_2_1_1_2_1 CONJ n5_a_joseph_byers__1_1_3_2_1_1_2->n5_a_joseph_byers__1_1_3_2_1_1_2_1 n5_a_joseph_byers__1_1_3_2_1_1_2_2 NLYR n5_a_joseph_byers__1_1_3_2_1_1_2->n5_a_joseph_byers__1_1_3_2_1_1_2_2 n5_a_joseph_byers__1_1_3_2_1_1_2_1->n5_a_joseph_byers__1_1_3_2_1_1_2_1_1 n5_a_joseph_byers__1_1_3_2_1_1_2_2_1 NPR n5_a_joseph_byers__1_1_3_2_1_1_2_2->n5_a_joseph_byers__1_1_3_2_1_1_2_2_1 n5_a_joseph_byers__1_1_3_2_1_1_2_2_1->n5_a_joseph_byers__1_1_3_2_1_1_2_2_1_1 n5_a_joseph_byers__1_1_3_2_2->n5_a_joseph_byers__1_1_3_2_2_1 n5_a_joseph_byers__1_1_3_2_3_1 D n5_a_joseph_byers__1_1_3_2_3->n5_a_joseph_byers__1_1_3_2_3_1 n5_a_joseph_byers__1_1_3_2_3_2 N n5_a_joseph_byers__1_1_3_2_3->n5_a_joseph_byers__1_1_3_2_3_2 n5_a_joseph_byers__1_1_3_2_3_3 N n5_a_joseph_byers__1_1_3_2_3->n5_a_joseph_byers__1_1_3_2_3_3 n5_a_joseph_byers__1_1_3_2_3_1->n5_a_joseph_byers__1_1_3_2_3_1_1 n5_a_joseph_byers__1_1_3_2_3_2->n5_a_joseph_byers__1_1_3_2_3_2_1 n5_a_joseph_byers__1_1_3_2_3_3->n5_a_joseph_byers__1_1_3_2_3_3_1 n5_a_joseph_byers__1_1_3_2_4_1 P-ROLE n5_a_joseph_byers__1_1_3_2_4->n5_a_joseph_byers__1_1_3_2_4_1 n5_a_joseph_byers__1_1_3_2_4_2 NP n5_a_joseph_byers__1_1_3_2_4->n5_a_joseph_byers__1_1_3_2_4_2 n5_a_joseph_byers__1_1_3_2_4_1->n5_a_joseph_byers__1_1_3_2_4_1_1 n5_a_joseph_byers__1_1_3_2_4_2_1 NPR n5_a_joseph_byers__1_1_3_2_4_2->n5_a_joseph_byers__1_1_3_2_4_2_1 n5_a_joseph_byers__1_1_3_2_4_2_1->n5_a_joseph_byers__1_1_3_2_4_2_1_1 n5_a_joseph_byers__1_1_3_2_5_1 P-ROLE n5_a_joseph_byers__1_1_3_2_5->n5_a_joseph_byers__1_1_3_2_5_1 n5_a_joseph_byers__1_1_3_2_5_2 NP n5_a_joseph_byers__1_1_3_2_5->n5_a_joseph_byers__1_1_3_2_5_2 n5_a_joseph_byers__1_1_3_2_5_1->n5_a_joseph_byers__1_1_3_2_5_1_1 n5_a_joseph_byers__1_1_3_2_5_2_1 NPR n5_a_joseph_byers__1_1_3_2_5_2->n5_a_joseph_byers__1_1_3_2_5_2_1 n5_a_joseph_byers__1_1_3_2_5_2_2 NPR n5_a_joseph_byers__1_1_3_2_5_2->n5_a_joseph_byers__1_1_3_2_5_2_2 n5_a_joseph_byers__1_1_3_2_5_2_1->n5_a_joseph_byers__1_1_3_2_5_2_1_1 n5_a_joseph_byers__1_1_3_2_5_2_2->n5_a_joseph_byers__1_1_3_2_5_2_2_1 n5_a_joseph_byers__1_2->n5_a_joseph_byers__1_2_1 
( (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))