79_a_wilde_1_1888
Soon they will go to sleep in the tomb of the great King.
( (IP-MAT (ADVP-NIM (ADV Soon;{soon}))
(NP-SBJ;{FRIENDS} (PRO they;{they}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (VB;_cat_Vt_ go;{go})
(IP-INF-CAT (TO to;{to})
(VB;_I_ sleep;{sleep})
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(N tomb;{tomb})
(PP (P-ROLE of;{of})
(NP;{KING} (D the;{the})
(ADJP (ADJ great;{great}))
(N King;{king})))))))
(PUNC .))
(ID 79_a_wilde_1_1888))
arc(r_0079_0003__will,r_0079_0001__Soon,nim).
arc(r_0079_0003__will,r_0079_0004__go,scope).
arc(r_0079_0004__go,r_0079_0006__sleep,scope).
arc(r_0079_0006__sleep,r_0079_0002__they,arg0).
arc(r_0079_0006__sleep,r_0079_0008__the_r_0079_0009__tomb,r_0079_0007__in__nim).
arc(r_0079_0008__the_r_0079_0009__tomb,r_0079_0011__the_r_0079_0013__King,r_0079_0010__of).
arc(r_0079_0011__the_r_0079_0013__King,r_0079_0012__great,attrib).
fof(formula,axiom,
? [R_0079_0001__SOON,R_0079_0002__THEY,R_0079_0012__GREAT,R_0079_0011__THE_R_0079_0013__KING,R_0079_0008__THE_R_0079_0009__TOMB,R_0079_0003__WILL_R_0079_0004__GO_R_0079_0006__SLEEP] :
( r_0079_0001__Soon(R_0079_0001__SOON)
& r_0079_0002__they(R_0079_0002__THEY)
& r_0079_0012__great(R_0079_0012__GREAT)
& r_0079_0003__will_r_0079_0004__go_r_0079_0006__sleep(R_0079_0003__WILL_R_0079_0004__GO_R_0079_0006__SLEEP)
& has_r_0079_0007__in__nim(R_0079_0003__WILL_R_0079_0004__GO_R_0079_0006__SLEEP,R_0079_0008__THE_R_0079_0009__TOMB)
& r_0079_0008__the_r_0079_0009__tomb(R_0079_0008__THE_R_0079_0009__TOMB)
& has_r_0079_0010__of(R_0079_0008__THE_R_0079_0009__TOMB,R_0079_0011__THE_R_0079_0013__KING)
& r_0079_0011__the_r_0079_0013__King(R_0079_0011__THE_R_0079_0013__KING)
& has_attrib(R_0079_0011__THE_R_0079_0013__KING,R_0079_0012__GREAT)
& has_arg0(R_0079_0003__WILL_R_0079_0004__GO_R_0079_0006__SLEEP,R_0079_0002__THEY)
& has_nim(R_0079_0003__WILL_R_0079_0004__GO_R_0079_0006__SLEEP,R_0079_0001__SOON) ) ).