Context                Previous, Next                Top


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

%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_0009__to_r_0001_0010__be to be r_0001_0011__executed executed r_0001_0009__to_r_0001_0010__be->r_0001_0011__executed [scope] r_0001_0011__executed->r_0001_0005__the_r_0001_0007__Kitchener_r_0001_0008__volunteer [arg1] z_000_1_a_joseph_byers_29 r_0001_0011__executed->z_000_1_a_joseph_byers_29 [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, 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).


%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_0009__to_r_0001_0010__be_r_0001_0011__executed to be executed r_0001_0009__to_r_0001_0010__be_r_0001_0011__executed->r_0001_0005__the_r_0001_0007__Kitchener_r_0001_0008__volunteer [arg1] z_000_1_a_joseph_byers_29 r_0001_0009__to_r_0001_0010__be_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) ) ).


n1_a_joseph_byers n1_a_joseph_byers_4 Private n1_a_joseph_byers_6 Joseph n1_a_joseph_byers_8 Byers n1_a_joseph_byers_10 was n1_a_joseph_byers_13 the n1_a_joseph_byers_16 first n1_a_joseph_byers_18 Kitchener n1_a_joseph_byers_20 volunteer n1_a_joseph_byers_23 *T* n1_a_joseph_byers_25 to n1_a_joseph_byers_27 be n1_a_joseph_byers_30 * n1_a_joseph_byers_32 executed n1_a_joseph_byers_34 . n1_a_joseph_byers_1 IP-MAT n1_a_joseph_byers_2 NP-SBJ n1_a_joseph_byers_1->n1_a_joseph_byers_2 n1_a_joseph_byers_9 BED;_Ln_ n1_a_joseph_byers_1->n1_a_joseph_byers_9 n1_a_joseph_byers_11 NP-PRD n1_a_joseph_byers_1->n1_a_joseph_byers_11 n1_a_joseph_byers_33 PUNC n1_a_joseph_byers_1->n1_a_joseph_byers_33 n1_a_joseph_byers_3 N n1_a_joseph_byers_2->n1_a_joseph_byers_3 n1_a_joseph_byers_5 NPR n1_a_joseph_byers_2->n1_a_joseph_byers_5 n1_a_joseph_byers_7 NPR n1_a_joseph_byers_2->n1_a_joseph_byers_7 n1_a_joseph_byers_3->n1_a_joseph_byers_4 n1_a_joseph_byers_5->n1_a_joseph_byers_6 n1_a_joseph_byers_7->n1_a_joseph_byers_8 n1_a_joseph_byers_9->n1_a_joseph_byers_10 n1_a_joseph_byers_12 D n1_a_joseph_byers_11->n1_a_joseph_byers_12 n1_a_joseph_byers_14 ADJP n1_a_joseph_byers_11->n1_a_joseph_byers_14 n1_a_joseph_byers_17 NPR n1_a_joseph_byers_11->n1_a_joseph_byers_17 n1_a_joseph_byers_19 N n1_a_joseph_byers_11->n1_a_joseph_byers_19 n1_a_joseph_byers_21 IP-INF-REL n1_a_joseph_byers_11->n1_a_joseph_byers_21 n1_a_joseph_byers_12->n1_a_joseph_byers_13 n1_a_joseph_byers_15 ADJ n1_a_joseph_byers_14->n1_a_joseph_byers_15 n1_a_joseph_byers_15->n1_a_joseph_byers_16 n1_a_joseph_byers_17->n1_a_joseph_byers_18 n1_a_joseph_byers_19->n1_a_joseph_byers_20 n1_a_joseph_byers_22 NP-SBJ n1_a_joseph_byers_21->n1_a_joseph_byers_22 n1_a_joseph_byers_24 TO n1_a_joseph_byers_21->n1_a_joseph_byers_24 n1_a_joseph_byers_26 BE;_cat_VePASS_ n1_a_joseph_byers_21->n1_a_joseph_byers_26 n1_a_joseph_byers_28 IP-PPL-CAT n1_a_joseph_byers_21->n1_a_joseph_byers_28 n1_a_joseph_byers_22->n1_a_joseph_byers_23 n1_a_joseph_byers_24->n1_a_joseph_byers_25 n1_a_joseph_byers_26->n1_a_joseph_byers_27 n1_a_joseph_byers_29 NP-LGS n1_a_joseph_byers_28->n1_a_joseph_byers_29 n1_a_joseph_byers_31 VVN;_Tn_ n1_a_joseph_byers_28->n1_a_joseph_byers_31 n1_a_joseph_byers_29->n1_a_joseph_byers_30 n1_a_joseph_byers_31->n1_a_joseph_byers_32 n1_a_joseph_byers_33->n1_a_joseph_byers_34 
( (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))