Context                Previous, Next                Top


575_a_dick_1952
Then they started back to the ship.

%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 
arc(r_0575_0003__started, r_0575_0001__Then, nim2).
arc(r_0575_0003__started, r_0575_0002__they, arg0).
arc(r_0575_0003__started, r_0575_0004__back, clr10).
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_575_3_STARTED,R_575_2_THEY,R_575_4_BACK,R_575_6_THE_SHIP,R_575_1_THEN] :
      ( they(R_575_2_THEY)
      & the_ship(R_575_6_THE_SHIP)
      & then(R_575_1_THEN)
      & started(R_575_3_STARTED,R_575_2_THEY)
      & clr10(R_575_3_STARTED,R_575_4_BACK)
      & back(R_575_4_BACK)
      & to(R_575_4_BACK,R_575_6_THE_SHIP)
      & nim2(R_575_3_STARTED,R_575_1_THEN) ) ).


n575_a_dick_1952 n575_a_dick_1952_4 Then n575_a_dick_1952_7 they n575_a_dick_1952_9 started n575_a_dick_1952_12 back n575_a_dick_1952_15 to n575_a_dick_1952_18 the n575_a_dick_1952_20 ship n575_a_dick_1952_22 . n575_a_dick_1952_1 IP-MAT n575_a_dick_1952_2 ADVP-NIM n575_a_dick_1952_1->n575_a_dick_1952_2 n575_a_dick_1952_5 NP-SBJ n575_a_dick_1952_1->n575_a_dick_1952_5 n575_a_dick_1952_8 VBD;_Ip_ n575_a_dick_1952_1->n575_a_dick_1952_8 n575_a_dick_1952_10 ADVP-CLR n575_a_dick_1952_1->n575_a_dick_1952_10 n575_a_dick_1952_21 PUNC n575_a_dick_1952_1->n575_a_dick_1952_21 n575_a_dick_1952_3 ADV n575_a_dick_1952_2->n575_a_dick_1952_3 n575_a_dick_1952_3->n575_a_dick_1952_4 n575_a_dick_1952_6 PRO n575_a_dick_1952_5->n575_a_dick_1952_6 n575_a_dick_1952_6->n575_a_dick_1952_7 n575_a_dick_1952_8->n575_a_dick_1952_9 n575_a_dick_1952_11 ADV n575_a_dick_1952_10->n575_a_dick_1952_11 n575_a_dick_1952_13 PP n575_a_dick_1952_10->n575_a_dick_1952_13 n575_a_dick_1952_11->n575_a_dick_1952_12 n575_a_dick_1952_14 P-ROLE n575_a_dick_1952_13->n575_a_dick_1952_14 n575_a_dick_1952_16 NP n575_a_dick_1952_13->n575_a_dick_1952_16 n575_a_dick_1952_14->n575_a_dick_1952_15 n575_a_dick_1952_17 D n575_a_dick_1952_16->n575_a_dick_1952_17 n575_a_dick_1952_19 N n575_a_dick_1952_16->n575_a_dick_1952_19 n575_a_dick_1952_17->n575_a_dick_1952_18 n575_a_dick_1952_19->n575_a_dick_1952_20 n575_a_dick_1952_21->n575_a_dick_1952_22 
( (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))