arc(r_0127_0002__Well_r_0127_0006___apos_ll, r_0127_0004__perhaps, nim8).
arc(r_0127_0002__Well_r_0127_0006___apos_ll, r_0127_0007__know, scope).
arc(r_0127_0007__know, r_0127_0005__we, arg0).
arc(r_0127_0007__know, r_0127_0008__the_r_0127_0009__answer, arg1).
arc(r_0127_0010__before, r_0127_0002__Well_r_0127_0006___apos_ll, scope).
arc(r_0127_0010__before, r_0127_0012__leave, restriction).
arc(r_0127_0012__leave, r_0127_0005__we, arg0).
arc(r_0127_0012__leave, r_0127_0013__here, nim33).

fof(formula,axiom,
    ? [R_127_10_BEFORE,R_127_12_LEAVE,R_127_13_HERE,R_127_2_WELL_APOS_LL_KNOW,R_127_5_WE,R_127_8_THE_ANSWER,R_127_4_PERHAPS] :
      ( here(R_127_13_HERE)
      & we(R_127_5_WE)
      & the_answer(R_127_8_THE_ANSWER)
      & perhaps(R_127_4_PERHAPS)
      & before(R_127_10_BEFORE)
      & conj1(R_127_10_BEFORE,R_127_12_LEAVE)
      & leave(R_127_12_LEAVE,R_127_5_WE)
      & nim33(R_127_12_LEAVE,R_127_13_HERE)
      & conj2(R_127_10_BEFORE,R_127_2_WELL_APOS_LL_KNOW)
      & well_apos_ll_know(R_127_2_WELL_APOS_LL_KNOW,R_127_5_WE,R_127_8_THE_ANSWER)
      & nim8(R_127_2_WELL_APOS_LL_KNOW,R_127_4_PERHAPS) ) ).

( (IP-MAT (PULQ <ldquo>)
          (INTJ Well)
          (PUNC ,)
          (ADVP-NIM (ADV perhaps;{perhaps}))
          (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (VB;_Tn_ know;{know})
                      (NP-OB1 (D the;{the})
                              (N answer;{answer})))
          (PP-SCON (P-CONN before;{before})
                   (IP-ADV (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                           (VBP;_I_ leave;{leave})
                           (ADVP-NIM (ADV here;{here}))))
          (PUNC .))
  (ID 127_a_dick_1952))