TSPC 140_a_dick

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

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).

fof(formula,axiom,
    ? [R_0140_0002__MEANWHILE,R_0140_0003__WE,R_0140_0010__THE_R_0140_0011__SHIP,R_0140_0017__BACK,R_0140_0015__THE_R_0140_0016__TRIP,R_0140_0013__CONDITION,R_0140_0008__TO_R_0140_0009__GET,R_0140_0001__AND_R_0140_0004__SHOULD_R_0140_0005__KEEP_R_0140_0006__ON_R_0140_0007__TRYING] :
      ( r_0140_0002__meanwhile(R_0140_0002__MEANWHILE)
      & r_0140_0003__we(R_0140_0003__WE)
      & r_0140_0010__the_r_0140_0011__ship(R_0140_0010__THE_R_0140_0011__SHIP)
      & r_0140_0017__back(R_0140_0017__BACK)
      & r_0140_0001__And_r_0140_0004__should_r_0140_0005__keep_r_0140_0006__on_r_0140_0007__trying(R_0140_0001__AND_R_0140_0004__SHOULD_R_0140_0005__KEEP_R_0140_0006__ON_R_0140_0007__TRYING)
      & has_clr20(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)
      & r_0140_0008__to_r_0140_0009__get(R_0140_0008__TO_R_0140_0009__GET)
      & has_r_0140_0012__in_clr33(R_0140_0008__TO_R_0140_0009__GET,R_0140_0013__CONDITION)
      & r_0140_0013__condition(R_0140_0013__CONDITION)
      & has_r_0140_0014__for(R_0140_0013__CONDITION,R_0140_0015__THE_R_0140_0016__TRIP)
      & r_0140_0015__the_r_0140_0016__trip(R_0140_0015__THE_R_0140_0016__TRIP)
      & has_qual44(R_0140_0015__THE_R_0140_0016__TRIP,R_0140_0017__BACK)
      & has_arg1(R_0140_0008__TO_R_0140_0009__GET,R_0140_0010__THE_R_0140_0011__SHIP)
      & has_arg0(R_0140_0008__TO_R_0140_0009__GET,R_0140_0003__WE)
      & has_arg0(R_0140_0001__AND_R_0140_0004__SHOULD_R_0140_0005__KEEP_R_0140_0006__ON_R_0140_0007__TRYING,R_0140_0003__WE)
      & has_nim4(R_0140_0001__AND_R_0140_0004__SHOULD_R_0140_0005__KEEP_R_0140_0006__ON_R_0140_0007__TRYING,R_0140_0002__MEANWHILE) ) ).

( (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))