arc(r_0234_0004__know, r_0234_0002__They, arg0).
arc(r_0234_0004__know, r_0234_0003__probably, nim7).
arc(r_0234_0004__know, r_0234_0006__now, nim12).
arc(r_0234_0004__know, z_000_234_a_dick_1952_18, arg1).
arc(r_0234_0006__now, r_0234_0005__right, qual13).
arc(r_0234_0009__can, r_0234_0010__find, scope).
arc(r_0234_0009__can, z_000_234_a_dick_1952_18, nim22).
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_0016__blow_r_0234_0018__up, scope).
arc(r_0234_0015__can, z_000_234_a_dick_1952_18, nim40).
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_0017__it, arg1).
arc(z_000_234_a_dick_1952_20, r_0234_0009__can, conj1).
arc(z_000_234_a_dick_1952_20, r_0234_0015__can, conj2).

fof(formula,axiom,
    ? [R_234_4_KNOW,R_234_6_NOW,R_234_5_RIGHT,R_234_3_PROBABLY,Z_234_A_DICK_1952_20,R_234_9_CAN_FIND,R_234_11_IT,R_234_15_CAN_BLOW_UP,R_234_2_THEY,R_234_17_IT,Z_234_A_DICK_1952_18] :
      ( right(R_234_5_RIGHT)
      & probably(R_234_3_PROBABLY)
      & it(R_234_11_IT)
      & they(R_234_2_THEY)
      & it(R_234_17_IT)
      & know(R_234_4_KNOW,R_234_2_THEY,Z_234_A_DICK_1952_18)
      & nim12(R_234_4_KNOW,R_234_6_NOW)
      & now(R_234_6_NOW)
      & qual13(R_234_6_NOW,R_234_5_RIGHT)
      & nim7(R_234_4_KNOW,R_234_3_PROBABLY)
      & z_234_a_dick_1952_20(Z_234_A_DICK_1952_20)
      & conj1(Z_234_A_DICK_1952_20,R_234_9_CAN_FIND)
      & can_find(R_234_9_CAN_FIND,R_234_2_THEY,R_234_11_IT)
      & nim22(R_234_9_CAN_FIND,Z_234_A_DICK_1952_18)
      & conj2(Z_234_A_DICK_1952_20,R_234_15_CAN_BLOW_UP)
      & can_blow_up(R_234_15_CAN_BLOW_UP,R_234_2_THEY,R_234_17_IT)
      & nim40(R_234_15_CAN_BLOW_UP,Z_234_A_DICK_1952_18) ) ).

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