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_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] 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_0001__Then Then r_0185_0004__came_r_0185_0005__back->r_0185_0001__Then [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__1_1_1_1 Then n185_a_wilde_1_1888__1_2_1_1 the n185_a_wilde_1_1888__1_2_2_1 Swallow n185_a_wilde_1_1888__1_3_1 came n185_a_wilde_1_1888__1_4_1 back n185_a_wilde_1_1888__1_5_1_1 to n185_a_wilde_1_1888__1_5_2_1_1 the n185_a_wilde_1_1888__1_5_2_2_1 Prince n185_a_wilde_1_1888__1_6_1 . n185_a_wilde_1_1888__1 IP-MAT n185_a_wilde_1_1888__1_1 ADVP-NIM n185_a_wilde_1_1888__1->n185_a_wilde_1_1888__1_1 n185_a_wilde_1_1888__1_2 NP-SBJ n185_a_wilde_1_1888__1->n185_a_wilde_1_1888__1_2 n185_a_wilde_1_1888__1_3 VBD;__ n185_a_wilde_1_1888__1->n185_a_wilde_1_1888__1_3 n185_a_wilde_1_1888__1_4 RP n185_a_wilde_1_1888__1->n185_a_wilde_1_1888__1_4 n185_a_wilde_1_1888__1_5 PP-NIM n185_a_wilde_1_1888__1->n185_a_wilde_1_1888__1_5 n185_a_wilde_1_1888__1_6 PUNC n185_a_wilde_1_1888__1->n185_a_wilde_1_1888__1_6 n185_a_wilde_1_1888__1_1_1 ADV n185_a_wilde_1_1888__1_1->n185_a_wilde_1_1888__1_1_1 n185_a_wilde_1_1888__1_1_1->n185_a_wilde_1_1888__1_1_1_1 n185_a_wilde_1_1888__1_2_1 D n185_a_wilde_1_1888__1_2->n185_a_wilde_1_1888__1_2_1 n185_a_wilde_1_1888__1_2_2 N n185_a_wilde_1_1888__1_2->n185_a_wilde_1_1888__1_2_2 n185_a_wilde_1_1888__1_2_1->n185_a_wilde_1_1888__1_2_1_1 n185_a_wilde_1_1888__1_2_2->n185_a_wilde_1_1888__1_2_2_1 n185_a_wilde_1_1888__1_3->n185_a_wilde_1_1888__1_3_1 n185_a_wilde_1_1888__1_4->n185_a_wilde_1_1888__1_4_1 n185_a_wilde_1_1888__1_5_1 P-ROLE n185_a_wilde_1_1888__1_5->n185_a_wilde_1_1888__1_5_1 n185_a_wilde_1_1888__1_5_2 NP n185_a_wilde_1_1888__1_5->n185_a_wilde_1_1888__1_5_2 n185_a_wilde_1_1888__1_5_1->n185_a_wilde_1_1888__1_5_1_1 n185_a_wilde_1_1888__1_5_2_1 D n185_a_wilde_1_1888__1_5_2->n185_a_wilde_1_1888__1_5_2_1 n185_a_wilde_1_1888__1_5_2_2 N n185_a_wilde_1_1888__1_5_2->n185_a_wilde_1_1888__1_5_2_2 n185_a_wilde_1_1888__1_5_2_1->n185_a_wilde_1_1888__1_5_2_1_1 n185_a_wilde_1_1888__1_5_2_2->n185_a_wilde_1_1888__1_5_2_2_1 n185_a_wilde_1_1888__1_6->n185_a_wilde_1_1888__1_6_1 
( (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))