( (IP-MAT (PP-NIM (P-ROLE Against;{against})
                  (NP (D;_nphd_ something;{something})
                      (PP (P-ROLE on;{on})
                          (NP (D the;{the})
                              (N ground;{ground})))))
          (NP-SBJ;{GUN} (PRO it;{it}))
          (HVP;_Tn_ has;{have})
          (NP-OB1 (Q no;{no})
                  (NS defenses;{defense}))
          (PUNC .))
  (ID 547_a_dick_1952))

arc(r_0547_0002__something,r_0547_0004__the_r_0547_0005__ground,r_0547_0003__on).
arc(r_0547_0007__has,r_0547_0002__something,r_0547_0001__Against__nim).
arc(r_0547_0007__has,r_0547_0006__it,arg0).
arc(r_0547_0007__has,r_0547_0009__defenses,arg1).
arc(r_0547_0008__no__quant,r_0547_0007__has,scope).
arc(r_0547_0008__no__quant,r_0547_0009__defenses,restriction).

fof(formula,axiom,
    ! [R_0547_0009__DEFENSES] :
      ( r_0547_0009__defenses(R_0547_0009__DEFENSES)
     => ? [R_0547_0004__THE_R_0547_0005__GROUND,R_0547_0002__SOMETHING,R_0547_0006__IT,R_0547_0007__HAS] :
          ( r_0547_0004__the_r_0547_0005__ground(R_0547_0004__THE_R_0547_0005__GROUND)
          & r_0547_0006__it(R_0547_0006__IT)
          & r_0547_0007__has(R_0547_0007__HAS)
          & has_arg1(R_0547_0007__HAS,R_0547_0009__DEFENSES)
          & has_arg0(R_0547_0007__HAS,R_0547_0006__IT)
          & has_r_0547_0001__Against__nim(R_0547_0007__HAS,R_0547_0002__SOMETHING)
          & r_0547_0002__something(R_0547_0002__SOMETHING)
          & has_r_0547_0003__on(R_0547_0002__SOMETHING,R_0547_0004__THE_R_0547_0005__GROUND) ) ) ).