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.
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_nim19).
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_nim49).
arc(r_0285_0018__a_bit, r_0285_0020__paper, r_0285_0019__of).
fof(formula,axiom,
? [R_285_13_AND,R_285_2_TOOK,R_285_3_A_WRITING_STICK,R_285_7_THE_POCKET,R_285_11_PRESSURE_SUIT,R_285_14_COPIED,R_285_1_HE,R_285_15_THE_INSCRIPTION,R_285_18_A_BIT,R_285_20_PAPER] :
( a_writing_stick(R_285_3_A_WRITING_STICK)
& he(R_285_1_HE)
& the_inscription(R_285_15_THE_INSCRIPTION)
& paper(R_285_20_PAPER)
& and(R_285_13_AND)
& conj1(R_285_13_AND,R_285_2_TOOK)
& took(R_285_2_TOOK,R_285_1_HE,R_285_3_A_WRITING_STICK)
& from_nim19(R_285_2_TOOK,R_285_7_THE_POCKET)
& the_pocket(R_285_7_THE_POCKET)
& of(R_285_7_THE_POCKET,R_285_11_PRESSURE_SUIT)
& pressure_suit(R_285_11_PRESSURE_SUIT)
& gen(R_285_11_PRESSURE_SUIT,R_285_1_HE)
& conj2(R_285_13_AND,R_285_14_COPIED)
& copied(R_285_14_COPIED,R_285_1_HE,R_285_15_THE_INSCRIPTION)
& on_nim49(R_285_14_COPIED,R_285_18_A_BIT)
& a_bit(R_285_18_A_BIT)
& of(R_285_18_A_BIT,R_285_20_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))