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

arc(r_0300_0003__feel,r_0300_0002__I,arg0).
arc(r_0300_0003__feel,z_0300_5003,arg1).
arc(r_0300_0004__nothing__quant,r_0300_0003__feel,scope).
arc(r_0300_0004__nothing__quant,z_0300_5003,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_0002__I,arg0).
arc(r_0300_0009___apos_m,r_0300_0007__perhaps,nim).
arc(r_0300_0009___apos_m,r_0300_0011__used,prd).
arc(r_0300_0011__used,r_0300_0010__more,qual).
arc(r_0300_0011__used,r_0300_0013__being,r_0300_0012__to).
arc(r_0300_0013__being,r_0300_0014__stared_r_0300_0015__at,scope).
arc(r_0300_0014__stared_r_0300_0015__at,z_0300_5011,arg1).
arc(r_0300_0014__stared_r_0300_0015__at,z_0300_5013___star_,arg0).

fof(formula,axiom,
    ? [R_0300_0002__I,R_0300_0007__PERHAPS,R_0300_0010__MORE,Z_0300_5011,Z_0300_5013___STAR_,R_0300_0013__BEING_R_0300_0014__STARED_R_0300_0015__AT,R_0300_0011__USED,R_0300_0009___APOS_M,R_0300_0006__BUT] :
      ( r_0300_0002__I(R_0300_0002__I)
      & r_0300_0007__perhaps(R_0300_0007__PERHAPS)
      & r_0300_0010__more(R_0300_0010__MORE)
      & z_0300_5011(Z_0300_5011)
      & z_0300_5013___star_(Z_0300_5013___STAR_)
      & 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_0015__AT)
      & r_0300_0013__being_r_0300_0014__stared_r_0300_0015__at(R_0300_0013__BEING_R_0300_0014__STARED_R_0300_0015__AT)
      & has_arg0(R_0300_0013__BEING_R_0300_0014__STARED_R_0300_0015__AT,Z_0300_5013___STAR_)
      & has_arg1(R_0300_0013__BEING_R_0300_0014__STARED_R_0300_0015__AT,Z_0300_5011)
      & has_qual(R_0300_0011__USED,R_0300_0010__MORE)
      & has_nim(R_0300_0009___APOS_M,R_0300_0007__PERHAPS)
      & has_arg0(R_0300_0009___APOS_M,R_0300_0002__I)
      & ! [Z_0300_5003] :
          ( z_0300_5003(Z_0300_5003)
         => ? [R_0300_0003__FEEL] :
              ( r_0300_0003__feel(R_0300_0003__FEEL)
              & has_arg1(R_0300_0003__FEEL,Z_0300_5003)
              & has_arg0(R_0300_0003__FEEL,R_0300_0002__I) ) ) ) ).