( (IP-MAT (NP-SBJ (PRO We;{we}))
          (VBP;_Dn.t_ invite;{invite})
          (NP-OB2 (PRO you;{you})
                  (PUNC ,)
                  (PRN (NP (NP-GEN (PRO;_genm_ our;{our}))
                           (NS readers;{reader}))))
          (PUNC ,)
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Tn_ write;{write})
                      (NP-OB1 (D an;{an})
                              (N article;{article})
                              (PP (P-ROLE on;{on})
                                  (PUNC :)
                                  (NP (D The;{the})
                                      (N Home;{home})
                                      (PP (P-ROLE of;{of})
                                          (NP;{FUTURE} (D the;{the})
                                                       (N Future;{future})))))))
          (PUNC .))
  (ID 18_a_fce_0100_2000_12))

arc(r_0018_0002__invite,r_0018_0001__We,arg0).
arc(r_0018_0002__invite,r_0018_0003__you,arg2).
arc(r_0018_0002__invite,r_0018_0009__write,arg1).
arc(r_0018_0006__readers,r_0018_0001__We,gen).
arc(r_0018_0009__write,r_0018_0003__you,arg0).
arc(r_0018_0009__write,r_0018_0010__an_r_0018_0011__article,arg1).
arc(r_0018_0010__an_r_0018_0011__article,r_0018_0014__The_r_0018_0015__Home,r_0018_0012__on).
arc(r_0018_0014__The_r_0018_0015__Home,r_0018_0017__the_r_0018_0018__Future,r_0018_0016__of).
arc(z_0018_5003,r_0018_0003__you,arg0).
arc(z_0018_5003,r_0018_0006__readers,prd).

fof(formula,axiom,
    ? [R_0018_0001__WE,R_0018_0003__YOU,R_0018_0017__THE_R_0018_0018__FUTURE,R_0018_0014__THE_R_0018_0015__HOME,R_0018_0010__AN_R_0018_0011__ARTICLE,R_0018_0009__WRITE,R_0018_0002__INVITE,R_0018_0006__READERS,Z_0018_5003] :
      ( r_0018_0001__We(R_0018_0001__WE)
      & r_0018_0003__you(R_0018_0003__YOU)
      & r_0018_0017__the_r_0018_0018__Future(R_0018_0017__THE_R_0018_0018__FUTURE)
      & z_0018_5003(Z_0018_5003)
      & has_prd(Z_0018_5003,R_0018_0006__READERS)
      & r_0018_0006__readers(R_0018_0006__READERS)
      & has_gen(R_0018_0006__READERS,R_0018_0001__WE)
      & has_arg0(Z_0018_5003,R_0018_0003__YOU)
      & r_0018_0002__invite(R_0018_0002__INVITE)
      & has_arg1(R_0018_0002__INVITE,R_0018_0009__WRITE)
      & r_0018_0009__write(R_0018_0009__WRITE)
      & has_arg1(R_0018_0009__WRITE,R_0018_0010__AN_R_0018_0011__ARTICLE)
      & r_0018_0010__an_r_0018_0011__article(R_0018_0010__AN_R_0018_0011__ARTICLE)
      & has_r_0018_0012__on(R_0018_0010__AN_R_0018_0011__ARTICLE,R_0018_0014__THE_R_0018_0015__HOME)
      & r_0018_0014__The_r_0018_0015__Home(R_0018_0014__THE_R_0018_0015__HOME)
      & has_r_0018_0016__of(R_0018_0014__THE_R_0018_0015__HOME,R_0018_0017__THE_R_0018_0018__FUTURE)
      & has_arg0(R_0018_0009__WRITE,R_0018_0003__YOU)
      & has_arg2(R_0018_0002__INVITE,R_0018_0003__YOU)
      & has_arg0(R_0018_0002__INVITE,R_0018_0001__WE) ) ).