Context                Previous, Next                Top


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

%3 r_0079_0003__will will r_0079_0001__Soon Soon r_0079_0003__will->r_0079_0001__Soon [nim] r_0079_0004__go go r_0079_0003__will->r_0079_0004__go [scope] r_0079_0005__to_r_0079_0006__sleep to sleep r_0079_0004__go->r_0079_0005__to_r_0079_0006__sleep [scope] r_0079_0002__they they r_0079_0005__to_r_0079_0006__sleep->r_0079_0002__they [arg0] r_0079_0008__the_r_0079_0009__tomb the tomb r_0079_0005__to_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] 
arc(r_0079_0003__will, r_0079_0001__Soon, nim2).
arc(r_0079_0003__will, r_0079_0004__go, scope).
arc(r_0079_0004__go, r_0079_0005__to_r_0079_0006__sleep, scope).
arc(r_0079_0005__to_r_0079_0006__sleep, r_0079_0002__they, arg0).
arc(r_0079_0005__to_r_0079_0006__sleep, r_0079_0008__the_r_0079_0009__tomb, r_0079_0007__in_nim21).
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, attrib32).


%3 r_0079_0003__will_r_0079_0004__go_r_0079_0005__to_r_0079_0006__sleep will go to sleep r_0079_0001__Soon Soon r_0079_0003__will_r_0079_0004__go_r_0079_0005__to_r_0079_0006__sleep->r_0079_0001__Soon [nim] r_0079_0002__they they r_0079_0003__will_r_0079_0004__go_r_0079_0005__to_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_0005__to_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_79_3_WILL_GO_TO_SLEEP,R_79_2_THEY,R_79_1_SOON,R_79_8_THE_TOMB,R_79_11_THE_KING,R_79_12_GREAT] :
      ( they(R_79_2_THEY)
      & soon(R_79_1_SOON)
      & great(R_79_12_GREAT)
      & will_go_to_sleep(R_79_3_WILL_GO_TO_SLEEP,R_79_2_THEY)
      & nim2(R_79_3_WILL_GO_TO_SLEEP,R_79_1_SOON)
      & in_nim21(R_79_3_WILL_GO_TO_SLEEP,R_79_8_THE_TOMB)
      & the_tomb(R_79_8_THE_TOMB)
      & of(R_79_8_THE_TOMB,R_79_11_THE_KING)
      & the_King(R_79_11_THE_KING)
      & attrib32(R_79_11_THE_KING,R_79_12_GREAT) ) ).


n79_a_wilde_1_1888 n79_a_wilde_1_1888_4 Soon n79_a_wilde_1_1888_7 they n79_a_wilde_1_1888_9 will n79_a_wilde_1_1888_12 go n79_a_wilde_1_1888_15 to n79_a_wilde_1_1888_17 sleep n79_a_wilde_1_1888_20 in n79_a_wilde_1_1888_23 the n79_a_wilde_1_1888_25 tomb n79_a_wilde_1_1888_28 of n79_a_wilde_1_1888_31 the n79_a_wilde_1_1888_34 great n79_a_wilde_1_1888_36 King n79_a_wilde_1_1888_38 . n79_a_wilde_1_1888_1 IP-MAT n79_a_wilde_1_1888_2 ADVP-NIM n79_a_wilde_1_1888_1->n79_a_wilde_1_1888_2 n79_a_wilde_1_1888_5 NP-SBJ n79_a_wilde_1_1888_1->n79_a_wilde_1_1888_5 n79_a_wilde_1_1888_8 MD;_cat_Vi_ n79_a_wilde_1_1888_1->n79_a_wilde_1_1888_8 n79_a_wilde_1_1888_10 IP-INF-CAT n79_a_wilde_1_1888_1->n79_a_wilde_1_1888_10 n79_a_wilde_1_1888_37 PUNC n79_a_wilde_1_1888_1->n79_a_wilde_1_1888_37 n79_a_wilde_1_1888_3 ADV n79_a_wilde_1_1888_2->n79_a_wilde_1_1888_3 n79_a_wilde_1_1888_3->n79_a_wilde_1_1888_4 n79_a_wilde_1_1888_6 PRO n79_a_wilde_1_1888_5->n79_a_wilde_1_1888_6 n79_a_wilde_1_1888_6->n79_a_wilde_1_1888_7 n79_a_wilde_1_1888_8->n79_a_wilde_1_1888_9 n79_a_wilde_1_1888_11 VB;_cat_Vt_ n79_a_wilde_1_1888_10->n79_a_wilde_1_1888_11 n79_a_wilde_1_1888_13 IP-INF-CAT n79_a_wilde_1_1888_10->n79_a_wilde_1_1888_13 n79_a_wilde_1_1888_11->n79_a_wilde_1_1888_12 n79_a_wilde_1_1888_14 TO n79_a_wilde_1_1888_13->n79_a_wilde_1_1888_14 n79_a_wilde_1_1888_16 VB;_I_ n79_a_wilde_1_1888_13->n79_a_wilde_1_1888_16 n79_a_wilde_1_1888_18 PP-NIM n79_a_wilde_1_1888_13->n79_a_wilde_1_1888_18 n79_a_wilde_1_1888_14->n79_a_wilde_1_1888_15 n79_a_wilde_1_1888_16->n79_a_wilde_1_1888_17 n79_a_wilde_1_1888_19 P-ROLE n79_a_wilde_1_1888_18->n79_a_wilde_1_1888_19 n79_a_wilde_1_1888_21 NP n79_a_wilde_1_1888_18->n79_a_wilde_1_1888_21 n79_a_wilde_1_1888_19->n79_a_wilde_1_1888_20 n79_a_wilde_1_1888_22 D n79_a_wilde_1_1888_21->n79_a_wilde_1_1888_22 n79_a_wilde_1_1888_24 N n79_a_wilde_1_1888_21->n79_a_wilde_1_1888_24 n79_a_wilde_1_1888_26 PP n79_a_wilde_1_1888_21->n79_a_wilde_1_1888_26 n79_a_wilde_1_1888_22->n79_a_wilde_1_1888_23 n79_a_wilde_1_1888_24->n79_a_wilde_1_1888_25 n79_a_wilde_1_1888_27 P-ROLE n79_a_wilde_1_1888_26->n79_a_wilde_1_1888_27 n79_a_wilde_1_1888_29 NP n79_a_wilde_1_1888_26->n79_a_wilde_1_1888_29 n79_a_wilde_1_1888_27->n79_a_wilde_1_1888_28 n79_a_wilde_1_1888_30 D n79_a_wilde_1_1888_29->n79_a_wilde_1_1888_30 n79_a_wilde_1_1888_32 ADJP n79_a_wilde_1_1888_29->n79_a_wilde_1_1888_32 n79_a_wilde_1_1888_35 N n79_a_wilde_1_1888_29->n79_a_wilde_1_1888_35 n79_a_wilde_1_1888_30->n79_a_wilde_1_1888_31 n79_a_wilde_1_1888_33 ADJ n79_a_wilde_1_1888_32->n79_a_wilde_1_1888_33 n79_a_wilde_1_1888_33->n79_a_wilde_1_1888_34 n79_a_wilde_1_1888_35->n79_a_wilde_1_1888_36 n79_a_wilde_1_1888_37->n79_a_wilde_1_1888_38 
( (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))