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

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_0005__down,r_0077_0002__and,arg0).
arc(r_0077_0004__rained_r_0077_0005__down,r_0077_0007__him,r_0077_0006__on__nim).

fof(formula,axiom,
    ? [R_0077_0001__PAPERS,R_0077_0003__INSTRUMENTS,R_0077_0002__AND,R_0077_0007__HIM,R_0077_0004__RAINED_R_0077_0005__DOWN] :
      ( r_0077_0001__Papers(R_0077_0001__PAPERS)
      & r_0077_0003__instruments(R_0077_0003__INSTRUMENTS)
      & r_0077_0007__him(R_0077_0007__HIM)
      & r_0077_0004__rained_r_0077_0005__down(R_0077_0004__RAINED_R_0077_0005__DOWN)
      & has_r_0077_0006__on__nim(R_0077_0004__RAINED_R_0077_0005__DOWN,R_0077_0007__HIM)
      & has_arg0(R_0077_0004__RAINED_R_0077_0005__DOWN,R_0077_0002__AND)
      & r_0077_0002__and(R_0077_0002__AND)
      & has_conj2(R_0077_0002__AND,R_0077_0003__INSTRUMENTS)
      & has_conj1(R_0077_0002__AND,R_0077_0001__PAPERS) ) ).