arc(r_0139_0008__think, r_0139_0002__Anyhow, nim4).
arc(r_0139_0008__think, r_0139_0005__the_r_0139_0006__morning, r_0139_0004__in_nim12).
arc(r_0139_0008__think, r_0139_0007__I, arg0).
arc(r_0139_0008__think, r_0139_0010__should, arg1).
arc(r_0139_0010__should, r_0139_0011__send_r_0139_0012__out, scope).
arc(r_0139_0011__send_r_0139_0012__out, r_0139_0009__we, arg0).
arc(r_0139_0011__send_r_0139_0012__out, r_0139_0013__a_r_0139_0014__search_r_0139_0015__party, arg1).

fof(formula,axiom,
    ? [R_139_8_THINK,R_139_7_I,R_139_10_SHOULD_SEND_OUT,R_139_9_WE,R_139_13_A_SEARCH_PARTY,R_139_2_ANYHOW,R_139_5_THE_MORNING] :
      ( i(R_139_7_I)
      & we(R_139_9_WE)
      & a_search_party(R_139_13_A_SEARCH_PARTY)
      & anyhow(R_139_2_ANYHOW)
      & the_morning(R_139_5_THE_MORNING)
      & think(R_139_8_THINK,R_139_7_I,R_139_10_SHOULD_SEND_OUT)
      & should_send_out(R_139_10_SHOULD_SEND_OUT,R_139_9_WE,R_139_13_A_SEARCH_PARTY)
      & nim4(R_139_8_THINK,R_139_2_ANYHOW)
      & in_nim12(R_139_8_THINK,R_139_5_THE_MORNING) ) ).

( (IP-MAT (PULQ <ldquo>)
          (ADVP-NIM (ADV Anyhow;{anyhow}))
          (PUNC ,)
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (N morning;{morning})))
          (NP-SBJ;{NASHA} (PRO I;{I}))
          (VBP;_Tf_ think;{think})
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                              (MD;_cat_Vi_ should;{shall})
                              (IP-INF-CAT (VB;_phr_Vn<=>p_ send;{send[out]})
                                          (RP out;{out})
                                          (NP-OB1 (D a;{a})
                                                  (N search;{search})
                                                  (N party;{party})))))
          (PUNC .))
  (ID 139_a_dick_1952))