Context                Previous, Next                Top


44_a_dick_1952
Atmosphere poisoned, water vaporized, all the land fused.”

%3 r_0044_0002__poisoned poisoned r_0044_0001__Atmosphere Atmosphere r_0044_0002__poisoned->r_0044_0001__Atmosphere [arg1] z_000_44_a_dick_1952_8 r_0044_0002__poisoned->z_000_44_a_dick_1952_8 [arg0] r_0044_0005__vaporized vaporized r_0044_0004__water water r_0044_0005__vaporized->r_0044_0004__water [arg1] z_000_44_a_dick_1952_20 r_0044_0005__vaporized->z_000_44_a_dick_1952_20 [arg0] r_0044_0007__all_quant all [quant] r_0044_0008__the_r_0044_0009__land the land r_0044_0007__all_quant->r_0044_0008__the_r_0044_0009__land [restriction] z_000_44_a_dick_1952_27 r_0044_0007__all_quant->z_000_44_a_dick_1952_27 [scope] r_0044_0010__fused fused z_000_44_a_dick_1952_27->r_0044_0010__fused [scope] r_0044_0010__fused->r_0044_0008__the_r_0044_0009__land [arg1] z_000_44_a_dick_1952_36 r_0044_0010__fused->z_000_44_a_dick_1952_36 [arg0] z_000_44_a_dick_1952_15 z_000_44_a_dick_1952_15->r_0044_0005__vaporized [scope] z_000_44_a_dick_1952_2 z_000_44_a_dick_1952_2->r_0044_0007__all_quant [conj3] z_000_44_a_dick_1952_2->z_000_44_a_dick_1952_15 [conj2] z_000_44_a_dick_1952_3 z_000_44_a_dick_1952_2->z_000_44_a_dick_1952_3 [conj1] z_000_44_a_dick_1952_3->r_0044_0002__poisoned [scope] 
arc(r_0044_0002__poisoned, r_0044_0001__Atmosphere, arg1).
arc(r_0044_0002__poisoned, z_000_44_a_dick_1952_8, arg0).
arc(r_0044_0005__vaporized, r_0044_0004__water, arg1).
arc(r_0044_0005__vaporized, z_000_44_a_dick_1952_20, arg0).
arc(r_0044_0007__all_quant, r_0044_0008__the_r_0044_0009__land, restriction).
arc(r_0044_0007__all_quant, z_000_44_a_dick_1952_27, scope).
arc(r_0044_0010__fused, r_0044_0008__the_r_0044_0009__land, arg1).
arc(r_0044_0010__fused, z_000_44_a_dick_1952_36, arg0).
arc(z_000_44_a_dick_1952_15, r_0044_0005__vaporized, scope).
arc(z_000_44_a_dick_1952_2, r_0044_0007__all_quant, conj3).
arc(z_000_44_a_dick_1952_2, z_000_44_a_dick_1952_15, conj2).
arc(z_000_44_a_dick_1952_2, z_000_44_a_dick_1952_3, conj1).
arc(z_000_44_a_dick_1952_27, r_0044_0010__fused, scope).
arc(z_000_44_a_dick_1952_3, r_0044_0002__poisoned, scope).


