( (IP-MAT (NP-SBJ;{TRESPASSERS} (PRO We;{we}))
          (HVP;_Tn_ have;{have})
          (NP-OB1 (Q no;{no})
                  (NS armaments;{armament}))
          (ADVP-NIM (ADV at_all;{at_all}))
          (PUNC ;)
          (PRN (IP-MAT (NP-SBJ;{DORLE} (PRO you;{you}))
                       (VBP;_Tn_ know;{know})
                       (NP-OB1 (D;_nphd_ that;{that}))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 238_a_dick_1952))

arc(r_0238_0002__have,r_0238_0001__We,arg0).
arc(r_0238_0002__have,r_0238_0004__armaments,arg1).
arc(r_0238_0002__have,r_0238_0005__at_all,nim).
arc(r_0238_0002__have,r_0238_0008__know,prn).
arc(r_0238_0003__no__quant,r_0238_0002__have,scope).
arc(r_0238_0003__no__quant,r_0238_0004__armaments,restriction).
arc(r_0238_0008__know,r_0238_0007__you,arg0).
arc(r_0238_0008__know,r_0238_0009__that,arg1).

fof(formula,axiom,
    ! [R_0238_0004__ARMAMENTS] :
      ( r_0238_0004__armaments(R_0238_0004__ARMAMENTS)
     => ? [R_0238_0001__WE,R_0238_0005__AT_ALL,R_0238_0007__YOU,R_0238_0009__THAT,R_0238_0008__KNOW,R_0238_0002__HAVE] :
          ( r_0238_0001__We(R_0238_0001__WE)
          & r_0238_0005__at_all(R_0238_0005__AT_ALL)
          & r_0238_0007__you(R_0238_0007__YOU)
          & r_0238_0009__that(R_0238_0009__THAT)
          & r_0238_0002__have(R_0238_0002__HAVE)
          & has_prn(R_0238_0002__HAVE,R_0238_0008__KNOW)
          & r_0238_0008__know(R_0238_0008__KNOW)
          & has_arg1(R_0238_0008__KNOW,R_0238_0009__THAT)
          & has_arg0(R_0238_0008__KNOW,R_0238_0007__YOU)
          & has_nim(R_0238_0002__HAVE,R_0238_0005__AT_ALL)
          & has_arg1(R_0238_0002__HAVE,R_0238_0004__ARMAMENTS)
          & has_arg0(R_0238_0002__HAVE,R_0238_0001__WE) ) ) ).