TSPC 234_a_dick

234_a_dick_1952
“They probably know right now where they can find it, where they can blow it up.

( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{INHABITANTS} (PRO They;{they}))
          (ADVP-NIM (ADV probably;{probably}))
          (VBP;_Tn_ know;{know})
          (ADVP-NIM (ADVP (ADV right;{right}))
                    (ADV now;{now}))
          (NP-OB1 (IP-REL (ILYR (ILYR (ADVP-NIM (RADV where;{where}))
                                      (NP-SBJ;{INHABITANTS} (PRO they;{they}))
                                      (MD;_cat_Vi_ can;{can})
                                      (IP-INF-CAT (VB;_Tn_ find;{find})
                                                  (NP-OB1;{SHIP} (PRO it;{it}))))
                                (PUNC ,)
                                (CONJP (ILYR (ADVP-NIM (RADV where;{where}))
                                             (NP-SBJ;{INHABITANTS} (PRO they;{they}))
                                             (MD;_cat_Vi_ can;{can})
                                             (IP-INF-CAT (VB;_phr_Vn<=>p_ blow;{blow[up]})
                                                         (NP-OB1;{SHIP} (PRO it;{it}))
                                                         (RP up;{up})))))))
          (PUNC .))
  (ID 234_a_dick_1952))

arc(r_0234_0004__know,r_0234_0002__They,arg0).
arc(r_0234_0004__know,r_0234_0003__probably,nim).
arc(r_0234_0004__know,r_0234_0006__now,nim).
arc(r_0234_0004__know,r_0234_0007__where,arg1).
arc(r_0234_0006__now,r_0234_0005__right,qual).
arc(r_0234_0009__can,r_0234_0007__where,nim).
arc(r_0234_0009__can,r_0234_0010__find,scope).
arc(r_0234_0010__find,r_0234_0002__They,arg0).
arc(r_0234_0010__find,r_0234_0011__it,arg1).
arc(r_0234_0015__can,r_0234_0007__where,nim).
arc(r_0234_0015__can,r_0234_0016__blow_r_0234_0018__up,scope).
arc(r_0234_0016__blow_r_0234_0018__up,r_0234_0002__They,arg0).
arc(r_0234_0016__blow_r_0234_0018__up,r_0234_0011__it,arg1).
arc(z_0234_5002,r_0234_0009__can,conj1).
arc(z_0234_5002,r_0234_0015__can,conj2).

fof(formula,axiom,
    ? [R_0234_0002__THEY,R_0234_0003__PROBABLY,R_0234_0005__RIGHT,R_0234_0006__NOW,R_0234_0007__WHERE,R_0234_0004__KNOW,R_0234_0011__IT,R_0234_0009__CAN_R_0234_0010__FIND,R_0234_0015__CAN_R_0234_0016__BLOW_R_0234_0018__UP,Z_0234_5002] :
      ( r_0234_0002__They(R_0234_0002__THEY)
      & r_0234_0003__probably(R_0234_0003__PROBABLY)
      & r_0234_0005__right(R_0234_0005__RIGHT)
      & r_0234_0007__where(R_0234_0007__WHERE)
      & r_0234_0011__it(R_0234_0011__IT)
      & z_0234_5002(Z_0234_5002)
      & has_conj2(Z_0234_5002,R_0234_0015__CAN_R_0234_0016__BLOW_R_0234_0018__UP)
      & r_0234_0015__can_r_0234_0016__blow_r_0234_0018__up(R_0234_0015__CAN_R_0234_0016__BLOW_R_0234_0018__UP)
      & has_arg1(R_0234_0015__CAN_R_0234_0016__BLOW_R_0234_0018__UP,R_0234_0011__IT)
      & has_arg0(R_0234_0015__CAN_R_0234_0016__BLOW_R_0234_0018__UP,R_0234_0002__THEY)
      & has_nim(R_0234_0015__CAN_R_0234_0016__BLOW_R_0234_0018__UP,R_0234_0007__WHERE)
      & has_conj1(Z_0234_5002,R_0234_0009__CAN_R_0234_0010__FIND)
      & r_0234_0009__can_r_0234_0010__find(R_0234_0009__CAN_R_0234_0010__FIND)
      & has_arg1(R_0234_0009__CAN_R_0234_0010__FIND,R_0234_0011__IT)
      & has_arg0(R_0234_0009__CAN_R_0234_0010__FIND,R_0234_0002__THEY)
      & has_nim(R_0234_0009__CAN_R_0234_0010__FIND,R_0234_0007__WHERE)
      & r_0234_0004__know(R_0234_0004__KNOW)
      & has_arg1(R_0234_0004__KNOW,R_0234_0007__WHERE)
      & has_nim(R_0234_0004__KNOW,R_0234_0006__NOW)
      & r_0234_0006__now(R_0234_0006__NOW)
      & has_qual(R_0234_0006__NOW,R_0234_0005__RIGHT)
      & has_nim(R_0234_0004__KNOW,R_0234_0003__PROBABLY)
      & has_arg0(R_0234_0004__KNOW,R_0234_0002__THEY) ) ).