37_a_lob_g01
They had invented the poll-tax.
arc(r_0037_0002__had, r_0037_0003__invented, scope).
arc(r_0037_0003__invented, r_0037_0001__They, arg0).
arc(r_0037_0003__invented, r_0037_0004__the_r_0037_0005__poll__hyphen__tax, arg1).
fof(formula,axiom,
? [R_37_2_HAD_INVENTED,R_37_1_THEY,R_37_4_THE_POLL_HYPHEN_TAX] :
( they(R_37_1_THEY)
& the_poll_hyphen_tax(R_37_4_THE_POLL_HYPHEN_TAX)
& had_invented(R_37_2_HAD_INVENTED,R_37_1_THEY,R_37_4_THE_POLL_HYPHEN_TAX) ) ).
( (IP-MAT (NP-SBJ (PRO They;{they}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (VVN;__ invented;{invent})
(NP-OB1 (D the;{the})
(N poll_<hyphen>_tax;{poll_tax})))
(PUNC .))
(ID 37_a_lob_g01))