79_a_wilde_1_1888
Soon they will go to sleep in the tomb of the great King.

n79_a_wilde_1_1888 n79_a_wilde_1_1888__1_1_1_1 Soon n79_a_wilde_1_1888__1_2_1_1 they n79_a_wilde_1_1888__1_3_1 will n79_a_wilde_1_1888__1_4_1_1 go n79_a_wilde_1_1888__1_4_2_1_1 to n79_a_wilde_1_1888__1_4_2_2_1 sleep n79_a_wilde_1_1888__1_4_2_3_1_1 in n79_a_wilde_1_1888__1_4_2_3_2_1_1 the n79_a_wilde_1_1888__1_4_2_3_2_2_1 tomb n79_a_wilde_1_1888__1_4_2_3_2_3_1_1 of n79_a_wilde_1_1888__1_4_2_3_2_3_2_1_1 the n79_a_wilde_1_1888__1_4_2_3_2_3_2_2_1_1 great n79_a_wilde_1_1888__1_4_2_3_2_3_2_3_1 King n79_a_wilde_1_1888__1_5_1 . n79_a_wilde_1_1888__1 IP-MAT n79_a_wilde_1_1888__1_1 ADVP-NIM n79_a_wilde_1_1888__1->n79_a_wilde_1_1888__1_1 n79_a_wilde_1_1888__1_2 NP-SBJ n79_a_wilde_1_1888__1->n79_a_wilde_1_1888__1_2 n79_a_wilde_1_1888__1_3 MD;_cat_Vi_ n79_a_wilde_1_1888__1->n79_a_wilde_1_1888__1_3 n79_a_wilde_1_1888__1_4 IP-INF-CAT n79_a_wilde_1_1888__1->n79_a_wilde_1_1888__1_4 n79_a_wilde_1_1888__1_5 PUNC n79_a_wilde_1_1888__1->n79_a_wilde_1_1888__1_5 n79_a_wilde_1_1888__1_1_1 ADV n79_a_wilde_1_1888__1_1->n79_a_wilde_1_1888__1_1_1 n79_a_wilde_1_1888__1_1_1->n79_a_wilde_1_1888__1_1_1_1 n79_a_wilde_1_1888__1_2_1 PRO n79_a_wilde_1_1888__1_2->n79_a_wilde_1_1888__1_2_1 n79_a_wilde_1_1888__1_2_1->n79_a_wilde_1_1888__1_2_1_1 n79_a_wilde_1_1888__1_3->n79_a_wilde_1_1888__1_3_1 n79_a_wilde_1_1888__1_4_1 VB;_cat_Vt_ n79_a_wilde_1_1888__1_4->n79_a_wilde_1_1888__1_4_1 n79_a_wilde_1_1888__1_4_2 IP-INF-CAT n79_a_wilde_1_1888__1_4->n79_a_wilde_1_1888__1_4_2 n79_a_wilde_1_1888__1_4_1->n79_a_wilde_1_1888__1_4_1_1 n79_a_wilde_1_1888__1_4_2_1 TO n79_a_wilde_1_1888__1_4_2->n79_a_wilde_1_1888__1_4_2_1 n79_a_wilde_1_1888__1_4_2_2 VB;_I_ n79_a_wilde_1_1888__1_4_2->n79_a_wilde_1_1888__1_4_2_2 n79_a_wilde_1_1888__1_4_2_3 PP-NIM n79_a_wilde_1_1888__1_4_2->n79_a_wilde_1_1888__1_4_2_3 n79_a_wilde_1_1888__1_4_2_1->n79_a_wilde_1_1888__1_4_2_1_1 n79_a_wilde_1_1888__1_4_2_2->n79_a_wilde_1_1888__1_4_2_2_1 n79_a_wilde_1_1888__1_4_2_3_1 P-ROLE n79_a_wilde_1_1888__1_4_2_3->n79_a_wilde_1_1888__1_4_2_3_1 n79_a_wilde_1_1888__1_4_2_3_2 NP n79_a_wilde_1_1888__1_4_2_3->n79_a_wilde_1_1888__1_4_2_3_2 n79_a_wilde_1_1888__1_4_2_3_1->n79_a_wilde_1_1888__1_4_2_3_1_1 n79_a_wilde_1_1888__1_4_2_3_2_1 D n79_a_wilde_1_1888__1_4_2_3_2->n79_a_wilde_1_1888__1_4_2_3_2_1 n79_a_wilde_1_1888__1_4_2_3_2_2 N n79_a_wilde_1_1888__1_4_2_3_2->n79_a_wilde_1_1888__1_4_2_3_2_2 n79_a_wilde_1_1888__1_4_2_3_2_3 PP n79_a_wilde_1_1888__1_4_2_3_2->n79_a_wilde_1_1888__1_4_2_3_2_3 n79_a_wilde_1_1888__1_4_2_3_2_1->n79_a_wilde_1_1888__1_4_2_3_2_1_1 n79_a_wilde_1_1888__1_4_2_3_2_2->n79_a_wilde_1_1888__1_4_2_3_2_2_1 n79_a_wilde_1_1888__1_4_2_3_2_3_1 P-ROLE n79_a_wilde_1_1888__1_4_2_3_2_3->n79_a_wilde_1_1888__1_4_2_3_2_3_1 n79_a_wilde_1_1888__1_4_2_3_2_3_2 NP n79_a_wilde_1_1888__1_4_2_3_2_3->n79_a_wilde_1_1888__1_4_2_3_2_3_2 n79_a_wilde_1_1888__1_4_2_3_2_3_1->n79_a_wilde_1_1888__1_4_2_3_2_3_1_1 n79_a_wilde_1_1888__1_4_2_3_2_3_2_1 D n79_a_wilde_1_1888__1_4_2_3_2_3_2->n79_a_wilde_1_1888__1_4_2_3_2_3_2_1 n79_a_wilde_1_1888__1_4_2_3_2_3_2_2 ADJP n79_a_wilde_1_1888__1_4_2_3_2_3_2->n79_a_wilde_1_1888__1_4_2_3_2_3_2_2 n79_a_wilde_1_1888__1_4_2_3_2_3_2_3 N n79_a_wilde_1_1888__1_4_2_3_2_3_2->n79_a_wilde_1_1888__1_4_2_3_2_3_2_3 n79_a_wilde_1_1888__1_4_2_3_2_3_2_1->n79_a_wilde_1_1888__1_4_2_3_2_3_2_1_1 n79_a_wilde_1_1888__1_4_2_3_2_3_2_2_1 ADJ n79_a_wilde_1_1888__1_4_2_3_2_3_2_2->n79_a_wilde_1_1888__1_4_2_3_2_3_2_2_1 n79_a_wilde_1_1888__1_4_2_3_2_3_2_2_1->n79_a_wilde_1_1888__1_4_2_3_2_3_2_2_1_1 n79_a_wilde_1_1888__1_4_2_3_2_3_2_3->n79_a_wilde_1_1888__1_4_2_3_2_3_2_3_1 n79_a_wilde_1_1888__1_5->n79_a_wilde_1_1888__1_5_1
( (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))



