Context                Previous, Next                Top


185_a_wilde_1_1888
Then the Swallow came back to the Prince.

%3 r_0185_0004__came_r_0185_0005__back came back r_0185_0001__Then Then r_0185_0004__came_r_0185_0005__back->r_0185_0001__Then [nim] r_0185_0002__the_r_0185_0003__Swallow the Swallow r_0185_0004__came_r_0185_0005__back->r_0185_0002__the_r_0185_0003__Swallow [arg0] r_0185_0007__the_r_0185_0008__Prince the Prince r_0185_0004__came_r_0185_0005__back->r_0185_0007__the_r_0185_0008__Prince to [nim] 
arc(r_0185_0004__came_r_0185_0005__back, r_0185_0001__Then, nim2).
arc(r_0185_0004__came_r_0185_0005__back, r_0185_0002__the_r_0185_0003__Swallow, arg0).
arc(r_0185_0004__came_r_0185_0005__back, r_0185_0007__the_r_0185_0008__Prince, r_0185_0006__to_nim17).


%3 r_0185_0004__came_r_0185_0005__back came back r_0185_0001__Then Then r_0185_0004__came_r_0185_0005__back->r_0185_0001__Then [nim] r_0185_0002__the_r_0185_0003__Swallow the Swallow r_0185_0004__came_r_0185_0005__back->r_0185_0002__the_r_0185_0003__Swallow [arg0] r_0185_0007__the_r_0185_0008__Prince the Prince r_0185_0004__came_r_0185_0005__back->r_0185_0007__the_r_0185_0008__Prince to [nim] 
fof(formula,axiom,
    ? [R_185_4_CAME_BACK,R_185_2_THE_SWALLOW,R_185_1_THEN,R_185_7_THE_PRINCE] :
      ( the_Swallow(R_185_2_THE_SWALLOW)
      & then(R_185_1_THEN)
      & the_Prince(R_185_7_THE_PRINCE)
      & came_back(R_185_4_CAME_BACK,R_185_2_THE_SWALLOW)
      & nim2(R_185_4_CAME_BACK,R_185_1_THEN)
      & to_nim17(R_185_4_CAME_BACK,R_185_7_THE_PRINCE) ) ).


n185_a_wilde_1_1888 n185_a_wilde_1_1888_4 Then n185_a_wilde_1_1888_7 the n185_a_wilde_1_1888_9 Swallow n185_a_wilde_1_1888_11 came n185_a_wilde_1_1888_13 back n185_a_wilde_1_1888_16 to n185_a_wilde_1_1888_19 the n185_a_wilde_1_1888_21 Prince n185_a_wilde_1_1888_23 . n185_a_wilde_1_1888_1 IP-MAT n185_a_wilde_1_1888_2 ADVP-NIM n185_a_wilde_1_1888_1->n185_a_wilde_1_1888_2 n185_a_wilde_1_1888_5 NP-SBJ n185_a_wilde_1_1888_1->n185_a_wilde_1_1888_5 n185_a_wilde_1_1888_10 VBD;__ n185_a_wilde_1_1888_1->n185_a_wilde_1_1888_10 n185_a_wilde_1_1888_12 RP n185_a_wilde_1_1888_1->n185_a_wilde_1_1888_12 n185_a_wilde_1_1888_14 PP-NIM n185_a_wilde_1_1888_1->n185_a_wilde_1_1888_14 n185_a_wilde_1_1888_22 PUNC n185_a_wilde_1_1888_1->n185_a_wilde_1_1888_22 n185_a_wilde_1_1888_3 ADV n185_a_wilde_1_1888_2->n185_a_wilde_1_1888_3 n185_a_wilde_1_1888_3->n185_a_wilde_1_1888_4 n185_a_wilde_1_1888_6 D n185_a_wilde_1_1888_5->n185_a_wilde_1_1888_6 n185_a_wilde_1_1888_8 N n185_a_wilde_1_1888_5->n185_a_wilde_1_1888_8 n185_a_wilde_1_1888_6->n185_a_wilde_1_1888_7 n185_a_wilde_1_1888_8->n185_a_wilde_1_1888_9 n185_a_wilde_1_1888_10->n185_a_wilde_1_1888_11 n185_a_wilde_1_1888_12->n185_a_wilde_1_1888_13 n185_a_wilde_1_1888_15 P-ROLE n185_a_wilde_1_1888_14->n185_a_wilde_1_1888_15 n185_a_wilde_1_1888_17 NP n185_a_wilde_1_1888_14->n185_a_wilde_1_1888_17 n185_a_wilde_1_1888_15->n185_a_wilde_1_1888_16 n185_a_wilde_1_1888_18 D n185_a_wilde_1_1888_17->n185_a_wilde_1_1888_18 n185_a_wilde_1_1888_20 N n185_a_wilde_1_1888_17->n185_a_wilde_1_1888_20 n185_a_wilde_1_1888_18->n185_a_wilde_1_1888_19 n185_a_wilde_1_1888_20->n185_a_wilde_1_1888_21 n185_a_wilde_1_1888_22->n185_a_wilde_1_1888_23 
( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (NP-SBJ;{SWALLOW} (D the;{the})
                            (N Swallow;{swallow}))
          (VBD;__ came;{come})
          (RP back;{back})
          (PP-NIM (P-ROLE to;{to})
                  (NP (D the;{the})
                      (N Prince;{prince})))
          (PUNC .))
  (ID 185_a_wilde_1_1888))