Context                Previous, Next                Top


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

%3 r_0571_0001__With With r_0571_0010__no_quant no [quant] r_0571_0001__With->r_0571_0010__no_quant [scope] z_000_571_a_dick_1952_5 r_0571_0001__With->z_000_571_a_dick_1952_5 [restriction] r_0571_0008__there_r_0571_0009__was there was r_0571_0010__no_quant->r_0571_0008__there_r_0571_0009__was [scope] r_0571_0011__danger danger r_0571_0010__no_quant->r_0571_0011__danger [restriction] r_0571_0006__guardian guardian z_000_571_a_dick_1952_5->r_0571_0006__guardian [arg0] r_0571_0007__dead dead z_000_571_a_dick_1952_5->r_0571_0007__dead [prd] r_0571_0005__armored armored r_0571_0003__metal metal r_0571_0005__armored->r_0571_0003__metal [nim] r_0571_0006__guardian->r_0571_0005__armored [attrib] r_0571_0002__its its r_0571_0006__guardian->r_0571_0002__its [gen] r_0571_0008__there_r_0571_0009__was->r_0571_0011__danger [arg0] r_0571_0013__longer longer r_0571_0008__there_r_0571_0009__was->r_0571_0013__longer [nim] r_0571_0012__any any r_0571_0013__longer->r_0571_0012__any [nim] 
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).


%3 z_000_571_a_dick_1952_5 r_0571_0007__dead dead z_000_571_a_dick_1952_5->r_0571_0007__dead [prd] r_0571_0006__guardian guardian z_000_571_a_dick_1952_5->r_0571_0006__guardian [arg0] r_0571_0005__armored armored r_0571_0006__guardian->r_0571_0005__armored [attrib] r_0571_0002__its its r_0571_0006__guardian->r_0571_0002__its [gen] r_0571_0013__longer longer r_0571_0012__any any r_0571_0013__longer->r_0571_0012__any [nim] r_0571_0010__no_quant no [quant] r_0571_0011__danger danger r_0571_0010__no_quant->r_0571_0011__danger [restriction] r_0571_0008__there_r_0571_0009__was there was r_0571_0010__no_quant->r_0571_0008__there_r_0571_0009__was [scope] r_0571_0008__there_r_0571_0009__was->r_0571_0013__longer [nim] r_0571_0008__there_r_0571_0009__was->r_0571_0011__danger [arg0] r_0571_0003__metal metal r_0571_0005__armored->r_0571_0003__metal [nim] r_0571_0001__With With r_0571_0001__With->z_000_571_a_dick_1952_5 [conj1] r_0571_0001__With->r_0571_0010__no_quant [conj2] 
fof(formula,axiom,
    ? [R_571_1_WITH,Z_571_A_DICK_1952_5,R_571_6_GUARDIAN,R_571_5_ARMORED,R_571_3_METAL,R_571_2_ITS,R_571_7_DEAD] :
      ( metal(R_571_3_METAL)
      & its(R_571_2_ITS)
      & dead(R_571_7_DEAD)
      & ! [R_571_11_DANGER] :
          ( danger(R_571_11_DANGER)
         => ? [R_571_8_THERE_WAS,R_571_13_LONGER,R_571_12_ANY] :
              ( any(R_571_12_ANY)
              & there_was(R_571_8_THERE_WAS,R_571_11_DANGER)
              & nim32(R_571_8_THERE_WAS,R_571_13_LONGER)
              & longer(R_571_13_LONGER)
              & nim33(R_571_13_LONGER,R_571_12_ANY) ) )
      & conj2(CONJ2)
      & with(R_571_1_WITH)
      & conj1(R_571_1_WITH,Z_571_A_DICK_1952_5)
      & z_571_a_dick_1952_5(Z_571_A_DICK_1952_5,R_571_6_GUARDIAN,R_571_7_DEAD)
      & guardian(R_571_6_GUARDIAN)
      & attrib10(R_571_6_GUARDIAN,R_571_5_ARMORED)
      & armored(R_571_5_ARMORED)
      & nim11(R_571_5_ARMORED,R_571_3_METAL)
      & gen(R_571_6_GUARDIAN,R_571_2_ITS) ) ).


