476_a_dick_1952
He managed to pull a section away.
( (IP-MAT (NP-SBJ;{DORLE} (PRO He;{he}))
(VBD;_Tt_ managed;{manage})
(IP-INF-OB1 (TO to;{to})
(VB;_phr_Vn<=>p_ pull;{pull[away]})
(NP-OB1 (D a;{a})
(N section;{section}))
(RP away;{away}))
(PUNC .))
(ID 476_a_dick_1952))
arc(r_0476_0002__managed,r_0476_0001__He,arg0).
arc(r_0476_0002__managed,r_0476_0004__pull_r_0476_0007__away,arg1).
arc(r_0476_0004__pull_r_0476_0007__away,r_0476_0001__He,arg0).
arc(r_0476_0004__pull_r_0476_0007__away,r_0476_0005__a_r_0476_0006__section,arg1).
fof(formula,axiom,
? [R_0476_0001__HE,R_0476_0005__A_R_0476_0006__SECTION,R_0476_0004__PULL_R_0476_0007__AWAY,R_0476_0002__MANAGED] :
( r_0476_0001__He(R_0476_0001__HE)
& r_0476_0005__a_r_0476_0006__section(R_0476_0005__A_R_0476_0006__SECTION)
& r_0476_0002__managed(R_0476_0002__MANAGED)
& has_arg1(R_0476_0002__MANAGED,R_0476_0004__PULL_R_0476_0007__AWAY)
& r_0476_0004__pull_r_0476_0007__away(R_0476_0004__PULL_R_0476_0007__AWAY)
& has_arg1(R_0476_0004__PULL_R_0476_0007__AWAY,R_0476_0005__A_R_0476_0006__SECTION)
& has_arg0(R_0476_0004__PULL_R_0476_0007__AWAY,R_0476_0001__HE)
& has_arg0(R_0476_0002__MANAGED,R_0476_0001__HE) ) ).