Context                Previous, Next                Top


140_a_dick_1952
And meanwhile we should keep on trying to get the ship in condition for the trip back.”

%3 r_0140_0001__And_r_0140_0004__should And should r_0140_0002__meanwhile meanwhile r_0140_0001__And_r_0140_0004__should->r_0140_0002__meanwhile [nim] r_0140_0005__keep_r_0140_0006__on keep on r_0140_0001__And_r_0140_0004__should->r_0140_0005__keep_r_0140_0006__on [scope] r_0140_0007__trying trying r_0140_0005__keep_r_0140_0006__on->r_0140_0007__trying [scope] r_0140_0003__we we r_0140_0007__trying->r_0140_0003__we [arg0] r_0140_0008__to_r_0140_0009__get to get r_0140_0007__trying->r_0140_0008__to_r_0140_0009__get [clr] r_0140_0008__to_r_0140_0009__get->r_0140_0003__we [arg0] r_0140_0010__the_r_0140_0011__ship the ship r_0140_0008__to_r_0140_0009__get->r_0140_0010__the_r_0140_0011__ship [arg1] r_0140_0013__condition condition r_0140_0008__to_r_0140_0009__get->r_0140_0013__condition in [clr] r_0140_0015__the_r_0140_0016__trip the trip r_0140_0013__condition->r_0140_0015__the_r_0140_0016__trip for r_0140_0017__back back r_0140_0015__the_r_0140_0016__trip->r_0140_0017__back [qual] 
arc(r_0140_0001__And_r_0140_0004__should, r_0140_0002__meanwhile, nim4).
arc(r_0140_0001__And_r_0140_0004__should, r_0140_0005__keep_r_0140_0006__on, scope).
arc(r_0140_0005__keep_r_0140_0006__on, r_0140_0007__trying, scope).
arc(r_0140_0007__trying, r_0140_0003__we, arg0).
arc(r_0140_0007__trying, r_0140_0008__to_r_0140_0009__get, clr20).
arc(r_0140_0008__to_r_0140_0009__get, r_0140_0003__we, arg0).
arc(r_0140_0008__to_r_0140_0009__get, r_0140_0010__the_r_0140_0011__ship, arg1).
arc(r_0140_0008__to_r_0140_0009__get, r_0140_0013__condition, r_0140_0012__in_clr33).
arc(r_0140_0013__condition, r_0140_0015__the_r_0140_0016__trip, r_0140_0014__for).
arc(r_0140_0015__the_r_0140_0016__trip, r_0140_0017__back, qual44).


%3 r_0140_0015__the_r_0140_0016__trip the trip r_0140_0017__back back r_0140_0015__the_r_0140_0016__trip->r_0140_0017__back [qual] r_0140_0013__condition condition r_0140_0013__condition->r_0140_0015__the_r_0140_0016__trip for r_0140_0008__to_r_0140_0009__get to get r_0140_0008__to_r_0140_0009__get->r_0140_0013__condition in [clr] r_0140_0010__the_r_0140_0011__ship the ship r_0140_0008__to_r_0140_0009__get->r_0140_0010__the_r_0140_0011__ship [arg1] r_0140_0003__we we r_0140_0008__to_r_0140_0009__get->r_0140_0003__we [arg0] r_0140_0001__And_r_0140_0004__should_r_0140_0005__keep_r_0140_0006__on_r_0140_0007__trying And should keep on trying r_0140_0001__And_r_0140_0004__should_r_0140_0005__keep_r_0140_0006__on_r_0140_0007__trying->r_0140_0008__to_r_0140_0009__get [clr] r_0140_0001__And_r_0140_0004__should_r_0140_0005__keep_r_0140_0006__on_r_0140_0007__trying->r_0140_0003__we [arg0] r_0140_0002__meanwhile meanwhile r_0140_0001__And_r_0140_0004__should_r_0140_0005__keep_r_0140_0006__on_r_0140_0007__trying->r_0140_0002__meanwhile [nim] 
fof(formula,axiom,
    ? [R_140_1_AND_SHOULD_KEEP_ON_TRYING,R_140_8_TO_GET,R_140_3_WE,R_140_10_THE_SHIP,R_140_13_CONDITION,R_140_15_THE_TRIP,R_140_17_BACK,R_140_2_MEANWHILE] :
      ( we(R_140_3_WE)
      & the_ship(R_140_10_THE_SHIP)
      & back(R_140_17_BACK)
      & meanwhile(R_140_2_MEANWHILE)
      & and_should_keep_on_trying(R_140_1_AND_SHOULD_KEEP_ON_TRYING,R_140_3_WE)
      & clr20(R_140_1_AND_SHOULD_KEEP_ON_TRYING,R_140_8_TO_GET)
      & to_get(R_140_8_TO_GET,R_140_3_WE,R_140_10_THE_SHIP)
      & in_clr33(R_140_8_TO_GET,R_140_13_CONDITION)
      & condition(R_140_13_CONDITION)
      & for(R_140_13_CONDITION,R_140_15_THE_TRIP)
      & the_trip(R_140_15_THE_TRIP)
      & qual44(R_140_15_THE_TRIP,R_140_17_BACK)
      & nim4(R_140_1_AND_SHOULD_KEEP_ON_TRYING,R_140_2_MEANWHILE) ) ).