n571_a_dick_1952 n571_a_dick_1952__1_1_1_1 With n571_a_dick_1952__1_1_2_1_1_1_1 its n571_a_dick_1952__1_1_2_1_2_1_1_1 metal n571_a_dick_1952__1_1_2_1_2_2_1 - n571_a_dick_1952__1_1_2_1_2_3_1 armored n571_a_dick_1952__1_1_2_1_3_1 guardian n571_a_dick_1952__1_1_2_2_1_1 dead n571_a_dick_1952__1_2_1 there n571_a_dick_1952__1_3_1 was n571_a_dick_1952__1_4_1_1 no n571_a_dick_1952__1_4_2_1 danger n571_a_dick_1952__1_5_1_1_1 any n571_a_dick_1952__1_5_2_1 longer n571_a_dick_1952__1_6_1 . n571_a_dick_1952__1 IP-MAT n571_a_dick_1952__1_1 PP-SCON n571_a_dick_1952__1->n571_a_dick_1952__1_1 n571_a_dick_1952__1_2 EX n571_a_dick_1952__1->n571_a_dick_1952__1_2 n571_a_dick_1952__1_3 BED;_ex_V_ n571_a_dick_1952__1->n571_a_dick_1952__1_3 n571_a_dick_1952__1_4 NP-ESBJ n571_a_dick_1952__1->n571_a_dick_1952__1_4 n571_a_dick_1952__1_5 ADVP-NIM n571_a_dick_1952__1->n571_a_dick_1952__1_5 n571_a_dick_1952__1_6 PUNC n571_a_dick_1952__1->n571_a_dick_1952__1_6 n571_a_dick_1952__1_1_1 P-CONN n571_a_dick_1952__1_1->n571_a_dick_1952__1_1_1 n571_a_dick_1952__1_1_2 IP-ADV n571_a_dick_1952__1_1->n571_a_dick_1952__1_1_2 n571_a_dick_1952__1_1_1->n571_a_dick_1952__1_1_1_1 n571_a_dick_1952__1_1_2_1 NP-SBJ n571_a_dick_1952__1_1_2->n571_a_dick_1952__1_1_2_1 n571_a_dick_1952__1_1_2_2 ADJP-PRD n571_a_dick_1952__1_1_2->n571_a_dick_1952__1_1_2_2 n571_a_dick_1952__1_1_2_1_1 NP-GEN n571_a_dick_1952__1_1_2_1->n571_a_dick_1952__1_1_2_1_1 n571_a_dick_1952__1_1_2_1_2 ADJP n571_a_dick_1952__1_1_2_1->n571_a_dick_1952__1_1_2_1_2 n571_a_dick_1952__1_1_2_1_3 N n571_a_dick_1952__1_1_2_1->n571_a_dick_1952__1_1_2_1_3 n571_a_dick_1952__1_1_2_1_1_1 PRO;_genm_ n571_a_dick_1952__1_1_2_1_1->n571_a_dick_1952__1_1_2_1_1_1 n571_a_dick_1952__1_1_2_1_1_1->n571_a_dick_1952__1_1_2_1_1_1_1 n571_a_dick_1952__1_1_2_1_2_1 NP n571_a_dick_1952__1_1_2_1_2->n571_a_dick_1952__1_1_2_1_2_1 n571_a_dick_1952__1_1_2_1_2_2 PUNC n571_a_dick_1952__1_1_2_1_2->n571_a_dick_1952__1_1_2_1_2_2 n571_a_dick_1952__1_1_2_1_2_3 ADJ n571_a_dick_1952__1_1_2_1_2->n571_a_dick_1952__1_1_2_1_2_3 n571_a_dick_1952__1_1_2_1_2_1_1 N n571_a_dick_1952__1_1_2_1_2_1->n571_a_dick_1952__1_1_2_1_2_1_1 n571_a_dick_1952__1_1_2_1_2_1_1->n571_a_dick_1952__1_1_2_1_2_1_1_1 n571_a_dick_1952__1_1_2_1_2_2->n571_a_dick_1952__1_1_2_1_2_2_1 n571_a_dick_1952__1_1_2_1_2_3->n571_a_dick_1952__1_1_2_1_2_3_1 n571_a_dick_1952__1_1_2_1_3->n571_a_dick_1952__1_1_2_1_3_1 n571_a_dick_1952__1_1_2_2_1 ADJ n571_a_dick_1952__1_1_2_2->n571_a_dick_1952__1_1_2_2_1 n571_a_dick_1952__1_1_2_2_1->n571_a_dick_1952__1_1_2_2_1_1 n571_a_dick_1952__1_2->n571_a_dick_1952__1_2_1 n571_a_dick_1952__1_3->n571_a_dick_1952__1_3_1 n571_a_dick_1952__1_4_1 Q n571_a_dick_1952__1_4->n571_a_dick_1952__1_4_1 n571_a_dick_1952__1_4_2 N n571_a_dick_1952__1_4->n571_a_dick_1952__1_4_2 n571_a_dick_1952__1_4_1->n571_a_dick_1952__1_4_1_1 n571_a_dick_1952__1_4_2->n571_a_dick_1952__1_4_2_1 n571_a_dick_1952__1_5_1 NP n571_a_dick_1952__1_5->n571_a_dick_1952__1_5_1 n571_a_dick_1952__1_5_2 ADVR n571_a_dick_1952__1_5->n571_a_dick_1952__1_5_2 n571_a_dick_1952__1_5_1_1 D;_nphd_ n571_a_dick_1952__1_5_1->n571_a_dick_1952__1_5_1_1 n571_a_dick_1952__1_5_1_1->n571_a_dick_1952__1_5_1_1_1 n571_a_dick_1952__1_5_2->n571_a_dick_1952__1_5_2_1 n571_a_dick_1952__1_6->n571_a_dick_1952__1_6_1 
( (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))