( (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 36_a_lob_g01))

arc(r_0036_0002__had,r_0036_0003__invented,scope).
arc(r_0036_0003__invented,r_0036_0001__They,arg0).
arc(r_0036_0003__invented,r_0036_0004__the_r_0036_0005__poll__hyphen__tax,arg1).

fof(formula,axiom,
    ? [R_0036_0001__THEY,R_0036_0004__THE_R_0036_0005__POLL__HYPHEN__TAX,R_0036_0002__HAD_R_0036_0003__INVENTED] :
      ( r_0036_0001__They(R_0036_0001__THEY)
      & r_0036_0004__the_r_0036_0005__poll__hyphen__tax(R_0036_0004__THE_R_0036_0005__POLL__HYPHEN__TAX)
      & r_0036_0002__had_r_0036_0003__invented(R_0036_0002__HAD_R_0036_0003__INVENTED)
      & has_arg1(R_0036_0002__HAD_R_0036_0003__INVENTED,R_0036_0004__THE_R_0036_0005__POLL__HYPHEN__TAX)
      & has_arg0(R_0036_0002__HAD_R_0036_0003__INVENTED,R_0036_0001__THEY) ) ).