1_a_joseph_byers
Private Joseph Byers was the first Kitchener volunteer to be executed.

n1_a_joseph_byers n1_a_joseph_byers__1_1_1_1 Private n1_a_joseph_byers__1_1_2_1 Joseph n1_a_joseph_byers__1_1_3_1 Byers n1_a_joseph_byers__1_2_1 was n1_a_joseph_byers__1_3_1_1 the n1_a_joseph_byers__1_3_2_1_1 first n1_a_joseph_byers__1_3_3_1 Kitchener n1_a_joseph_byers__1_3_4_1 volunteer n1_a_joseph_byers__1_3_5_1_1 *T* n1_a_joseph_byers__1_3_5_2_1 to n1_a_joseph_byers__1_3_5_3_1 be n1_a_joseph_byers__1_3_5_4_1_1 * n1_a_joseph_byers__1_3_5_4_2_1 executed n1_a_joseph_byers__1_4_1 . n1_a_joseph_byers__1 IP-MAT n1_a_joseph_byers__1_1 NP-SBJ n1_a_joseph_byers__1->n1_a_joseph_byers__1_1 n1_a_joseph_byers__1_2 BED;_Ln_ n1_a_joseph_byers__1->n1_a_joseph_byers__1_2 n1_a_joseph_byers__1_3 NP-PRD n1_a_joseph_byers__1->n1_a_joseph_byers__1_3 n1_a_joseph_byers__1_4 PUNC n1_a_joseph_byers__1->n1_a_joseph_byers__1_4 n1_a_joseph_byers__1_1_1 N n1_a_joseph_byers__1_1->n1_a_joseph_byers__1_1_1 n1_a_joseph_byers__1_1_2 NPR n1_a_joseph_byers__1_1->n1_a_joseph_byers__1_1_2 n1_a_joseph_byers__1_1_3 NPR n1_a_joseph_byers__1_1->n1_a_joseph_byers__1_1_3 n1_a_joseph_byers__1_1_1->n1_a_joseph_byers__1_1_1_1 n1_a_joseph_byers__1_1_2->n1_a_joseph_byers__1_1_2_1 n1_a_joseph_byers__1_1_3->n1_a_joseph_byers__1_1_3_1 n1_a_joseph_byers__1_2->n1_a_joseph_byers__1_2_1 n1_a_joseph_byers__1_3_1 D n1_a_joseph_byers__1_3->n1_a_joseph_byers__1_3_1 n1_a_joseph_byers__1_3_2 ADJP n1_a_joseph_byers__1_3->n1_a_joseph_byers__1_3_2 n1_a_joseph_byers__1_3_3 NPR n1_a_joseph_byers__1_3->n1_a_joseph_byers__1_3_3 n1_a_joseph_byers__1_3_4 N n1_a_joseph_byers__1_3->n1_a_joseph_byers__1_3_4 n1_a_joseph_byers__1_3_5 IP-INF-REL n1_a_joseph_byers__1_3->n1_a_joseph_byers__1_3_5 n1_a_joseph_byers__1_3_1->n1_a_joseph_byers__1_3_1_1 n1_a_joseph_byers__1_3_2_1 ADJ n1_a_joseph_byers__1_3_2->n1_a_joseph_byers__1_3_2_1 n1_a_joseph_byers__1_3_2_1->n1_a_joseph_byers__1_3_2_1_1 n1_a_joseph_byers__1_3_3->n1_a_joseph_byers__1_3_3_1 n1_a_joseph_byers__1_3_4->n1_a_joseph_byers__1_3_4_1 n1_a_joseph_byers__1_3_5_1 NP-SBJ n1_a_joseph_byers__1_3_5->n1_a_joseph_byers__1_3_5_1 n1_a_joseph_byers__1_3_5_2 TO n1_a_joseph_byers__1_3_5->n1_a_joseph_byers__1_3_5_2 n1_a_joseph_byers__1_3_5_3 BE;_cat_VePASS_ n1_a_joseph_byers__1_3_5->n1_a_joseph_byers__1_3_5_3 n1_a_joseph_byers__1_3_5_4 IP-PPL-CAT n1_a_joseph_byers__1_3_5->n1_a_joseph_byers__1_3_5_4 n1_a_joseph_byers__1_3_5_1->n1_a_joseph_byers__1_3_5_1_1 n1_a_joseph_byers__1_3_5_2->n1_a_joseph_byers__1_3_5_2_1 n1_a_joseph_byers__1_3_5_3->n1_a_joseph_byers__1_3_5_3_1 n1_a_joseph_byers__1_3_5_4_1 NP-LGS n1_a_joseph_byers__1_3_5_4->n1_a_joseph_byers__1_3_5_4_1 n1_a_joseph_byers__1_3_5_4_2 VVN;_Tn_ n1_a_joseph_byers__1_3_5_4->n1_a_joseph_byers__1_3_5_4_2 n1_a_joseph_byers__1_3_5_4_1->n1_a_joseph_byers__1_3_5_4_1_1 n1_a_joseph_byers__1_3_5_4_2->n1_a_joseph_byers__1_3_5_4_2_1 n1_a_joseph_byers__1_4->n1_a_joseph_byers__1_4_1
( (IP-MAT (NP-SBJ;{BYERS} (N Private;{private})
                          (NPR Joseph;{Joseph})
                          (NPR Byers;{Byers}))
          (BED;_Ln_ was;{be})
          (NP-PRD (D the;{the})
                  (ADJP (ADJ first;{first}))
                  (NPR Kitchener;{Kitchener})
                  (N volunteer;{volunteer})
                  (IP-INF-REL (NP-SBJ *T*)
                              (TO to;{to})
                              (BE;_cat_VePASS_ be;{be})
                              (IP-PPL-CAT (NP-LGS *)
                                          (VVN;_Tn_ executed;{execute}))))
          (PUNC .))
  (ID 1_a_joseph_byers))



