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,
    ? [R_0044_0004__WATER,Z_000_44_A_DICK_1952_20,Z_000_44_A_DICK_1952_15_R_0044_0005__VAPORIZED,R_0044_0001__ATMOSPHERE,Z_000_44_A_DICK_1952_8,Z_000_44_A_DICK_1952_3_R_0044_0002__POISONED,Z_000_44_A_DICK_1952_2] :
      ( r_0044_0001__Atmosphere(R_0044_0001__ATMOSPHERE)
      & r_0044_0004__water(R_0044_0004__WATER)
      & z_000_44_a_dick_1952_20(Z_000_44_A_DICK_1952_20)
      & z_000_44_a_dick_1952_8(Z_000_44_A_DICK_1952_8)
      & z_000_44_a_dick_1952_2(Z_000_44_A_DICK_1952_2)
      & has_conj1(Z_000_44_A_DICK_1952_2,Z_000_44_A_DICK_1952_3_R_0044_0002__POISONED)
      & z_000_44_a_dick_1952_3_r_0044_0002__poisoned(Z_000_44_A_DICK_1952_3_R_0044_0002__POISONED)
      & has_arg0(Z_000_44_A_DICK_1952_3_R_0044_0002__POISONED,Z_000_44_A_DICK_1952_8)
      & has_arg1(Z_000_44_A_DICK_1952_3_R_0044_0002__POISONED,R_0044_0001__ATMOSPHERE)
      & has_conj2(Z_000_44_A_DICK_1952_2,Z_000_44_A_DICK_1952_15_R_0044_0005__VAPORIZED)
      & z_000_44_a_dick_1952_15_r_0044_0005__vaporized(Z_000_44_A_DICK_1952_15_R_0044_0005__VAPORIZED)
      & has_arg0(Z_000_44_A_DICK_1952_15_R_0044_0005__VAPORIZED,Z_000_44_A_DICK_1952_20)
      & has_arg1(Z_000_44_A_DICK_1952_15_R_0044_0005__VAPORIZED,R_0044_0004__WATER)
      & ! [R_0044_0008__THE_R_0044_0009__LAND] :
          ( r_0044_0008__the_r_0044_0009__land(R_0044_0008__THE_R_0044_0009__LAND)
         => ? [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(Z_000_44_A_DICK_1952_36)
              & z_000_44_a_dick_1952_27_r_0044_0010__fused(Z_000_44_A_DICK_1952_27_R_0044_0010__FUSED)
              & has_arg0(Z_000_44_A_DICK_1952_27_R_0044_0010__FUSED,Z_000_44_A_DICK_1952_36)
              & has_arg1(Z_000_44_A_DICK_1952_27_R_0044_0010__FUSED,R_0044_0008__THE_R_0044_0009__LAND) ) ) ) ).


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