arc(r_0300_0003__feel, r_0300_0002__I, arg0).
arc(r_0300_0003__feel, z_000_300_a_dick_1952_11, arg1).
arc(r_0300_0004__nothing_quant, r_0300_0003__feel, scope).
arc(r_0300_0004__nothing_quant, z_000_300_a_dick_1952_11, restriction).
arc(r_0300_0006__but, r_0300_0004__nothing_quant, conj1).
arc(r_0300_0006__but, r_0300_0009___apos_m, conj2).
arc(r_0300_0009___apos_m, r_0300_0007__perhaps, nim20).
arc(r_0300_0009___apos_m, r_0300_0008__I, arg0).
arc(r_0300_0009___apos_m, r_0300_0011__used, prd).
arc(r_0300_0011__used, r_0300_0010__more, qual29).
arc(r_0300_0011__used, r_0300_0013__being, r_0300_0012__to).
arc(r_0300_0013__being, r_0300_0014__stared, scope).
arc(r_0300_0014__stared, z_000_300_a_dick_1952_37, arg1).
arc(r_0300_0014__stared, z_000_300_a_dick_1952_41, arg0).

fof(formula,axiom,
    ? [R_0300_0007__PERHAPS,R_0300_0008__I,R_0300_0010__MORE,Z_000_300_A_DICK_1952_37,Z_000_300_A_DICK_1952_41,R_0300_0013__BEING_R_0300_0014__STARED,R_0300_0011__USED,R_0300_0009___APOS_M,R_0300_0006__BUT] :
      ( r_0300_0007__perhaps(R_0300_0007__PERHAPS)
      & r_0300_0008__I(R_0300_0008__I)
      & r_0300_0010__more(R_0300_0010__MORE)
      & z_000_300_a_dick_1952_37(Z_000_300_A_DICK_1952_37)
      & z_000_300_a_dick_1952_41(Z_000_300_A_DICK_1952_41)
      & r_0300_0006__but(R_0300_0006__BUT)
      & has_conj2(R_0300_0006__BUT,R_0300_0009___APOS_M)
      & r_0300_0009___apos_m(R_0300_0009___APOS_M)
      & has_prd(R_0300_0009___APOS_M,R_0300_0011__USED)
      & r_0300_0011__used(R_0300_0011__USED)
      & has_r_0300_0012__to(R_0300_0011__USED,R_0300_0013__BEING_R_0300_0014__STARED)
      & r_0300_0013__being_r_0300_0014__stared(R_0300_0013__BEING_R_0300_0014__STARED)
      & has_arg0(R_0300_0013__BEING_R_0300_0014__STARED,Z_000_300_A_DICK_1952_41)
      & has_arg1(R_0300_0013__BEING_R_0300_0014__STARED,Z_000_300_A_DICK_1952_37)
      & has_qual29(R_0300_0011__USED,R_0300_0010__MORE)
      & has_arg0(R_0300_0009___APOS_M,R_0300_0008__I)
      & has_nim20(R_0300_0009___APOS_M,R_0300_0007__PERHAPS)
      & ! [Z_000_300_A_DICK_1952_11] :
          ( z_000_300_a_dick_1952_11(Z_000_300_A_DICK_1952_11)
         => ? [R_0300_0002__I,R_0300_0003__FEEL] :
              ( r_0300_0002__I(R_0300_0002__I)
              & r_0300_0003__feel(R_0300_0003__FEEL)
              & has_arg1(R_0300_0003__FEEL,Z_000_300_A_DICK_1952_11)
              & has_arg0(R_0300_0003__FEEL,R_0300_0002__I) ) ) ) ).

( (IP-MAT (PULQ <ldquo>)
          (ILYR (ILYR (NP-SBJ;{NASHA} (PRO I;{I}))
                      (VBP;_Tn_ feel;{feel})
                      (NP-OB1 (Q;_nphd_ nothing;{nothing})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (ADVP-NIM (ADV perhaps;{perhaps}))
                             (NP-SBJ;{NASHA} (PRO I;{I}))
                             (BEP;_La_ <apos>m;{be})
                             (ADJP-PRD (ADVP (ADVR more;{more}))
                                       (ADJ used;{used})
                                       (PP (P-ROLE to;{to})
                                           (IP-PPL (BAG;_cat_VePASS_ being;{be})
                                                   (IP-PPL-CAT (NP-LGS *)
                                                               (VVN;_Ipr_ stared;{stare[at]})
                                                               (PP-CLR (P-ROLE at;{at})))))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 300_a_dick_1952))