99_a_dick_1952
there were still many small leaks, and radioactive particles from the atmosphere had already found their way into the ship.
arc(r_0099_0001__there_r_0099_0002__were, r_0099_0003__still, nim8).
arc(r_0099_0001__there_r_0099_0002__were, r_0099_0006__leaks, arg0).
arc(r_0099_0006__leaks, r_0099_0004__many, attrib12).
arc(r_0099_0006__leaks, r_0099_0005__small, attrib15).
arc(r_0099_0008__and, r_0099_0001__there_r_0099_0002__were, conj1).
arc(r_0099_0008__and, r_0099_0014__had, conj2).
arc(r_0099_0010__particles, r_0099_0009__radioactive, attrib27).
arc(r_0099_0010__particles, r_0099_0012__the_r_0099_0013__atmosphere, r_0099_0011__from).
arc(r_0099_0014__had, r_0099_0016__found, scope).
arc(r_0099_0016__found, r_0099_0010__particles, arg0).
arc(r_0099_0016__found, r_0099_0015__already, nim43).
arc(r_0099_0016__found, r_0099_0018__way, arg1).
arc(r_0099_0016__found, r_0099_0020__the_r_0099_0021__ship, r_0099_0019__into_clr57).
arc(r_0099_0018__way, r_0099_0010__particles, gen).
fof(formula,axiom,
? [R_99_8_AND,R_99_1_THERE_WERE,R_99_6_LEAKS,R_99_4_MANY,R_99_5_SMALL,R_99_3_STILL,R_99_14_HAD_FOUND,R_99_18_WAY,R_99_10_PARTICLES,R_99_9_RADIOACTIVE,R_99_12_THE_ATMOSPHERE,R_99_15_ALREADY,R_99_20_THE_SHIP] :
( many(R_99_4_MANY)
& small(R_99_5_SMALL)
& still(R_99_3_STILL)
& radioactive(R_99_9_RADIOACTIVE)
& the_atmosphere(R_99_12_THE_ATMOSPHERE)
& already(R_99_15_ALREADY)
& the_ship(R_99_20_THE_SHIP)
& and(R_99_8_AND)
& conj1(R_99_8_AND,R_99_1_THERE_WERE)
& there_were(R_99_1_THERE_WERE,R_99_6_LEAKS)
& leaks(R_99_6_LEAKS)
& attrib12(R_99_6_LEAKS,R_99_4_MANY)
& attrib15(R_99_6_LEAKS,R_99_5_SMALL)
& nim8(R_99_1_THERE_WERE,R_99_3_STILL)
& conj2(R_99_8_AND,R_99_14_HAD_FOUND)
& had_found(R_99_14_HAD_FOUND,R_99_10_PARTICLES,R_99_18_WAY)
& particles(R_99_10_PARTICLES)
& attrib27(R_99_10_PARTICLES,R_99_9_RADIOACTIVE)
& from(R_99_10_PARTICLES,R_99_12_THE_ATMOSPHERE)
& way(R_99_18_WAY)
& gen(R_99_18_WAY,R_99_10_PARTICLES)
& nim43(R_99_14_HAD_FOUND,R_99_15_ALREADY)
& into_clr57(R_99_14_HAD_FOUND,R_99_20_THE_SHIP) ) ).
( (IP-MAT (ILYR (ILYR (EX there;{there})
(BED;_ex_V_ were;{be})
(ADVP-NIM (ADV still;{still}))
(NP-ESBJ (ADJP (ADJ many;{many}))
(ADJP (ADJ small;{small}))
(NS leaks;{leak})))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ;{PARTICLES} (ADJP (ADJ radioactive;{radioactive}))
(NS particles;{particle})
(PP (P-ROLE from;{from})
(NP (D the;{the})
(N atmosphere;{atmosphere}))))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (ADVP-NIM (ADV already;{already}))
(VVN;_Tn.pr_ found;{find[into]})
(NP-OB1 (NP-GEN;{PARTICLES} (PRO;_genm_ their;{their}))
(N way;{way}))
(PP-CLR (P-ROLE into;{into})
(NP (D the;{the})
(N ship;{ship})))))))
(PUNC .))
(ID 99_a_dick_1952))