77_a_dick_1952
Papers and instruments rained down on him.
arc(r_0077_0002__and, r_0077_0001__Papers, conj1).
arc(r_0077_0002__and, r_0077_0003__instruments, conj2).
arc(r_0077_0004__rained, r_0077_0002__and, arg0).
arc(r_0077_0004__rained, r_0077_0005__down, clr15).
arc(r_0077_0004__rained, r_0077_0007__him, r_0077_0006__on_nim21).
fof(formula,axiom,
? [R_77_4_RAINED,R_77_2_AND,R_77_1_PAPERS,R_77_3_INSTRUMENTS,R_77_5_DOWN,R_77_7_HIM] :
( papers(R_77_1_PAPERS)
& instruments(R_77_3_INSTRUMENTS)
& down(R_77_5_DOWN)
& him(R_77_7_HIM)
& rained(R_77_4_RAINED,R_77_2_AND)
& and(R_77_2_AND)
& conj1(R_77_2_AND,R_77_1_PAPERS)
& conj2(R_77_2_AND,R_77_3_INSTRUMENTS)
& clr15(R_77_4_RAINED,R_77_5_DOWN)
& on_nim21(R_77_4_RAINED,R_77_7_HIM) ) ).
( (IP-MAT (NP-SBJ (NLYR (NLYR (NS Papers;{paper}))
(CONJP (CONJ and;{and})
(NLYR (NS instruments;{instrument})))))
(VBD;_Ip_ rained;{rain[down]})
(ADVP-CLR (RP down;{down}))
(PP-NIM (P-ROLE on;{on})
(NP;{CAPTAIN} (PRO him;{he})))
(PUNC .))
(ID 77_a_dick_1952))