n140_a_dick_1952 n140_a_dick_1952__1_1_1 And n140_a_dick_1952__1_2_1_1 meanwhile n140_a_dick_1952__1_3_1_1 we n140_a_dick_1952__1_4_1 should n140_a_dick_1952__1_5_1_1 keep n140_a_dick_1952__1_5_2_1 on n140_a_dick_1952__1_5_3_1_1 trying n140_a_dick_1952__1_5_3_2_1_1 to n140_a_dick_1952__1_5_3_2_2_1 get n140_a_dick_1952__1_5_3_2_3_1_1 the n140_a_dick_1952__1_5_3_2_3_2_1 ship n140_a_dick_1952__1_5_3_2_4_1_1 in n140_a_dick_1952__1_5_3_2_4_2_1_1 condition n140_a_dick_1952__1_5_3_2_4_2_2_1_1 for n140_a_dick_1952__1_5_3_2_4_2_2_2_1_1 the n140_a_dick_1952__1_5_3_2_4_2_2_2_2_1 trip n140_a_dick_1952__1_5_3_2_4_2_2_2_3_1_1 back n140_a_dick_1952__1_6_1 . n140_a_dick_1952__1_7_1 <rdquo> n140_a_dick_1952__1 IP-MAT n140_a_dick_1952__1_1 CONJ;_cl_ n140_a_dick_1952__1->n140_a_dick_1952__1_1 n140_a_dick_1952__1_2 ADVP-NIM n140_a_dick_1952__1->n140_a_dick_1952__1_2 n140_a_dick_1952__1_3 NP-SBJ n140_a_dick_1952__1->n140_a_dick_1952__1_3 n140_a_dick_1952__1_4 MD;_cat_Vi_ n140_a_dick_1952__1->n140_a_dick_1952__1_4 n140_a_dick_1952__1_5 IP-INF-CAT n140_a_dick_1952__1->n140_a_dick_1952__1_5 n140_a_dick_1952__1_6 PUNC n140_a_dick_1952__1->n140_a_dick_1952__1_6 n140_a_dick_1952__1_7 PURQ n140_a_dick_1952__1->n140_a_dick_1952__1_7 n140_a_dick_1952__1_1->n140_a_dick_1952__1_1_1 n140_a_dick_1952__1_2_1 ADV n140_a_dick_1952__1_2->n140_a_dick_1952__1_2_1 n140_a_dick_1952__1_2_1->n140_a_dick_1952__1_2_1_1 n140_a_dick_1952__1_3_1 PRO n140_a_dick_1952__1_3->n140_a_dick_1952__1_3_1 n140_a_dick_1952__1_3_1->n140_a_dick_1952__1_3_1_1 n140_a_dick_1952__1_4->n140_a_dick_1952__1_4_1 n140_a_dick_1952__1_5_1 VB;_cat_Vp.g_ n140_a_dick_1952__1_5->n140_a_dick_1952__1_5_1 n140_a_dick_1952__1_5_2 RP n140_a_dick_1952__1_5->n140_a_dick_1952__1_5_2 n140_a_dick_1952__1_5_3 IP-PPL-CAT n140_a_dick_1952__1_5->n140_a_dick_1952__1_5_3 n140_a_dick_1952__1_5_1->n140_a_dick_1952__1_5_1_1 n140_a_dick_1952__1_5_2->n140_a_dick_1952__1_5_2_1 n140_a_dick_1952__1_5_3_1 VAG;_It_ n140_a_dick_1952__1_5_3->n140_a_dick_1952__1_5_3_1 n140_a_dick_1952__1_5_3_2 IP-INF-CLR n140_a_dick_1952__1_5_3->n140_a_dick_1952__1_5_3_2 n140_a_dick_1952__1_5_3_1->n140_a_dick_1952__1_5_3_1_1 n140_a_dick_1952__1_5_3_2_1 TO n140_a_dick_1952__1_5_3_2->n140_a_dick_1952__1_5_3_2_1 n140_a_dick_1952__1_5_3_2_2 VB;_Tn.pr_ n140_a_dick_1952__1_5_3_2->n140_a_dick_1952__1_5_3_2_2 n140_a_dick_1952__1_5_3_2_3 NP-OB1 n140_a_dick_1952__1_5_3_2->n140_a_dick_1952__1_5_3_2_3 n140_a_dick_1952__1_5_3_2_4 PP-CLR n140_a_dick_1952__1_5_3_2->n140_a_dick_1952__1_5_3_2_4 n140_a_dick_1952__1_5_3_2_1->n140_a_dick_1952__1_5_3_2_1_1 n140_a_dick_1952__1_5_3_2_2->n140_a_dick_1952__1_5_3_2_2_1 n140_a_dick_1952__1_5_3_2_3_1 D n140_a_dick_1952__1_5_3_2_3->n140_a_dick_1952__1_5_3_2_3_1 n140_a_dick_1952__1_5_3_2_3_2 N n140_a_dick_1952__1_5_3_2_3->n140_a_dick_1952__1_5_3_2_3_2 n140_a_dick_1952__1_5_3_2_3_1->n140_a_dick_1952__1_5_3_2_3_1_1 n140_a_dick_1952__1_5_3_2_3_2->n140_a_dick_1952__1_5_3_2_3_2_1 n140_a_dick_1952__1_5_3_2_4_1 P-ROLE n140_a_dick_1952__1_5_3_2_4->n140_a_dick_1952__1_5_3_2_4_1 n140_a_dick_1952__1_5_3_2_4_2 NP n140_a_dick_1952__1_5_3_2_4->n140_a_dick_1952__1_5_3_2_4_2 n140_a_dick_1952__1_5_3_2_4_1->n140_a_dick_1952__1_5_3_2_4_1_1 n140_a_dick_1952__1_5_3_2_4_2_1 N n140_a_dick_1952__1_5_3_2_4_2->n140_a_dick_1952__1_5_3_2_4_2_1 n140_a_dick_1952__1_5_3_2_4_2_2 PP n140_a_dick_1952__1_5_3_2_4_2->n140_a_dick_1952__1_5_3_2_4_2_2 n140_a_dick_1952__1_5_3_2_4_2_1->n140_a_dick_1952__1_5_3_2_4_2_1_1 n140_a_dick_1952__1_5_3_2_4_2_2_1 P-ROLE n140_a_dick_1952__1_5_3_2_4_2_2->n140_a_dick_1952__1_5_3_2_4_2_2_1 n140_a_dick_1952__1_5_3_2_4_2_2_2 NP n140_a_dick_1952__1_5_3_2_4_2_2->n140_a_dick_1952__1_5_3_2_4_2_2_2 n140_a_dick_1952__1_5_3_2_4_2_2_1->n140_a_dick_1952__1_5_3_2_4_2_2_1_1 n140_a_dick_1952__1_5_3_2_4_2_2_2_1 D n140_a_dick_1952__1_5_3_2_4_2_2_2->n140_a_dick_1952__1_5_3_2_4_2_2_2_1 n140_a_dick_1952__1_5_3_2_4_2_2_2_2 N n140_a_dick_1952__1_5_3_2_4_2_2_2->n140_a_dick_1952__1_5_3_2_4_2_2_2_2 n140_a_dick_1952__1_5_3_2_4_2_2_2_3 ADVP-NIM n140_a_dick_1952__1_5_3_2_4_2_2_2->n140_a_dick_1952__1_5_3_2_4_2_2_2_3 n140_a_dick_1952__1_5_3_2_4_2_2_2_1->n140_a_dick_1952__1_5_3_2_4_2_2_2_1_1 n140_a_dick_1952__1_5_3_2_4_2_2_2_2->n140_a_dick_1952__1_5_3_2_4_2_2_2_2_1 n140_a_dick_1952__1_5_3_2_4_2_2_2_3_1 ADV n140_a_dick_1952__1_5_3_2_4_2_2_2_3->n140_a_dick_1952__1_5_3_2_4_2_2_2_3_1 n140_a_dick_1952__1_5_3_2_4_2_2_2_3_1->n140_a_dick_1952__1_5_3_2_4_2_2_2_3_1_1 n140_a_dick_1952__1_6->n140_a_dick_1952__1_6_1 n140_a_dick_1952__1_7->n140_a_dick_1952__1_7_1 
( (IP-MAT (CONJ;_cl_ And;{and})
          (ADVP-NIM (ADV meanwhile;{meanwhile}))
          (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (VB;_cat_Vp.g_ keep;{keep[on]})
                      (RP on;{on})
                      (IP-PPL-CAT (VAG;_It_ trying;{try})
                                  (IP-INF-CLR (TO to;{to})
                                              (VB;_Tn.pr_ get;{get[in]})
                                              (NP-OB1 (D the;{the})
                                                      (N ship;{ship}))
                                              (PP-CLR (P-ROLE in;{in})
                                                      (NP (N condition;{condition})
                                                          (PP (P-ROLE for;{for})
                                                              (NP (D the;{the})
                                                                  (N trip;{trip})
                                                                  (ADVP-NIM (ADV back;{back})))))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 140_a_dick_1952))