%3 r_0079_0011__the_r_0079_0013__King the King r_0079_0012__great great r_0079_0011__the_r_0079_0013__King->r_0079_0012__great [attrib] r_0079_0008__the_r_0079_0009__tomb the tomb r_0079_0008__the_r_0079_0009__tomb->r_0079_0011__the_r_0079_0013__King of r_0079_0006__sleep sleep r_0079_0006__sleep->r_0079_0008__the_r_0079_0009__tomb in [nim] r_0079_0002__they they r_0079_0006__sleep->r_0079_0002__they [arg0] r_0079_0004__go go r_0079_0004__go->r_0079_0006__sleep [scope] r_0079_0003__will will r_0079_0003__will->r_0079_0004__go [scope] r_0079_0001__Soon Soon r_0079_0003__will->r_0079_0001__Soon [nim]
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).



%3 r_0079_0003__will_r_0079_0004__go_r_0079_0006__sleep will go sleep r_0079_0001__Soon Soon r_0079_0003__will_r_0079_0004__go_r_0079_0006__sleep->r_0079_0001__Soon [nim] r_0079_0002__they they r_0079_0003__will_r_0079_0004__go_r_0079_0006__sleep->r_0079_0002__they [arg0] r_0079_0008__the_r_0079_0009__tomb the tomb r_0079_0003__will_r_0079_0004__go_r_0079_0006__sleep->r_0079_0008__the_r_0079_0009__tomb in [nim] r_0079_0011__the_r_0079_0013__King the King r_0079_0008__the_r_0079_0009__tomb->r_0079_0011__the_r_0079_0013__King of r_0079_0012__great great 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) ) ).