TSPC 285_a_dick

285_a_dick_1952
He took a writing stick from the pocket of his pressure suit and copied the inscription on a bit of paper.

( (IP-MAT (NP-SBJ;{TANCE} (PRO He;{he}))
          (ILYR (ILYR (VBD;_Tn_ took;{take})
                      (NP-OB1 (D a;{a})
                              (N writing;{writing})
                              (N stick;{stick}))
                      (PP-NIM (P-ROLE from;{from})
                              (NP (D the;{the})
                                  (N pocket;{pocket})
                                  (PP (P-ROLE of;{of})
                                      (NP (NP-GEN;{TANCE} (PRO;_genm_ his;{his}))
                                          (N pressure;{pressure})
                                          (N suit;{suit}))))))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tn_ copied;{copy})
                             (NP-OB1;{INSCRIPTION} (D the;{the})
                                                   (N inscription;{inscription}))
                             (PP-NIM (P-ROLE on;{on})
                                     (NP (D;_nphd_ a_bit;{a_bit})
                                         (PP (P-ROLE of;{of})
                                             (NP (N paper;{paper}))))))))
          (PUNC .))
  (ID 285_a_dick_1952))

arc(r_0285_0002__took,r_0285_0001__He,arg0).
arc(r_0285_0002__took,r_0285_0003__a_r_0285_0004__writing_r_0285_0005__stick,arg1).
arc(r_0285_0002__took,r_0285_0007__the_r_0285_0008__pocket,r_0285_0006__from__nim).
arc(r_0285_0007__the_r_0285_0008__pocket,r_0285_0011__pressure_r_0285_0012__suit,r_0285_0009__of).
arc(r_0285_0011__pressure_r_0285_0012__suit,r_0285_0001__He,gen).
arc(r_0285_0013__and,r_0285_0002__took,conj1).
arc(r_0285_0013__and,r_0285_0014__copied,conj2).
arc(r_0285_0014__copied,r_0285_0001__He,arg0).
arc(r_0285_0014__copied,r_0285_0015__the_r_0285_0016__inscription,arg1).
arc(r_0285_0014__copied,r_0285_0018__a_bit,r_0285_0017__on__nim).
arc(r_0285_0018__a_bit,r_0285_0020__paper,r_0285_0019__of).

fof(formula,axiom,
    ? [R_0285_0001__HE,R_0285_0003__A_R_0285_0004__WRITING_R_0285_0005__STICK,R_0285_0011__PRESSURE_R_0285_0012__SUIT,R_0285_0007__THE_R_0285_0008__POCKET,R_0285_0002__TOOK,R_0285_0015__THE_R_0285_0016__INSCRIPTION,R_0285_0020__PAPER,R_0285_0018__A_BIT,R_0285_0014__COPIED,R_0285_0013__AND] :
      ( r_0285_0001__He(R_0285_0001__HE)
      & r_0285_0003__a_r_0285_0004__writing_r_0285_0005__stick(R_0285_0003__A_R_0285_0004__WRITING_R_0285_0005__STICK)
      & r_0285_0015__the_r_0285_0016__inscription(R_0285_0015__THE_R_0285_0016__INSCRIPTION)
      & r_0285_0020__paper(R_0285_0020__PAPER)
      & r_0285_0013__and(R_0285_0013__AND)
      & has_conj2(R_0285_0013__AND,R_0285_0014__COPIED)
      & r_0285_0014__copied(R_0285_0014__COPIED)
      & has_r_0285_0017__on__nim(R_0285_0014__COPIED,R_0285_0018__A_BIT)
      & r_0285_0018__a_bit(R_0285_0018__A_BIT)
      & has_r_0285_0019__of(R_0285_0018__A_BIT,R_0285_0020__PAPER)
      & has_arg1(R_0285_0014__COPIED,R_0285_0015__THE_R_0285_0016__INSCRIPTION)
      & has_arg0(R_0285_0014__COPIED,R_0285_0001__HE)
      & has_conj1(R_0285_0013__AND,R_0285_0002__TOOK)
      & r_0285_0002__took(R_0285_0002__TOOK)
      & has_r_0285_0006__from__nim(R_0285_0002__TOOK,R_0285_0007__THE_R_0285_0008__POCKET)
      & r_0285_0007__the_r_0285_0008__pocket(R_0285_0007__THE_R_0285_0008__POCKET)
      & has_r_0285_0009__of(R_0285_0007__THE_R_0285_0008__POCKET,R_0285_0011__PRESSURE_R_0285_0012__SUIT)
      & r_0285_0011__pressure_r_0285_0012__suit(R_0285_0011__PRESSURE_R_0285_0012__SUIT)
      & has_gen(R_0285_0011__PRESSURE_R_0285_0012__SUIT,R_0285_0001__HE)
      & has_arg1(R_0285_0002__TOOK,R_0285_0003__A_R_0285_0004__WRITING_R_0285_0005__STICK)
      & has_arg0(R_0285_0002__TOOK,R_0285_0001__HE) ) ).