469_a_dick_1952
Tance closed the spool up in the drum again.
( (IP-MAT (NP-SBJ;{TANCE} (NPR Tance;{Tance}))
(VBD;_Tn_ closed;{close})
(NP-OB1 (D the;{the})
(N spool;{spool}))
(RP up;{up})
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(N drum;{drum})))
(ADVP-NIM (ADV again;{again}))
(PUNC .))
(ID 469_a_dick_1952))
arc(r_0469_0002__closed_r_0469_0005__up,r_0469_0001__Tance,arg0).
arc(r_0469_0002__closed_r_0469_0005__up,r_0469_0003__the_r_0469_0004__spool,arg1).
arc(r_0469_0002__closed_r_0469_0005__up,r_0469_0007__the_r_0469_0008__drum,r_0469_0006__in__nim).
arc(r_0469_0002__closed_r_0469_0005__up,r_0469_0009__again,nim).
fof(formula,axiom,
? [R_0469_0001__TANCE,R_0469_0003__THE_R_0469_0004__SPOOL,R_0469_0007__THE_R_0469_0008__DRUM,R_0469_0009__AGAIN,R_0469_0002__CLOSED_R_0469_0005__UP] :
( r_0469_0001__Tance(R_0469_0001__TANCE)
& r_0469_0003__the_r_0469_0004__spool(R_0469_0003__THE_R_0469_0004__SPOOL)
& r_0469_0007__the_r_0469_0008__drum(R_0469_0007__THE_R_0469_0008__DRUM)
& r_0469_0009__again(R_0469_0009__AGAIN)
& r_0469_0002__closed_r_0469_0005__up(R_0469_0002__CLOSED_R_0469_0005__UP)
& has_nim(R_0469_0002__CLOSED_R_0469_0005__UP,R_0469_0009__AGAIN)
& has_r_0469_0006__in__nim(R_0469_0002__CLOSED_R_0469_0005__UP,R_0469_0007__THE_R_0469_0008__DRUM)
& has_arg1(R_0469_0002__CLOSED_R_0469_0005__UP,R_0469_0003__THE_R_0469_0004__SPOOL)
& has_arg0(R_0469_0002__CLOSED_R_0469_0005__UP,R_0469_0001__TANCE) ) ).