42_a_lob_g01
Two years later, the inventors of the first poll-tax tried again.

n42_a_lob_g01 n42_a_lob_g01__1_1_1_1_1 Two n42_a_lob_g01__1_1_1_2_1 years n42_a_lob_g01__1_1_2_1 later n42_a_lob_g01__1_2_1 , n42_a_lob_g01__1_3_1_1 the n42_a_lob_g01__1_3_2_1 inventors n42_a_lob_g01__1_3_3_1_1 of n42_a_lob_g01__1_3_3_2_1_1 the n42_a_lob_g01__1_3_3_2_2_1 first n42_a_lob_g01__1_3_3_2_3_1 poll-tax n42_a_lob_g01__1_4_1 tried n42_a_lob_g01__1_5_1_1 again n42_a_lob_g01__1_6_1 . n42_a_lob_g01__1 IP-MAT n42_a_lob_g01__1_1 ADVP-NIM n42_a_lob_g01__1->n42_a_lob_g01__1_1 n42_a_lob_g01__1_2 PUNC n42_a_lob_g01__1->n42_a_lob_g01__1_2 n42_a_lob_g01__1_3 NP-SBJ n42_a_lob_g01__1->n42_a_lob_g01__1_3 n42_a_lob_g01__1_4 VBD;__ n42_a_lob_g01__1->n42_a_lob_g01__1_4 n42_a_lob_g01__1_5 ADVP-NIM n42_a_lob_g01__1->n42_a_lob_g01__1_5 n42_a_lob_g01__1_6 PUNC n42_a_lob_g01__1->n42_a_lob_g01__1_6 n42_a_lob_g01__1_1_1 NP n42_a_lob_g01__1_1->n42_a_lob_g01__1_1_1 n42_a_lob_g01__1_1_2 ADVR n42_a_lob_g01__1_1->n42_a_lob_g01__1_1_2 n42_a_lob_g01__1_1_1_1 NUM n42_a_lob_g01__1_1_1->n42_a_lob_g01__1_1_1_1 n42_a_lob_g01__1_1_1_2 NS n42_a_lob_g01__1_1_1->n42_a_lob_g01__1_1_1_2 n42_a_lob_g01__1_1_1_1->n42_a_lob_g01__1_1_1_1_1 n42_a_lob_g01__1_1_1_2->n42_a_lob_g01__1_1_1_2_1 n42_a_lob_g01__1_1_2->n42_a_lob_g01__1_1_2_1 n42_a_lob_g01__1_2->n42_a_lob_g01__1_2_1 n42_a_lob_g01__1_3_1 D n42_a_lob_g01__1_3->n42_a_lob_g01__1_3_1 n42_a_lob_g01__1_3_2 NS n42_a_lob_g01__1_3->n42_a_lob_g01__1_3_2 n42_a_lob_g01__1_3_3 PP n42_a_lob_g01__1_3->n42_a_lob_g01__1_3_3 n42_a_lob_g01__1_3_1->n42_a_lob_g01__1_3_1_1 n42_a_lob_g01__1_3_2->n42_a_lob_g01__1_3_2_1 n42_a_lob_g01__1_3_3_1 P-ROLE n42_a_lob_g01__1_3_3->n42_a_lob_g01__1_3_3_1 n42_a_lob_g01__1_3_3_2 NP n42_a_lob_g01__1_3_3->n42_a_lob_g01__1_3_3_2 n42_a_lob_g01__1_3_3_1->n42_a_lob_g01__1_3_3_1_1 n42_a_lob_g01__1_3_3_2_1 D n42_a_lob_g01__1_3_3_2->n42_a_lob_g01__1_3_3_2_1 n42_a_lob_g01__1_3_3_2_2 NUM n42_a_lob_g01__1_3_3_2->n42_a_lob_g01__1_3_3_2_2 n42_a_lob_g01__1_3_3_2_3 N n42_a_lob_g01__1_3_3_2->n42_a_lob_g01__1_3_3_2_3 n42_a_lob_g01__1_3_3_2_1->n42_a_lob_g01__1_3_3_2_1_1 n42_a_lob_g01__1_3_3_2_2->n42_a_lob_g01__1_3_3_2_2_1 n42_a_lob_g01__1_3_3_2_3->n42_a_lob_g01__1_3_3_2_3_1 n42_a_lob_g01__1_4->n42_a_lob_g01__1_4_1 n42_a_lob_g01__1_5_1 ADV n42_a_lob_g01__1_5->n42_a_lob_g01__1_5_1 n42_a_lob_g01__1_5_1->n42_a_lob_g01__1_5_1_1 n42_a_lob_g01__1_6->n42_a_lob_g01__1_6_1
( (IP-MAT (ADVP-NIM (NP (NUM Two;{two})
                        (NS years;{year}))
                    (ADVR later;{late}))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (NS inventors;{inventor})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (NUM first;{first})
                          (N poll_<hyphen>_tax;{poll_tax}))))
          (VBD;__ tried;{try})
          (ADVP-NIM (ADV again;{again}))
          (PUNC .))
  (ID 42_a_lob_g01))