%3 r_0001_0011__executed executed z_0001_5006___star_ * r_0001_0011__executed->z_0001_5006___star_ [arg0] r_0001_0005__the_r_0001_0007__Kitchener_r_0001_0008__volunteer the Kitchener volunteer r_0001_0011__executed->r_0001_0005__the_r_0001_0007__Kitchener_r_0001_0008__volunteer [inv_arg1] r_0001_0006__first first r_0001_0005__the_r_0001_0007__Kitchener_r_0001_0008__volunteer->r_0001_0006__first [attrib] r_0001_0010__be be r_0001_0010__be->r_0001_0011__executed [scope] r_0001_0004__was was r_0001_0004__was->r_0001_0005__the_r_0001_0007__Kitchener_r_0001_0008__volunteer [prd] r_0001_0001__Private_r_0001_0002__Joseph_r_0001_0003__Byers Private Joseph Byers r_0001_0004__was->r_0001_0001__Private_r_0001_0002__Joseph_r_0001_0003__Byers [arg0]
arc(r_0001_0004__was,r_0001_0001__Private_r_0001_0002__Joseph_r_0001_0003__Byers,arg0).
arc(r_0001_0004__was,r_0001_0005__the_r_0001_0007__Kitchener_r_0001_0008__volunteer,prd).
arc(r_0001_0005__the_r_0001_0007__Kitchener_r_0001_0008__volunteer,r_0001_0006__first,attrib).
arc(r_0001_0010__be,r_0001_0011__executed,scope).
arc(r_0001_0011__executed,r_0001_0005__the_r_0001_0007__Kitchener_r_0001_0008__volunteer,inv_arg1).
arc(r_0001_0011__executed,z_0001_5006___star_,arg0).



%3 r_0001_0004__was was r_0001_0001__Private_r_0001_0002__Joseph_r_0001_0003__Byers Private Joseph Byers r_0001_0004__was->r_0001_0001__Private_r_0001_0002__Joseph_r_0001_0003__Byers [arg0] r_0001_0005__the_r_0001_0007__Kitchener_r_0001_0008__volunteer the Kitchener volunteer r_0001_0004__was->r_0001_0005__the_r_0001_0007__Kitchener_r_0001_0008__volunteer [prd] r_0001_0006__first first r_0001_0005__the_r_0001_0007__Kitchener_r_0001_0008__volunteer->r_0001_0006__first [attrib] r_0001_0010__be_r_0001_0011__executed be executed r_0001_0005__the_r_0001_0007__Kitchener_r_0001_0008__volunteer->r_0001_0010__be_r_0001_0011__executed [inv_arg1] z_0001_5006___star_ * r_0001_0010__be_r_0001_0011__executed->z_0001_5006___star_ [arg0]
fof(formula,axiom,
    ? [R_0001_0001__PRIVATE_R_0001_0002__JOSEPH_R_0001_0003__BYERS,R_0001_0006__FIRST,Z_0001_5006___STAR_,R_0001_0010__BE_R_0001_0011__EXECUTED,R_0001_0005__THE_R_0001_0007__KITCHENER_R_0001_0008__VOLUNTEER,R_0001_0004__WAS] :
      ( r_0001_0001__Private_r_0001_0002__Joseph_r_0001_0003__Byers(R_0001_0001__PRIVATE_R_0001_0002__JOSEPH_R_0001_0003__BYERS)
      & r_0001_0006__first(R_0001_0006__FIRST)
      & z_0001_5006___star_(Z_0001_5006___STAR_)
      & r_0001_0004__was(R_0001_0004__WAS)
      & has_prd(R_0001_0004__WAS,R_0001_0005__THE_R_0001_0007__KITCHENER_R_0001_0008__VOLUNTEER)
      & r_0001_0005__the_r_0001_0007__Kitchener_r_0001_0008__volunteer(R_0001_0005__THE_R_0001_0007__KITCHENER_R_0001_0008__VOLUNTEER)
      & has_inv_arg1(R_0001_0005__THE_R_0001_0007__KITCHENER_R_0001_0008__VOLUNTEER,R_0001_0010__BE_R_0001_0011__EXECUTED)
      & r_0001_0010__be_r_0001_0011__executed(R_0001_0010__BE_R_0001_0011__EXECUTED)
      & has_arg0(R_0001_0010__BE_R_0001_0011__EXECUTED,Z_0001_5006___STAR_)
      & has_attrib(R_0001_0005__THE_R_0001_0007__KITCHENER_R_0001_0008__VOLUNTEER,R_0001_0006__FIRST)
      & has_arg0(R_0001_0004__WAS,R_0001_0001__PRIVATE_R_0001_0002__JOSEPH_R_0001_0003__BYERS) ) ).