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

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

arc(r_0140_0004__should,r_0140_0002__meanwhile,nim).
arc(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_0009__get_r_0140_0012__in,clr).
arc(r_0140_0009__get_r_0140_0012__in,r_0140_0003__we,arg0).
arc(r_0140_0009__get_r_0140_0012__in,r_0140_0010__the_r_0140_0011__ship,arg1).
arc(r_0140_0009__get_r_0140_0012__in,r_0140_0013__condition,arg2).
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,nim).

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_0009__GET_R_0140_0012__IN,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_0004__should_r_0140_0005__keep_r_0140_0006__on_r_0140_0007__trying(R_0140_0004__SHOULD_R_0140_0005__KEEP_R_0140_0006__ON_R_0140_0007__TRYING)
      & has_clr(R_0140_0004__SHOULD_R_0140_0005__KEEP_R_0140_0006__ON_R_0140_0007__TRYING,R_0140_0009__GET_R_0140_0012__IN)
      & r_0140_0009__get_r_0140_0012__in(R_0140_0009__GET_R_0140_0012__IN)
      & has_arg2(R_0140_0009__GET_R_0140_0012__IN,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_nim(R_0140_0015__THE_R_0140_0016__TRIP,R_0140_0017__BACK)
      & has_arg1(R_0140_0009__GET_R_0140_0012__IN,R_0140_0010__THE_R_0140_0011__SHIP)
      & has_arg0(R_0140_0009__GET_R_0140_0012__IN,R_0140_0003__WE)
      & has_arg0(R_0140_0004__SHOULD_R_0140_0005__KEEP_R_0140_0006__ON_R_0140_0007__TRYING,R_0140_0003__WE)
      & has_nim(R_0140_0004__SHOULD_R_0140_0005__KEEP_R_0140_0006__ON_R_0140_0007__TRYING,R_0140_0002__MEANWHILE) ) ).