37_a_lob_g01
They had invented the poll-tax.

%3 r_0037_0002__had had r_0037_0003__invented invented r_0037_0002__had->r_0037_0003__invented [scope] r_0037_0001__They They r_0037_0003__invented->r_0037_0001__They [arg0] r_0037_0004__the_r_0037_0005__poll__hyphen__tax the poll-tax r_0037_0003__invented->r_0037_0004__the_r_0037_0005__poll__hyphen__tax [arg1]
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).



%3 r_0037_0002__had_r_0037_0003__invented had invented r_0037_0001__They They r_0037_0002__had_r_0037_0003__invented->r_0037_0001__They [arg0] r_0037_0004__the_r_0037_0005__poll__hyphen__tax the poll-tax r_0037_0002__had_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) ) ).



n37_a_lob_g01 n37_a_lob_g01_4 They n37_a_lob_g01_6 had n37_a_lob_g01_9 invented n37_a_lob_g01_12 the n37_a_lob_g01_14 poll-tax n37_a_lob_g01_16 . n37_a_lob_g01_1 IP-MAT n37_a_lob_g01_2 NP-SBJ n37_a_lob_g01_1->n37_a_lob_g01_2 n37_a_lob_g01_5 HVD;_cat_Ve_ n37_a_lob_g01_1->n37_a_lob_g01_5 n37_a_lob_g01_7 IP-PPL-CAT n37_a_lob_g01_1->n37_a_lob_g01_7 n37_a_lob_g01_15 PUNC n37_a_lob_g01_1->n37_a_lob_g01_15 n37_a_lob_g01_3 PRO n37_a_lob_g01_2->n37_a_lob_g01_3 n37_a_lob_g01_3->n37_a_lob_g01_4 n37_a_lob_g01_5->n37_a_lob_g01_6 n37_a_lob_g01_8 VVN;__ n37_a_lob_g01_7->n37_a_lob_g01_8 n37_a_lob_g01_10 NP-OB1 n37_a_lob_g01_7->n37_a_lob_g01_10 n37_a_lob_g01_8->n37_a_lob_g01_9 n37_a_lob_g01_11 D n37_a_lob_g01_10->n37_a_lob_g01_11 n37_a_lob_g01_13 N n37_a_lob_g01_10->n37_a_lob_g01_13 n37_a_lob_g01_11->n37_a_lob_g01_12 n37_a_lob_g01_13->n37_a_lob_g01_14 n37_a_lob_g01_15->n37_a_lob_g01_16
( (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))