%3 z_000_44_a_dick_1952_2 z_000_44_a_dick_1952_3_r_0044_0002__poisoned poisoned z_000_44_a_dick_1952_2->z_000_44_a_dick_1952_3_r_0044_0002__poisoned [conj1] z_000_44_a_dick_1952_15_r_0044_0005__vaporized vaporized z_000_44_a_dick_1952_2->z_000_44_a_dick_1952_15_r_0044_0005__vaporized [conj2] r_0044_0007__all_quant all [quant] z_000_44_a_dick_1952_2->r_0044_0007__all_quant [conj3] z_000_44_a_dick_1952_8 z_000_44_a_dick_1952_3_r_0044_0002__poisoned->z_000_44_a_dick_1952_8 [arg0] r_0044_0001__Atmosphere Atmosphere z_000_44_a_dick_1952_3_r_0044_0002__poisoned->r_0044_0001__Atmosphere [arg1] z_000_44_a_dick_1952_20 z_000_44_a_dick_1952_15_r_0044_0005__vaporized->z_000_44_a_dick_1952_20 [arg0] r_0044_0004__water water z_000_44_a_dick_1952_15_r_0044_0005__vaporized->r_0044_0004__water [arg1] z_000_44_a_dick_1952_27_r_0044_0010__fused fused r_0044_0007__all_quant->z_000_44_a_dick_1952_27_r_0044_0010__fused [scope] r_0044_0008__the_r_0044_0009__land the land r_0044_0007__all_quant->r_0044_0008__the_r_0044_0009__land [restriction] z_000_44_a_dick_1952_36 z_000_44_a_dick_1952_27_r_0044_0010__fused->z_000_44_a_dick_1952_36 [arg0] z_000_44_a_dick_1952_27_r_0044_0010__fused->r_0044_0008__the_r_0044_0009__land [arg1] 
fof(formula,axiom,
    ? [Z_44_A_DICK_1952_2,Z_44_A_DICK_1952_3_POISONED,Z_44_A_DICK_1952_8,R_44_1_ATMOSPHERE,Z_44_A_DICK_1952_15_VAPORIZED,Z_44_A_DICK_1952_20,R_44_4_WATER] :
      ( atmosphere(R_44_1_ATMOSPHERE)
      & water(R_44_4_WATER)
      & ! [R_44_8_THE_LAND] :
          ( the_land(R_44_8_THE_LAND)
         => ? [Z_44_A_DICK_1952_27_FUSED,Z_44_A_DICK_1952_36] : z_44_a_dick_1952_27_fused(Z_44_A_DICK_1952_27_FUSED,Z_44_A_DICK_1952_36,R_44_8_THE_LAND) )
      & conj3(CONJ3)
      & z_44_a_dick_1952_2(Z_44_A_DICK_1952_2)
      & conj1(Z_44_A_DICK_1952_2,Z_44_A_DICK_1952_3_POISONED)
      & z_44_a_dick_1952_3_poisoned(Z_44_A_DICK_1952_3_POISONED,Z_44_A_DICK_1952_8,R_44_1_ATMOSPHERE)
      & conj2(Z_44_A_DICK_1952_2,Z_44_A_DICK_1952_15_VAPORIZED)
      & z_44_a_dick_1952_15_vaporized(Z_44_A_DICK_1952_15_VAPORIZED,Z_44_A_DICK_1952_20,R_44_4_WATER) ) ).


