469_a_dick_1952
Tance closed the spool up in the drum again.
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_nim17).
arc(r_0469_0002__closed_r_0469_0005__up, r_0469_0009__again, nim22).
fof(formula,axiom,
? [R_469_2_CLOSED_UP,R_469_1_TANCE,R_469_3_THE_SPOOL,R_469_9_AGAIN,R_469_7_THE_DRUM] :
( tance(R_469_1_TANCE)
& the_spool(R_469_3_THE_SPOOL)
& again(R_469_9_AGAIN)
& the_drum(R_469_7_THE_DRUM)
& closed_up(R_469_2_CLOSED_UP,R_469_1_TANCE,R_469_3_THE_SPOOL)
& nim22(R_469_2_CLOSED_UP,R_469_9_AGAIN)
& in_nim17(R_469_2_CLOSED_UP,R_469_7_THE_DRUM) ) ).
( (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))