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 r_0571_0001__With With r_0571_0010__no_quant no [quant] r_0571_0001__With->r_0571_0010__no_quant [conj2] z_000_571_a_dick_1952_5 r_0571_0001__With->z_000_571_a_dick_1952_5 [conj1] 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] 
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_4 With n571_a_dick_1952_9 its n571_a_dick_1952_13 metal n571_a_dick_1952_15 - n571_a_dick_1952_17 armored n571_a_dick_1952_19 guardian n571_a_dick_1952_22 dead n571_a_dick_1952_24 there n571_a_dick_1952_26 was n571_a_dick_1952_29 no n571_a_dick_1952_31 danger n571_a_dick_1952_35 any n571_a_dick_1952_37 longer n571_a_dick_1952_39 . n571_a_dick_1952_1 IP-MAT n571_a_dick_1952_2 PP-SCON n571_a_dick_1952_1->n571_a_dick_1952_2 n571_a_dick_1952_23 EX n571_a_dick_1952_1->n571_a_dick_1952_23 n571_a_dick_1952_25 BED;_ex_V_ n571_a_dick_1952_1->n571_a_dick_1952_25 n571_a_dick_1952_27 NP-ESBJ n571_a_dick_1952_1->n571_a_dick_1952_27 n571_a_dick_1952_32 ADVP-NIM n571_a_dick_1952_1->n571_a_dick_1952_32 n571_a_dick_1952_38 PUNC n571_a_dick_1952_1->n571_a_dick_1952_38 n571_a_dick_1952_3 P-CONN n571_a_dick_1952_2->n571_a_dick_1952_3 n571_a_dick_1952_5 IP-ADV n571_a_dick_1952_2->n571_a_dick_1952_5 n571_a_dick_1952_3->n571_a_dick_1952_4 n571_a_dick_1952_6 NP-SBJ n571_a_dick_1952_5->n571_a_dick_1952_6 n571_a_dick_1952_20 ADJP-PRD n571_a_dick_1952_5->n571_a_dick_1952_20 n571_a_dick_1952_7 NP-GEN n571_a_dick_1952_6->n571_a_dick_1952_7 n571_a_dick_1952_10 ADJP n571_a_dick_1952_6->n571_a_dick_1952_10 n571_a_dick_1952_18 N n571_a_dick_1952_6->n571_a_dick_1952_18 n571_a_dick_1952_8 PRO;_genm_ n571_a_dick_1952_7->n571_a_dick_1952_8 n571_a_dick_1952_8->n571_a_dick_1952_9 n571_a_dick_1952_11 NP n571_a_dick_1952_10->n571_a_dick_1952_11 n571_a_dick_1952_14 PUNC n571_a_dick_1952_10->n571_a_dick_1952_14 n571_a_dick_1952_16 ADJ n571_a_dick_1952_10->n571_a_dick_1952_16 n571_a_dick_1952_12 N n571_a_dick_1952_11->n571_a_dick_1952_12 n571_a_dick_1952_12->n571_a_dick_1952_13 n571_a_dick_1952_14->n571_a_dick_1952_15 n571_a_dick_1952_16->n571_a_dick_1952_17 n571_a_dick_1952_18->n571_a_dick_1952_19 n571_a_dick_1952_21 ADJ n571_a_dick_1952_20->n571_a_dick_1952_21 n571_a_dick_1952_21->n571_a_dick_1952_22 n571_a_dick_1952_23->n571_a_dick_1952_24 n571_a_dick_1952_25->n571_a_dick_1952_26 n571_a_dick_1952_28 Q n571_a_dick_1952_27->n571_a_dick_1952_28 n571_a_dick_1952_30 N n571_a_dick_1952_27->n571_a_dick_1952_30 n571_a_dick_1952_28->n571_a_dick_1952_29 n571_a_dick_1952_30->n571_a_dick_1952_31 n571_a_dick_1952_33 NP n571_a_dick_1952_32->n571_a_dick_1952_33 n571_a_dick_1952_36 ADVR n571_a_dick_1952_32->n571_a_dick_1952_36 n571_a_dick_1952_34 D;_nphd_ n571_a_dick_1952_33->n571_a_dick_1952_34 n571_a_dick_1952_34->n571_a_dick_1952_35 n571_a_dick_1952_36->n571_a_dick_1952_37 n571_a_dick_1952_38->n571_a_dick_1952_39 
( (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))