n44_a_dick_1952 n44_a_dick_1952__1_1_1_1_1_1 Atmosphere n44_a_dick_1952__1_1_1_2_1_1 * n44_a_dick_1952__1_1_1_2_2_1 poisoned n44_a_dick_1952__1_1_2_1 , n44_a_dick_1952__1_1_3_1_1_1_1 water n44_a_dick_1952__1_1_3_1_2_1_1 * n44_a_dick_1952__1_1_3_1_2_2_1 vaporized n44_a_dick_1952__1_1_4_1 , n44_a_dick_1952__1_1_5_1_1_1_1 all n44_a_dick_1952__1_1_5_1_1_2_1 the n44_a_dick_1952__1_1_5_1_1_3_1 land n44_a_dick_1952__1_1_5_1_2_1_1 * n44_a_dick_1952__1_1_5_1_2_2_1 fused n44_a_dick_1952__1_2_1 . n44_a_dick_1952__1_3_1 <rdquo> n44_a_dick_1952__1 IP-MAT n44_a_dick_1952__1_1 ILYR n44_a_dick_1952__1->n44_a_dick_1952__1_1 n44_a_dick_1952__1_2 PUNC n44_a_dick_1952__1->n44_a_dick_1952__1_2 n44_a_dick_1952__1_3 PURQ n44_a_dick_1952__1->n44_a_dick_1952__1_3 n44_a_dick_1952__1_1_1 ILYR n44_a_dick_1952__1_1->n44_a_dick_1952__1_1_1 n44_a_dick_1952__1_1_2 PUNC n44_a_dick_1952__1_1->n44_a_dick_1952__1_1_2 n44_a_dick_1952__1_1_3 CONJP n44_a_dick_1952__1_1->n44_a_dick_1952__1_1_3 n44_a_dick_1952__1_1_4 PUNC n44_a_dick_1952__1_1->n44_a_dick_1952__1_1_4 n44_a_dick_1952__1_1_5 CONJP n44_a_dick_1952__1_1->n44_a_dick_1952__1_1_5 n44_a_dick_1952__1_1_1_1 NP-SBJ n44_a_dick_1952__1_1_1->n44_a_dick_1952__1_1_1_1 n44_a_dick_1952__1_1_1_2 IP-PPL-CAT n44_a_dick_1952__1_1_1->n44_a_dick_1952__1_1_1_2 n44_a_dick_1952__1_1_1_1_1 N n44_a_dick_1952__1_1_1_1->n44_a_dick_1952__1_1_1_1_1 n44_a_dick_1952__1_1_1_1_1->n44_a_dick_1952__1_1_1_1_1_1 n44_a_dick_1952__1_1_1_2_1 NP-LGS n44_a_dick_1952__1_1_1_2->n44_a_dick_1952__1_1_1_2_1 n44_a_dick_1952__1_1_1_2_2 VVN;_Tn_ n44_a_dick_1952__1_1_1_2->n44_a_dick_1952__1_1_1_2_2 n44_a_dick_1952__1_1_1_2_1->n44_a_dick_1952__1_1_1_2_1_1 n44_a_dick_1952__1_1_1_2_2->n44_a_dick_1952__1_1_1_2_2_1 n44_a_dick_1952__1_1_2->n44_a_dick_1952__1_1_2_1 n44_a_dick_1952__1_1_3_1 ILYR n44_a_dick_1952__1_1_3->n44_a_dick_1952__1_1_3_1 n44_a_dick_1952__1_1_3_1_1 NP-SBJ n44_a_dick_1952__1_1_3_1->n44_a_dick_1952__1_1_3_1_1 n44_a_dick_1952__1_1_3_1_2 IP-PPL-CAT n44_a_dick_1952__1_1_3_1->n44_a_dick_1952__1_1_3_1_2 n44_a_dick_1952__1_1_3_1_1_1 N n44_a_dick_1952__1_1_3_1_1->n44_a_dick_1952__1_1_3_1_1_1 n44_a_dick_1952__1_1_3_1_1_1->n44_a_dick_1952__1_1_3_1_1_1_1 n44_a_dick_1952__1_1_3_1_2_1 NP-LGS n44_a_dick_1952__1_1_3_1_2->n44_a_dick_1952__1_1_3_1_2_1 n44_a_dick_1952__1_1_3_1_2_2 VVN;_Tn_ n44_a_dick_1952__1_1_3_1_2->n44_a_dick_1952__1_1_3_1_2_2 n44_a_dick_1952__1_1_3_1_2_1->n44_a_dick_1952__1_1_3_1_2_1_1 n44_a_dick_1952__1_1_3_1_2_2->n44_a_dick_1952__1_1_3_1_2_2_1 n44_a_dick_1952__1_1_4->n44_a_dick_1952__1_1_4_1 n44_a_dick_1952__1_1_5_1 ILYR n44_a_dick_1952__1_1_5->n44_a_dick_1952__1_1_5_1 n44_a_dick_1952__1_1_5_1_1 NP-SBJ n44_a_dick_1952__1_1_5_1->n44_a_dick_1952__1_1_5_1_1 n44_a_dick_1952__1_1_5_1_2 IP-PPL-CAT n44_a_dick_1952__1_1_5_1->n44_a_dick_1952__1_1_5_1_2 n44_a_dick_1952__1_1_5_1_1_1 Q;_nphd_ n44_a_dick_1952__1_1_5_1_1->n44_a_dick_1952__1_1_5_1_1_1 n44_a_dick_1952__1_1_5_1_1_2 D n44_a_dick_1952__1_1_5_1_1->n44_a_dick_1952__1_1_5_1_1_2 n44_a_dick_1952__1_1_5_1_1_3 N n44_a_dick_1952__1_1_5_1_1->n44_a_dick_1952__1_1_5_1_1_3 n44_a_dick_1952__1_1_5_1_1_1->n44_a_dick_1952__1_1_5_1_1_1_1 n44_a_dick_1952__1_1_5_1_1_2->n44_a_dick_1952__1_1_5_1_1_2_1 n44_a_dick_1952__1_1_5_1_1_3->n44_a_dick_1952__1_1_5_1_1_3_1 n44_a_dick_1952__1_1_5_1_2_1 NP-LGS n44_a_dick_1952__1_1_5_1_2->n44_a_dick_1952__1_1_5_1_2_1 n44_a_dick_1952__1_1_5_1_2_2 VVN;_Tn_ n44_a_dick_1952__1_1_5_1_2->n44_a_dick_1952__1_1_5_1_2_2 n44_a_dick_1952__1_1_5_1_2_1->n44_a_dick_1952__1_1_5_1_2_1_1 n44_a_dick_1952__1_1_5_1_2_2->n44_a_dick_1952__1_1_5_1_2_2_1 n44_a_dick_1952__1_2->n44_a_dick_1952__1_2_1 n44_a_dick_1952__1_3->n44_a_dick_1952__1_3_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ (N Atmosphere;{atmosphere}))
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ poisoned;{poison})))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ (N water;{water}))
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;_Tn_ vaporized;{vaporize}))))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ (Q;_nphd_ all;{all})
                                     (D the;{the})
                                     (N land;{land}))
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;_Tn_ fused;{fuse})))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 44_a_dick_1952))