TSPC 139_a_dick

139_a_dick_1952
“Anyhow, in the morning I think we should send out a search party.

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

arc(r_0139_0008__think,r_0139_0002__Anyhow,nim).
arc(r_0139_0008__think,r_0139_0005__the_r_0139_0006__morning,r_0139_0004__in__nim).
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_0139_0002__ANYHOW,R_0139_0005__THE_R_0139_0006__MORNING,R_0139_0007__I,R_0139_0009__WE,R_0139_0013__A_R_0139_0014__SEARCH_R_0139_0015__PARTY,R_0139_0010__SHOULD_R_0139_0011__SEND_R_0139_0012__OUT,R_0139_0008__THINK] :
      ( r_0139_0002__Anyhow(R_0139_0002__ANYHOW)
      & r_0139_0005__the_r_0139_0006__morning(R_0139_0005__THE_R_0139_0006__MORNING)
      & r_0139_0007__I(R_0139_0007__I)
      & r_0139_0009__we(R_0139_0009__WE)
      & r_0139_0013__a_r_0139_0014__search_r_0139_0015__party(R_0139_0013__A_R_0139_0014__SEARCH_R_0139_0015__PARTY)
      & r_0139_0008__think(R_0139_0008__THINK)
      & has_arg1(R_0139_0008__THINK,R_0139_0010__SHOULD_R_0139_0011__SEND_R_0139_0012__OUT)
      & r_0139_0010__should_r_0139_0011__send_r_0139_0012__out(R_0139_0010__SHOULD_R_0139_0011__SEND_R_0139_0012__OUT)
      & has_arg1(R_0139_0010__SHOULD_R_0139_0011__SEND_R_0139_0012__OUT,R_0139_0013__A_R_0139_0014__SEARCH_R_0139_0015__PARTY)
      & has_arg0(R_0139_0010__SHOULD_R_0139_0011__SEND_R_0139_0012__OUT,R_0139_0009__WE)
      & has_arg0(R_0139_0008__THINK,R_0139_0007__I)
      & has_r_0139_0004__in__nim(R_0139_0008__THINK,R_0139_0005__THE_R_0139_0006__MORNING)
      & has_nim(R_0139_0008__THINK,R_0139_0002__ANYHOW) ) ).