379_a_dick_1952
His gloved hand touched the end of a long tube.
( (IP-MAT (NP-SBJ (NP-GEN;{TANCE} (PRO;_genm_ His;{his}))
(IP-PPL (NP-LGS *)
(VVN;_Tn_ gloved;{gloved}))
(N hand;{hand}))
(VBD;_Tn_ touched;{touch})
(NP-OB1 (D the;{the})
(N end;{end})
(PP (P-ROLE of;{of})
(NP (D a;{a})
(ADJP (ADJ long;{long}))
(N tube;{tube}))))
(PUNC .))
(ID 379_a_dick_1952))
arc(r_0379_0002__gloved,r_0379_0003__hand,inv_arg1).
arc(r_0379_0002__gloved,z_0379_5002___star_,arg0).
arc(r_0379_0003__hand,r_0379_0001__His,gen).
arc(r_0379_0004__touched,r_0379_0003__hand,arg0).
arc(r_0379_0004__touched,r_0379_0005__the_r_0379_0006__end,arg1).
arc(r_0379_0005__the_r_0379_0006__end,r_0379_0008__a_r_0379_0010__tube,r_0379_0007__of).
arc(r_0379_0008__a_r_0379_0010__tube,r_0379_0009__long,attrib).
fof(formula,axiom,
? [Z_0379_5002___STAR_,R_0379_0002__GLOVED,R_0379_0001__HIS,R_0379_0003__HAND,R_0379_0009__LONG,R_0379_0008__A_R_0379_0010__TUBE,R_0379_0005__THE_R_0379_0006__END,R_0379_0004__TOUCHED] :
( r_0379_0001__His(R_0379_0001__HIS)
& r_0379_0009__long(R_0379_0009__LONG)
& z_0379_5002___star_(Z_0379_5002___STAR_)
& r_0379_0004__touched(R_0379_0004__TOUCHED)
& has_arg1(R_0379_0004__TOUCHED,R_0379_0005__THE_R_0379_0006__END)
& r_0379_0005__the_r_0379_0006__end(R_0379_0005__THE_R_0379_0006__END)
& has_r_0379_0007__of(R_0379_0005__THE_R_0379_0006__END,R_0379_0008__A_R_0379_0010__TUBE)
& r_0379_0008__a_r_0379_0010__tube(R_0379_0008__A_R_0379_0010__TUBE)
& has_attrib(R_0379_0008__A_R_0379_0010__TUBE,R_0379_0009__LONG)
& has_arg0(R_0379_0004__TOUCHED,R_0379_0003__HAND)
& r_0379_0003__hand(R_0379_0003__HAND)
& has_gen(R_0379_0003__HAND,R_0379_0001__HIS)
& has_inv_arg1(R_0379_0003__HAND,R_0379_0002__GLOVED)
& r_0379_0002__gloved(R_0379_0002__GLOVED)
& has_arg0(R_0379_0002__GLOVED,Z_0379_5002___STAR_) ) ).