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_27, r_0044_0010__fused, 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_3, r_0044_0002__poisoned, scope).


%3 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_0010__fused fused r_0044_0007__all_quant->z_000_44_a_dick_1952_27_r_0044_0010__fused [scope] z_000_44_a_dick_1952_27_r_0044_0010__fused->r_0044_0008__the_r_0044_0009__land [arg1] 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_15_r_0044_0005__vaporized vaporized 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_20 z_000_44_a_dick_1952_15_r_0044_0005__vaporized->z_000_44_a_dick_1952_20 [arg0] 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_r_0044_0005__vaporized [conj2] 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] 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_8 z_000_44_a_dick_1952_3_r_0044_0002__poisoned->z_000_44_a_dick_1952_8 [arg0] 
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_9 * n44_a_dick_1952_11 poisoned n44_a_dick_1952_13 , n44_a_dick_1952_18 water n44_a_dick_1952_21 * n44_a_dick_1952_23 vaporized n44_a_dick_1952_25 , n44_a_dick_1952_30 all n44_a_dick_1952_32 the n44_a_dick_1952_34 land n44_a_dick_1952_37 * n44_a_dick_1952_39 fused n44_a_dick_1952_41 . n44_a_dick_1952_43 <rdquo> n44_a_dick_1952_6 Atmosphere n44_a_dick_1952_1 IP-MAT n44_a_dick_1952_2 ILYR n44_a_dick_1952_1->n44_a_dick_1952_2 n44_a_dick_1952_40 PUNC n44_a_dick_1952_1->n44_a_dick_1952_40 n44_a_dick_1952_42 PURQ n44_a_dick_1952_1->n44_a_dick_1952_42 n44_a_dick_1952_3 ILYR n44_a_dick_1952_2->n44_a_dick_1952_3 n44_a_dick_1952_12 PUNC n44_a_dick_1952_2->n44_a_dick_1952_12 n44_a_dick_1952_14 CONJP n44_a_dick_1952_2->n44_a_dick_1952_14 n44_a_dick_1952_24 PUNC n44_a_dick_1952_2->n44_a_dick_1952_24 n44_a_dick_1952_26 CONJP n44_a_dick_1952_2->n44_a_dick_1952_26 n44_a_dick_1952_4 NP-SBJ n44_a_dick_1952_3->n44_a_dick_1952_4 n44_a_dick_1952_7 IP-PPL-CAT n44_a_dick_1952_3->n44_a_dick_1952_7 n44_a_dick_1952_5 N n44_a_dick_1952_4->n44_a_dick_1952_5 n44_a_dick_1952_5->n44_a_dick_1952_6 n44_a_dick_1952_8 NP-LGS n44_a_dick_1952_7->n44_a_dick_1952_8 n44_a_dick_1952_10 VVN;_Tn_ n44_a_dick_1952_7->n44_a_dick_1952_10 n44_a_dick_1952_8->n44_a_dick_1952_9 n44_a_dick_1952_10->n44_a_dick_1952_11 n44_a_dick_1952_12->n44_a_dick_1952_13 n44_a_dick_1952_15 ILYR n44_a_dick_1952_14->n44_a_dick_1952_15 n44_a_dick_1952_16 NP-SBJ n44_a_dick_1952_15->n44_a_dick_1952_16 n44_a_dick_1952_19 IP-PPL-CAT n44_a_dick_1952_15->n44_a_dick_1952_19 n44_a_dick_1952_17 N n44_a_dick_1952_16->n44_a_dick_1952_17 n44_a_dick_1952_17->n44_a_dick_1952_18 n44_a_dick_1952_20 NP-LGS n44_a_dick_1952_19->n44_a_dick_1952_20 n44_a_dick_1952_22 VVN;_Tn_ n44_a_dick_1952_19->n44_a_dick_1952_22 n44_a_dick_1952_20->n44_a_dick_1952_21 n44_a_dick_1952_22->n44_a_dick_1952_23 n44_a_dick_1952_24->n44_a_dick_1952_25 n44_a_dick_1952_27 ILYR n44_a_dick_1952_26->n44_a_dick_1952_27 n44_a_dick_1952_28 NP-SBJ n44_a_dick_1952_27->n44_a_dick_1952_28 n44_a_dick_1952_35 IP-PPL-CAT n44_a_dick_1952_27->n44_a_dick_1952_35 n44_a_dick_1952_29 Q;_nphd_ n44_a_dick_1952_28->n44_a_dick_1952_29 n44_a_dick_1952_31 D n44_a_dick_1952_28->n44_a_dick_1952_31 n44_a_dick_1952_33 N n44_a_dick_1952_28->n44_a_dick_1952_33 n44_a_dick_1952_29->n44_a_dick_1952_30 n44_a_dick_1952_31->n44_a_dick_1952_32 n44_a_dick_1952_33->n44_a_dick_1952_34 n44_a_dick_1952_36 NP-LGS n44_a_dick_1952_35->n44_a_dick_1952_36 n44_a_dick_1952_38 VVN;_Tn_ n44_a_dick_1952_35->n44_a_dick_1952_38 n44_a_dick_1952_36->n44_a_dick_1952_37 n44_a_dick_1952_38->n44_a_dick_1952_39 n44_a_dick_1952_40->n44_a_dick_1952_41 n44_a_dick_1952_42->n44_a_dick_1952_43 
( (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))