( (IP-MAT (PULQ <ldquo>)
          (ILYR (ILYR (NP-SBJ;{GUN} (D The;{the})
                                    (N gun;{gun}))
                      (VBD;_Tn_ noticed;{notice})
                      (NP-OB1;{ROCK} (PRO it;{it})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NEG not;{not})
                             (NP-OB1;{DORLE+NASHA+TANCE} (PRO us;{we}))
                             (PUNC ,)
                             (PP-SCON (P-CONN since;{since})
                                      (IP-ADV (NP-SBJ;{DORLE+NASHA+TANCE} (PRO we;{we}))
                                              (ILYR (ILYR (BEP;_Ipr_ <apos>re;{be[on]})
                                                          (PP-CLR (P-ROLE on;{on})
                                                                  (NP (D the;{the})
                                                                      (N ground;{ground}))))
                                                    (PUNC ,)
                                                    (CONJP (ILYR (NEG not;{not})
                                                                 (ADVP-CLR (ADV above;{above}))))))))))
          (PUNC .))
  (ID 349_a_dick_1952))

arc(r_0349_0004__noticed,r_0349_0002__The_r_0349_0003__gun,arg0).
arc(r_0349_0004__noticed,r_0349_0005__it,arg1).
arc(r_0349_0007__but,r_0349_0004__noticed,conj1).
arc(r_0349_0007__but,r_0349_0011__since,conj2).
arc(r_0349_0008__not,z_0349_5012,keep_scope).
arc(r_0349_0011__since,r_0349_0008__not,scope).
arc(r_0349_0011__since,z_0349_5005,restriction).
arc(r_0349_0013___apos_re_r_0349_0014__on,r_0349_0009__us,arg0).
arc(r_0349_0013___apos_re_r_0349_0014__on,r_0349_0015__the_r_0349_0016__ground,arg1).
arc(r_0349_0018__not,r_0349_0019__above,keep_scope).
arc(r_0349_0019__above,r_0349_0009__us,arg0).
arc(z_0349_5005,r_0349_0013___apos_re_r_0349_0014__on,conj1).
arc(z_0349_5005,r_0349_0018__not,conj2).
arc(z_0349_5012,r_0349_0009__us,arg1).

fof(formula,axiom,
    ? [R_0349_0002__THE_R_0349_0003__GUN,R_0349_0005__IT,R_0349_0004__NOTICED,R_0349_0009__US,R_0349_0015__THE_R_0349_0016__GROUND,R_0349_0013___APOS_RE_R_0349_0014__ON,Z_0349_5005,R_0349_0011__SINCE,R_0349_0007__BUT] :
      ( r_0349_0002__The_r_0349_0003__gun(R_0349_0002__THE_R_0349_0003__GUN)
      & r_0349_0005__it(R_0349_0005__IT)
      & r_0349_0009__us(R_0349_0009__US)
      & r_0349_0015__the_r_0349_0016__ground(R_0349_0015__THE_R_0349_0016__GROUND)
      & r_0349_0007__but(R_0349_0007__BUT)
      & has_conj2(R_0349_0007__BUT,R_0349_0011__SINCE)
      & r_0349_0011__since(R_0349_0011__SINCE)
      & has_conj1(R_0349_0011__SINCE,Z_0349_5005)
      & z_0349_5005(Z_0349_5005)
      & has_conj2(Z_0349_5005,R_0349_0018__NOT)
      & ~ ? [R_0349_0019__ABOVE] :
            ( r_0349_0019__above(R_0349_0019__ABOVE)
            & has_arg0(R_0349_0019__ABOVE,R_0349_0009__US) )
      & has_conj1(Z_0349_5005,R_0349_0013___APOS_RE_R_0349_0014__ON)
      & r_0349_0013___apos_re_r_0349_0014__on(R_0349_0013___APOS_RE_R_0349_0014__ON)
      & has_arg1(R_0349_0013___APOS_RE_R_0349_0014__ON,R_0349_0015__THE_R_0349_0016__GROUND)
      & has_arg0(R_0349_0013___APOS_RE_R_0349_0014__ON,R_0349_0009__US)
      & has_conj2(R_0349_0011__SINCE,R_0349_0008__NOT)
      & ~ ? [Z_0349_5012] :
            ( z_0349_5012(Z_0349_5012)
            & has_arg1(Z_0349_5012,R_0349_0009__US) )
      & has_conj1(R_0349_0007__BUT,R_0349_0004__NOTICED)
      & ~ ( has_arg1(R_0349_0004__NOTICED,R_0349_0005__IT)
          & has_arg0(R_0349_0004__NOTICED,R_0349_0002__THE_R_0349_0003__GUN) ) ) ).