18_a_fce_0100_2000_12
We invite you, our readers, to write an article on: The Home of the Future.
( (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) ) ).