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_0001__Despite Despite r_0005_0002__being being r_0005_0001__Despite->r_0005_0002__being [conj1] r_0005_0006__was was r_0005_0001__Despite->r_0005_0006__was [conj2] 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 [keep_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] 
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_6 Despite n5_a_joseph_byers_9 being n5_a_joseph_byers_12 under_age n5_a_joseph_byers_14 , n5_a_joseph_byers_17 he n5_a_joseph_byers_19 was n5_a_joseph_byers_22 * n5_a_joseph_byers_24 given n5_a_joseph_byers_27 no n5_a_joseph_byers_29 representation n5_a_joseph_byers_32 at n5_a_joseph_byers_36 his n5_a_joseph_byers_38 trial n5_a_joseph_byers_40 , n5_a_joseph_byers_43 and n5_a_joseph_byers_49 he n5_a_joseph_byers_52 and n5_a_joseph_byers_55 Evans n5_a_joseph_byers_57 faced n5_a_joseph_byers_60 a n5_a_joseph_byers_62 firing n5_a_joseph_byers_64 squad n5_a_joseph_byers_67 at n5_a_joseph_byers_70 Locre n5_a_joseph_byers_73 on n5_a_joseph_byers_76 February n5_a_joseph_byers_78 6 n5_a_joseph_byers_80 . n5_a_joseph_byers_1 IP-MAT n5_a_joseph_byers_2 ILYR n5_a_joseph_byers_1->n5_a_joseph_byers_2 n5_a_joseph_byers_79 PUNC n5_a_joseph_byers_1->n5_a_joseph_byers_79 n5_a_joseph_byers_3 ILYR n5_a_joseph_byers_2->n5_a_joseph_byers_3 n5_a_joseph_byers_39 PUNC n5_a_joseph_byers_2->n5_a_joseph_byers_39 n5_a_joseph_byers_41 CONJP n5_a_joseph_byers_2->n5_a_joseph_byers_41 n5_a_joseph_byers_4 PP-SCON n5_a_joseph_byers_3->n5_a_joseph_byers_4 n5_a_joseph_byers_13 PUNC n5_a_joseph_byers_3->n5_a_joseph_byers_13 n5_a_joseph_byers_15 NP-SBJ n5_a_joseph_byers_3->n5_a_joseph_byers_15 n5_a_joseph_byers_18 BED;_cat_VePASS_ n5_a_joseph_byers_3->n5_a_joseph_byers_18 n5_a_joseph_byers_20 IP-PPL-CAT n5_a_joseph_byers_3->n5_a_joseph_byers_20 n5_a_joseph_byers_5 P-CONN n5_a_joseph_byers_4->n5_a_joseph_byers_5 n5_a_joseph_byers_7 IP-PPL2 n5_a_joseph_byers_4->n5_a_joseph_byers_7 n5_a_joseph_byers_5->n5_a_joseph_byers_6 n5_a_joseph_byers_8 BAG;_La_ n5_a_joseph_byers_7->n5_a_joseph_byers_8 n5_a_joseph_byers_10 ADJP-PRD n5_a_joseph_byers_7->n5_a_joseph_byers_10 n5_a_joseph_byers_8->n5_a_joseph_byers_9 n5_a_joseph_byers_11 ADJ n5_a_joseph_byers_10->n5_a_joseph_byers_11 n5_a_joseph_byers_11->n5_a_joseph_byers_12 n5_a_joseph_byers_13->n5_a_joseph_byers_14 n5_a_joseph_byers_16 PRO n5_a_joseph_byers_15->n5_a_joseph_byers_16 n5_a_joseph_byers_16->n5_a_joseph_byers_17 n5_a_joseph_byers_18->n5_a_joseph_byers_19 n5_a_joseph_byers_21 NP-LGS n5_a_joseph_byers_20->n5_a_joseph_byers_21 n5_a_joseph_byers_23 VVN;_Dn.n_ n5_a_joseph_byers_20->n5_a_joseph_byers_23 n5_a_joseph_byers_25 NP-OB1 n5_a_joseph_byers_20->n5_a_joseph_byers_25 n5_a_joseph_byers_21->n5_a_joseph_byers_22 n5_a_joseph_byers_23->n5_a_joseph_byers_24 n5_a_joseph_byers_26 Q n5_a_joseph_byers_25->n5_a_joseph_byers_26 n5_a_joseph_byers_28 N n5_a_joseph_byers_25->n5_a_joseph_byers_28 n5_a_joseph_byers_30 PP n5_a_joseph_byers_25->n5_a_joseph_byers_30 n5_a_joseph_byers_26->n5_a_joseph_byers_27 n5_a_joseph_byers_28->n5_a_joseph_byers_29 n5_a_joseph_byers_31 P-ROLE n5_a_joseph_byers_30->n5_a_joseph_byers_31 n5_a_joseph_byers_33 NP n5_a_joseph_byers_30->n5_a_joseph_byers_33 n5_a_joseph_byers_31->n5_a_joseph_byers_32 n5_a_joseph_byers_34 NP-GEN n5_a_joseph_byers_33->n5_a_joseph_byers_34 n5_a_joseph_byers_37 N n5_a_joseph_byers_33->n5_a_joseph_byers_37 n5_a_joseph_byers_35 PRO;_genm_ n5_a_joseph_byers_34->n5_a_joseph_byers_35 n5_a_joseph_byers_35->n5_a_joseph_byers_36 n5_a_joseph_byers_37->n5_a_joseph_byers_38 n5_a_joseph_byers_39->n5_a_joseph_byers_40 n5_a_joseph_byers_42 CONJ n5_a_joseph_byers_41->n5_a_joseph_byers_42 n5_a_joseph_byers_44 ILYR n5_a_joseph_byers_41->n5_a_joseph_byers_44 n5_a_joseph_byers_42->n5_a_joseph_byers_43 n5_a_joseph_byers_45 NP-SBJ n5_a_joseph_byers_44->n5_a_joseph_byers_45 n5_a_joseph_byers_56 VBD;_Tn_ n5_a_joseph_byers_44->n5_a_joseph_byers_56 n5_a_joseph_byers_58 NP-OB1 n5_a_joseph_byers_44->n5_a_joseph_byers_58 n5_a_joseph_byers_65 PP-NIM n5_a_joseph_byers_44->n5_a_joseph_byers_65 n5_a_joseph_byers_71 PP-NIM n5_a_joseph_byers_44->n5_a_joseph_byers_71 n5_a_joseph_byers_46 NLYR n5_a_joseph_byers_45->n5_a_joseph_byers_46 n5_a_joseph_byers_47 NLYR n5_a_joseph_byers_46->n5_a_joseph_byers_47 n5_a_joseph_byers_50 CONJP n5_a_joseph_byers_46->n5_a_joseph_byers_50 n5_a_joseph_byers_48 PRO n5_a_joseph_byers_47->n5_a_joseph_byers_48 n5_a_joseph_byers_48->n5_a_joseph_byers_49 n5_a_joseph_byers_51 CONJ n5_a_joseph_byers_50->n5_a_joseph_byers_51 n5_a_joseph_byers_53 NLYR n5_a_joseph_byers_50->n5_a_joseph_byers_53 n5_a_joseph_byers_51->n5_a_joseph_byers_52 n5_a_joseph_byers_54 NPR n5_a_joseph_byers_53->n5_a_joseph_byers_54 n5_a_joseph_byers_54->n5_a_joseph_byers_55 n5_a_joseph_byers_56->n5_a_joseph_byers_57 n5_a_joseph_byers_59 D n5_a_joseph_byers_58->n5_a_joseph_byers_59 n5_a_joseph_byers_61 N n5_a_joseph_byers_58->n5_a_joseph_byers_61 n5_a_joseph_byers_63 N n5_a_joseph_byers_58->n5_a_joseph_byers_63 n5_a_joseph_byers_59->n5_a_joseph_byers_60 n5_a_joseph_byers_61->n5_a_joseph_byers_62 n5_a_joseph_byers_63->n5_a_joseph_byers_64 n5_a_joseph_byers_66 P-ROLE n5_a_joseph_byers_65->n5_a_joseph_byers_66 n5_a_joseph_byers_68 NP n5_a_joseph_byers_65->n5_a_joseph_byers_68 n5_a_joseph_byers_66->n5_a_joseph_byers_67 n5_a_joseph_byers_69 NPR n5_a_joseph_byers_68->n5_a_joseph_byers_69 n5_a_joseph_byers_69->n5_a_joseph_byers_70 n5_a_joseph_byers_72 P-ROLE n5_a_joseph_byers_71->n5_a_joseph_byers_72 n5_a_joseph_byers_74 NP n5_a_joseph_byers_71->n5_a_joseph_byers_74 n5_a_joseph_byers_72->n5_a_joseph_byers_73 n5_a_joseph_byers_75 NPR n5_a_joseph_byers_74->n5_a_joseph_byers_75 n5_a_joseph_byers_77 NPR n5_a_joseph_byers_74->n5_a_joseph_byers_77 n5_a_joseph_byers_75->n5_a_joseph_byers_76 n5_a_joseph_byers_77->n5_a_joseph_byers_78 n5_a_joseph_byers_79->n5_a_joseph_byers_80 
( (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))