%3 r_0042_0011__tried tried r_0042_0012__again again r_0042_0011__tried->r_0042_0012__again [nim] r_0042_0005__the_r_0042_0006__inventors the inventors r_0042_0011__tried->r_0042_0005__the_r_0042_0006__inventors [arg0] r_0042_0003__later later r_0042_0011__tried->r_0042_0003__later [nim] r_0042_0008__the_r_0042_0009__first_r_0042_0010__poll__hyphen__tax the first poll-tax r_0042_0005__the_r_0042_0006__inventors->r_0042_0008__the_r_0042_0009__first_r_0042_0010__poll__hyphen__tax of r_0042_0001__Two_r_0042_0002__years Two years r_0042_0003__later->r_0042_0001__Two_r_0042_0002__years [nim]
arc(r_0042_0003__later,r_0042_0001__Two_r_0042_0002__years,nim).
arc(r_0042_0005__the_r_0042_0006__inventors,r_0042_0008__the_r_0042_0009__first_r_0042_0010__poll__hyphen__tax,r_0042_0007__of).
arc(r_0042_0011__tried,r_0042_0003__later,nim).
arc(r_0042_0011__tried,r_0042_0005__the_r_0042_0006__inventors,arg0).
arc(r_0042_0011__tried,r_0042_0012__again,nim).



%3 r_0042_0003__later later r_0042_0001__Two_r_0042_0002__years Two years r_0042_0003__later->r_0042_0001__Two_r_0042_0002__years [nim] r_0042_0005__the_r_0042_0006__inventors the inventors r_0042_0008__the_r_0042_0009__first_r_0042_0010__poll__hyphen__tax the first poll-tax r_0042_0005__the_r_0042_0006__inventors->r_0042_0008__the_r_0042_0009__first_r_0042_0010__poll__hyphen__tax of r_0042_0011__tried tried r_0042_0011__tried->r_0042_0003__later [nim] r_0042_0011__tried->r_0042_0005__the_r_0042_0006__inventors [arg0] r_0042_0012__again again r_0042_0011__tried->r_0042_0012__again [nim]
fof(formula,axiom,
    ? [R_0042_0001__TWO_R_0042_0002__YEARS,R_0042_0003__LATER,R_0042_0008__THE_R_0042_0009__FIRST_R_0042_0010__POLL__HYPHEN__TAX,R_0042_0005__THE_R_0042_0006__INVENTORS,R_0042_0012__AGAIN,R_0042_0011__TRIED] :
      ( r_0042_0001__Two_r_0042_0002__years(R_0042_0001__TWO_R_0042_0002__YEARS)
      & r_0042_0008__the_r_0042_0009__first_r_0042_0010__poll__hyphen__tax(R_0042_0008__THE_R_0042_0009__FIRST_R_0042_0010__POLL__HYPHEN__TAX)
      & r_0042_0012__again(R_0042_0012__AGAIN)
      & r_0042_0011__tried(R_0042_0011__TRIED)
      & has_nim(R_0042_0011__TRIED,R_0042_0012__AGAIN)
      & has_arg0(R_0042_0011__TRIED,R_0042_0005__THE_R_0042_0006__INVENTORS)
      & r_0042_0005__the_r_0042_0006__inventors(R_0042_0005__THE_R_0042_0006__INVENTORS)
      & has_r_0042_0007__of(R_0042_0005__THE_R_0042_0006__INVENTORS,R_0042_0008__THE_R_0042_0009__FIRST_R_0042_0010__POLL__HYPHEN__TAX)
      & has_nim(R_0042_0011__TRIED,R_0042_0003__LATER)
      & r_0042_0003__later(R_0042_0003__LATER)
      & has_nim(R_0042_0003__LATER,R_0042_0001__TWO_R_0042_0002__YEARS) ) ).