TSPC 571_a_dick

571_a_dick_1952
With its metal - armored guardian dead there was no danger any longer.

( (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))

arc(r_0571_0001__With,r_0571_0009__was,scope).
arc(r_0571_0001__With,z_0571_5009,restriction).
arc(r_0571_0005__armored,r_0571_0003__metal,nim).
arc(r_0571_0006__guardian,r_0571_0002__its,gen).
arc(r_0571_0006__guardian,r_0571_0005__armored,attrib).
arc(r_0571_0009__was,r_0571_0011__danger,arg0).
arc(r_0571_0009__was,r_0571_0013__longer,nim).
arc(r_0571_0010__no__quant,r_0571_0001__With,scope).
arc(r_0571_0010__no__quant,r_0571_0011__danger,restriction).
arc(r_0571_0013__longer,r_0571_0012__any,nim).
arc(z_0571_5009,r_0571_0006__guardian,arg0).
arc(z_0571_5009,r_0571_0007__dead,prd).

fof(formula,axiom,
    ! [R_0571_0011__DANGER] :
      ( r_0571_0011__danger(R_0571_0011__DANGER)
     => ? [R_0571_0012__ANY,R_0571_0013__LONGER,R_0571_0009__WAS,R_0571_0002__ITS,R_0571_0003__METAL,R_0571_0005__ARMORED,R_0571_0006__GUARDIAN,R_0571_0007__DEAD,Z_0571_5009,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_0012__any(R_0571_0012__ANY)
          & r_0571_0001__With(R_0571_0001__WITH)
          & has_conj1(R_0571_0001__WITH,Z_0571_5009)
          & z_0571_5009(Z_0571_5009)
          & has_prd(Z_0571_5009,R_0571_0007__DEAD)
          & has_arg0(Z_0571_5009,R_0571_0006__GUARDIAN)
          & r_0571_0006__guardian(R_0571_0006__GUARDIAN)
          & has_attrib(R_0571_0006__GUARDIAN,R_0571_0005__ARMORED)
          & r_0571_0005__armored(R_0571_0005__ARMORED)
          & has_nim(R_0571_0005__ARMORED,R_0571_0003__METAL)
          & has_gen(R_0571_0006__GUARDIAN,R_0571_0002__ITS)
          & has_conj2(R_0571_0001__WITH,R_0571_0009__WAS)
          & r_0571_0009__was(R_0571_0009__WAS)
          & has_nim(R_0571_0009__WAS,R_0571_0013__LONGER)
          & r_0571_0013__longer(R_0571_0013__LONGER)
          & has_nim(R_0571_0013__LONGER,R_0571_0012__ANY)
          & has_arg0(R_0571_0009__WAS,R_0571_0011__DANGER) ) ) ).