1_a_joseph_byers
Private Joseph Byers was the first Kitchener volunteer to be executed.
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, attrib14).
arc(r_0001_0009__to_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, arg1).
arc(r_0001_0011__executed, z_000_1_a_joseph_byers_29, arg0).
fof(formula,axiom,
? [R_1_4_WAS,R_1_1_PRIVATE_JOSEPH_BYERS,R_1_9_TO_BE_EXECUTED,Z_1_A_JOSEPH_BYERS_29,R_1_5_THE_KITCHENER_VOLUNTEER,R_1_6_FIRST] :
( private_Joseph_Byers(R_1_1_PRIVATE_JOSEPH_BYERS)
& first(R_1_6_FIRST)
& was(R_1_4_WAS,R_1_1_PRIVATE_JOSEPH_BYERS,R_1_5_THE_KITCHENER_VOLUNTEER)
& the_Kitchener_volunteer(R_1_5_THE_KITCHENER_VOLUNTEER)
& attrib14(R_1_5_THE_KITCHENER_VOLUNTEER,R_1_6_FIRST)
& to_be_executed(R_1_9_TO_BE_EXECUTED,Z_1_A_JOSEPH_BYERS_29,R_1_5_THE_KITCHENER_VOLUNTEER) ) ).
( (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))