arc(r_0571_0001__With, r_0571_0010__no_quant, scope).
arc(r_0571_0001__With, z_000_571_a_dick_1952_5, restriction).
arc(r_0571_0005__armored, r_0571_0003__metal, nim11).
arc(r_0571_0006__guardian, r_0571_0002__its, gen).
arc(r_0571_0006__guardian, r_0571_0005__armored, attrib10).
arc(r_0571_0008__there_r_0571_0009__was, r_0571_0011__danger, arg0).
arc(r_0571_0008__there_r_0571_0009__was, r_0571_0013__longer, nim32).
arc(r_0571_0010__no_quant, r_0571_0008__there_r_0571_0009__was, scope).
arc(r_0571_0010__no_quant, r_0571_0011__danger, restriction).
arc(r_0571_0013__longer, r_0571_0012__any, nim33).
arc(z_000_571_a_dick_1952_5, r_0571_0006__guardian, arg0).
arc(z_000_571_a_dick_1952_5, r_0571_0007__dead, prd).

fof(formula,axiom,
    ? [R_0571_0002__ITS,R_0571_0003__METAL,R_0571_0005__ARMORED,R_0571_0006__GUARDIAN,R_0571_0007__DEAD,Z_000_571_A_DICK_1952_5,R_0571_0001__WITH] :
      ( r_0571_0002__its(R_0571_0002__ITS)
      & r_0571_0003__metal(R_0571_0003__METAL)
      & r_0571_0007__dead(R_0571_0007__DEAD)
      & r_0571_0001__With(R_0571_0001__WITH)
      & has_conj1(R_0571_0001__WITH,Z_000_571_A_DICK_1952_5)
      & z_000_571_a_dick_1952_5(Z_000_571_A_DICK_1952_5)
      & has_prd(Z_000_571_A_DICK_1952_5,R_0571_0007__DEAD)
      & has_arg0(Z_000_571_A_DICK_1952_5,R_0571_0006__GUARDIAN)
      & r_0571_0006__guardian(R_0571_0006__GUARDIAN)
      & has_attrib10(R_0571_0006__GUARDIAN,R_0571_0005__ARMORED)
      & r_0571_0005__armored(R_0571_0005__ARMORED)
      & has_nim11(R_0571_0005__ARMORED,R_0571_0003__METAL)
      & has_gen(R_0571_0006__GUARDIAN,R_0571_0002__ITS)
      & ! [R_0571_0011__DANGER] :
          ( r_0571_0011__danger(R_0571_0011__DANGER)
         => ? [R_0571_0012__ANY,R_0571_0013__LONGER,R_0571_0008__THERE_R_0571_0009__WAS] :
              ( r_0571_0012__any(R_0571_0012__ANY)
              & r_0571_0008__there_r_0571_0009__was(R_0571_0008__THERE_R_0571_0009__WAS)
              & has_nim32(R_0571_0008__THERE_R_0571_0009__WAS,R_0571_0013__LONGER)
              & r_0571_0013__longer(R_0571_0013__LONGER)
              & has_nim33(R_0571_0013__LONGER,R_0571_0012__ANY)
              & has_arg0(R_0571_0008__THERE_R_0571_0009__WAS,R_0571_0011__DANGER) ) ) ) ).

( (IP-MAT (PP-SCON (P-CONN With;{with})
                   (IP-ADV (NP-SBJ (NP-GEN;{TREASURE} (PRO;_genm_ its;{its}))
                                   (ADJP (NP (N metal;{metal}))
                                         (PUNC <hyphen>)
                                         (ADJ armored;{armored}))
                                   (N guardian;{guardian}))
                           (ADJP-PRD (ADJ dead;{dead}))))
          (EX there;{there})
          (BED;_ex_V_ was;{be})
          (NP-ESBJ (Q no;{no})
                   (N danger;{danger}))
          (ADVP-NIM (NP (D;_nphd_ any;{any}))
                    (ADVR longer;{longer}))
          (PUNC .))
  (ID 571_a_dick_1952))