Context                Previous, Next                Top


575_a_dick_1952
Then they started back to the ship.

n575_a_dick_1952 n575_a_dick_1952__1_1_1_1 Then n575_a_dick_1952__1_2_1_1 they n575_a_dick_1952__1_3_1 started n575_a_dick_1952__1_4_1_1 back n575_a_dick_1952__1_4_2_1_1 to n575_a_dick_1952__1_4_2_2_1_1 the n575_a_dick_1952__1_4_2_2_2_1 ship n575_a_dick_1952__1_5_1 . n575_a_dick_1952__1 IP-MAT n575_a_dick_1952__1_1 ADVP-NIM n575_a_dick_1952__1->n575_a_dick_1952__1_1 n575_a_dick_1952__1_2 NP-SBJ n575_a_dick_1952__1->n575_a_dick_1952__1_2 n575_a_dick_1952__1_3 VBD;_Ip_ n575_a_dick_1952__1->n575_a_dick_1952__1_3 n575_a_dick_1952__1_4 ADVP-CLR n575_a_dick_1952__1->n575_a_dick_1952__1_4 n575_a_dick_1952__1_5 PUNC n575_a_dick_1952__1->n575_a_dick_1952__1_5 n575_a_dick_1952__1_1_1 ADV n575_a_dick_1952__1_1->n575_a_dick_1952__1_1_1 n575_a_dick_1952__1_1_1->n575_a_dick_1952__1_1_1_1 n575_a_dick_1952__1_2_1 PRO n575_a_dick_1952__1_2->n575_a_dick_1952__1_2_1 n575_a_dick_1952__1_2_1->n575_a_dick_1952__1_2_1_1 n575_a_dick_1952__1_3->n575_a_dick_1952__1_3_1 n575_a_dick_1952__1_4_1 ADV n575_a_dick_1952__1_4->n575_a_dick_1952__1_4_1 n575_a_dick_1952__1_4_2 PP n575_a_dick_1952__1_4->n575_a_dick_1952__1_4_2 n575_a_dick_1952__1_4_1->n575_a_dick_1952__1_4_1_1 n575_a_dick_1952__1_4_2_1 P-ROLE n575_a_dick_1952__1_4_2->n575_a_dick_1952__1_4_2_1 n575_a_dick_1952__1_4_2_2 NP n575_a_dick_1952__1_4_2->n575_a_dick_1952__1_4_2_2 n575_a_dick_1952__1_4_2_1->n575_a_dick_1952__1_4_2_1_1 n575_a_dick_1952__1_4_2_2_1 D n575_a_dick_1952__1_4_2_2->n575_a_dick_1952__1_4_2_2_1 n575_a_dick_1952__1_4_2_2_2 N n575_a_dick_1952__1_4_2_2->n575_a_dick_1952__1_4_2_2_2 n575_a_dick_1952__1_4_2_2_1->n575_a_dick_1952__1_4_2_2_1_1 n575_a_dick_1952__1_4_2_2_2->n575_a_dick_1952__1_4_2_2_2_1 n575_a_dick_1952__1_5->n575_a_dick_1952__1_5_1 
( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (NP-SBJ;{TRESPASSERS} (PRO they;{they}))
          (VBD;_Ip_ started;{start[back]})
          (ADVP-CLR (ADV back;{back})
                    (PP (P-ROLE to;{to})
                        (NP (D the;{the})
                            (N ship;{ship}))))
          (PUNC .))
  (ID 575_a_dick_1952))


%3 r_0575_0004__back back r_0575_0006__the_r_0575_0007__ship the ship r_0575_0004__back->r_0575_0006__the_r_0575_0007__ship to r_0575_0003__started started r_0575_0003__started->r_0575_0004__back [clr] r_0575_0002__they they r_0575_0003__started->r_0575_0002__they [arg0] r_0575_0001__Then Then r_0575_0003__started->r_0575_0001__Then [nim] 
arc(r_0575_0003__started,r_0575_0001__Then,nim).
arc(r_0575_0003__started,r_0575_0002__they,arg0).
arc(r_0575_0003__started,r_0575_0004__back,clr).
arc(r_0575_0004__back,r_0575_0006__the_r_0575_0007__ship,r_0575_0005__to).


%3 r_0575_0003__started started r_0575_0001__Then Then r_0575_0003__started->r_0575_0001__Then [nim] r_0575_0002__they they r_0575_0003__started->r_0575_0002__they [arg0] r_0575_0004__back back r_0575_0003__started->r_0575_0004__back [clr] r_0575_0006__the_r_0575_0007__ship the ship r_0575_0004__back->r_0575_0006__the_r_0575_0007__ship to 
fof(formula,axiom,
    ? [R_0575_0001__THEN,R_0575_0002__THEY,R_0575_0006__THE_R_0575_0007__SHIP,R_0575_0004__BACK,R_0575_0003__STARTED] :
      ( r_0575_0001__Then(R_0575_0001__THEN)
      & r_0575_0002__they(R_0575_0002__THEY)
      & r_0575_0006__the_r_0575_0007__ship(R_0575_0006__THE_R_0575_0007__SHIP)
      & r_0575_0003__started(R_0575_0003__STARTED)
      & has_clr(R_0575_0003__STARTED,R_0575_0004__BACK)
      & r_0575_0004__back(R_0575_0004__BACK)
      & has_r_0575_0005__to(R_0575_0004__BACK,R_0575_0006__THE_R_0575_0007__SHIP)
      & has_arg0(R_0575_0003__STARTED,R_0575_0002__THEY)
      & has_nim(R_0575_0003__STARTED,R_0575_0001__THEN) ) ).