99_a_dick_1952
there were still many small leaks, and radioactive particles from the atmosphere had already found their way into 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))
arc(r_0099_0002__were,r_0099_0003__still,nim).
arc(r_0099_0002__were,r_0099_0006__leaks,arg0).
arc(r_0099_0006__leaks,r_0099_0004__many,attrib).
arc(r_0099_0006__leaks,r_0099_0005__small,attrib).
arc(r_0099_0008__and,r_0099_0002__were,conj1).
arc(r_0099_0008__and,r_0099_0014__had,conj2).
arc(r_0099_0010__particles,r_0099_0009__radioactive,attrib).
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_r_0099_0019__into,scope).
arc(r_0099_0016__found_r_0099_0019__into,r_0099_0010__particles,arg0).
arc(r_0099_0016__found_r_0099_0019__into,r_0099_0015__already,nim).
arc(r_0099_0016__found_r_0099_0019__into,r_0099_0018__way,arg1).
arc(r_0099_0016__found_r_0099_0019__into,r_0099_0020__the_r_0099_0021__ship,arg2).
arc(r_0099_0018__way,r_0099_0010__particles,gen).
fof(formula,axiom,
? [R_0099_0003__STILL,R_0099_0004__MANY,R_0099_0005__SMALL,R_0099_0006__LEAKS,R_0099_0002__WERE,R_0099_0009__RADIOACTIVE,R_0099_0012__THE_R_0099_0013__ATMOSPHERE,R_0099_0010__PARTICLES,R_0099_0015__ALREADY,R_0099_0018__WAY,R_0099_0020__THE_R_0099_0021__SHIP,R_0099_0014__HAD_R_0099_0016__FOUND_R_0099_0019__INTO,R_0099_0008__AND] :
( r_0099_0003__still(R_0099_0003__STILL)
& r_0099_0004__many(R_0099_0004__MANY)
& r_0099_0005__small(R_0099_0005__SMALL)
& r_0099_0009__radioactive(R_0099_0009__RADIOACTIVE)
& r_0099_0012__the_r_0099_0013__atmosphere(R_0099_0012__THE_R_0099_0013__ATMOSPHERE)
& r_0099_0015__already(R_0099_0015__ALREADY)
& r_0099_0020__the_r_0099_0021__ship(R_0099_0020__THE_R_0099_0021__SHIP)
& r_0099_0008__and(R_0099_0008__AND)
& has_conj2(R_0099_0008__AND,R_0099_0014__HAD_R_0099_0016__FOUND_R_0099_0019__INTO)
& r_0099_0014__had_r_0099_0016__found_r_0099_0019__into(R_0099_0014__HAD_R_0099_0016__FOUND_R_0099_0019__INTO)
& has_arg2(R_0099_0014__HAD_R_0099_0016__FOUND_R_0099_0019__INTO,R_0099_0020__THE_R_0099_0021__SHIP)
& has_arg1(R_0099_0014__HAD_R_0099_0016__FOUND_R_0099_0019__INTO,R_0099_0018__WAY)
& r_0099_0018__way(R_0099_0018__WAY)
& has_gen(R_0099_0018__WAY,R_0099_0010__PARTICLES)
& r_0099_0010__particles(R_0099_0010__PARTICLES)
& has_r_0099_0011__from(R_0099_0010__PARTICLES,R_0099_0012__THE_R_0099_0013__ATMOSPHERE)
& has_attrib(R_0099_0010__PARTICLES,R_0099_0009__RADIOACTIVE)
& has_nim(R_0099_0014__HAD_R_0099_0016__FOUND_R_0099_0019__INTO,R_0099_0015__ALREADY)
& has_arg0(R_0099_0014__HAD_R_0099_0016__FOUND_R_0099_0019__INTO,R_0099_0010__PARTICLES)
& has_conj1(R_0099_0008__AND,R_0099_0002__WERE)
& r_0099_0002__were(R_0099_0002__WERE)
& has_arg0(R_0099_0002__WERE,R_0099_0006__LEAKS)
& r_0099_0006__leaks(R_0099_0006__LEAKS)
& has_attrib(R_0099_0006__LEAKS,R_0099_0005__SMALL)
& has_attrib(R_0099_0006__LEAKS,R_0099_0004__MANY)
& has_nim(R_0099_0002__WERE,R_0099_0003__STILL) ) ).