42_a_lob_g01
Two years later, the inventors of the first poll-tax tried again.
( (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))
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).
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) ) ).