43_a_lob_g01
Two years later, the inventors of the first poll-tax tried again.
arc(r_0043_0003__later, r_0043_0001__Two_r_0043_0002__years, nim3).
arc(r_0043_0005__the_r_0043_0006__inventors, r_0043_0008__the_r_0043_0009__first_r_0043_0010__poll__hyphen__tax, r_0043_0007__of).
arc(r_0043_0011__tried, r_0043_0003__later, nim2).
arc(r_0043_0011__tried, r_0043_0005__the_r_0043_0006__inventors, arg0).
arc(r_0043_0011__tried, r_0043_0012__again, nim29).
fof(formula,axiom,
? [R_0043_0001__TWO_R_0043_0002__YEARS,R_0043_0003__LATER,R_0043_0008__THE_R_0043_0009__FIRST_R_0043_0010__POLL__HYPHEN__TAX,R_0043_0005__THE_R_0043_0006__INVENTORS,R_0043_0012__AGAIN,R_0043_0011__TRIED] :
( r_0043_0001__Two_r_0043_0002__years(R_0043_0001__TWO_R_0043_0002__YEARS)
& r_0043_0008__the_r_0043_0009__first_r_0043_0010__poll__hyphen__tax(R_0043_0008__THE_R_0043_0009__FIRST_R_0043_0010__POLL__HYPHEN__TAX)
& r_0043_0012__again(R_0043_0012__AGAIN)
& r_0043_0011__tried(R_0043_0011__TRIED)
& has_nim29(R_0043_0011__TRIED,R_0043_0012__AGAIN)
& has_arg0(R_0043_0011__TRIED,R_0043_0005__THE_R_0043_0006__INVENTORS)
& r_0043_0005__the_r_0043_0006__inventors(R_0043_0005__THE_R_0043_0006__INVENTORS)
& has_r_0043_0007__of(R_0043_0005__THE_R_0043_0006__INVENTORS,R_0043_0008__THE_R_0043_0009__FIRST_R_0043_0010__POLL__HYPHEN__TAX)
& has_nim2(R_0043_0011__TRIED,R_0043_0003__LATER)
& r_0043_0003__later(R_0043_0003__LATER)
& has_nim3(R_0043_0003__LATER,R_0043_0001__TWO_R_0043_0002__YEARS) ) ).
( (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 43_a_lob_g01))