arc(r_0325_0001__No_quant, r_0325_0002__one, restriction).
arc(r_0325_0001__No_quant, r_0325_0003__fires, scope).
arc(r_0325_0003__fires, r_0325_0002__one, arg0).
arc(r_0325_0003__fires, r_0325_0004__it, arg1).

fof(formula,axiom,
    ! [R_325_2_ONE] :
      ( one(R_325_2_ONE)
     => ? [R_325_3_FIRES,R_325_4_IT] :
          ( it(R_325_4_IT)
          & fires(R_325_3_FIRES,R_325_2_ONE,R_325_4_IT) ) ) ).

( (IP-MAT (NP-SBJ (Q No;{no})
                  (N one;{one}))
          (VBP;_Tn_ fires;{fire})
          (NP-OB1;{GUN} (PRO it;{it}))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 325_a_dick_1952))