462_a_dick_1952
A spool fell to the floor, unwinding a black ribbon.
( (IP-MAT (NP-SBJ;{SPOOL} (D A;{a})
(N spool;{spool}))
(VBD;_Ipr_ fell;{fall[to]})
(PP-CLR (P-ROLE to;{to})
(NP (D the;{the})
(N floor;{floor})))
(PUNC ,)
(PP-SCON (IP-PPL (VAG;_Tn_ unwinding;{unwind})
(NP-OB1 (D a;{a})
(ADJP (ADJ black;{black}))
(N ribbon;{ribbon}))))
(PUNC .))
(ID 462_a_dick_1952))
arc(r_0462_0003__fell_r_0462_0004__to,r_0462_0001__A_r_0462_0002__spool,arg0).
arc(r_0462_0003__fell_r_0462_0004__to,r_0462_0005__the_r_0462_0006__floor,arg1).
arc(r_0462_0008__unwinding,r_0462_0005__the_r_0462_0006__floor,arg0).
arc(r_0462_0008__unwinding,r_0462_0009__a_r_0462_0011__ribbon,arg1).
arc(r_0462_0009__a_r_0462_0011__ribbon,r_0462_0010__black,attrib).
arc(z_0462_5003,r_0462_0003__fell_r_0462_0004__to,scope).
arc(z_0462_5003,r_0462_0008__unwinding,restriction).
fof(formula,axiom,
? [R_0462_0001__A_R_0462_0002__SPOOL,R_0462_0005__THE_R_0462_0006__FLOOR,R_0462_0003__FELL_R_0462_0004__TO,R_0462_0010__BLACK,R_0462_0009__A_R_0462_0011__RIBBON,R_0462_0008__UNWINDING,Z_0462_5003] :
( r_0462_0001__A_r_0462_0002__spool(R_0462_0001__A_R_0462_0002__SPOOL)
& r_0462_0005__the_r_0462_0006__floor(R_0462_0005__THE_R_0462_0006__FLOOR)
& r_0462_0010__black(R_0462_0010__BLACK)
& z_0462_5003(Z_0462_5003)
& has_conj1(Z_0462_5003,R_0462_0008__UNWINDING)
& r_0462_0008__unwinding(R_0462_0008__UNWINDING)
& has_arg1(R_0462_0008__UNWINDING,R_0462_0009__A_R_0462_0011__RIBBON)
& r_0462_0009__a_r_0462_0011__ribbon(R_0462_0009__A_R_0462_0011__RIBBON)
& has_attrib(R_0462_0009__A_R_0462_0011__RIBBON,R_0462_0010__BLACK)
& has_arg0(R_0462_0008__UNWINDING,R_0462_0005__THE_R_0462_0006__FLOOR)
& has_conj2(Z_0462_5003,R_0462_0003__FELL_R_0462_0004__TO)
& r_0462_0003__fell_r_0462_0004__to(R_0462_0003__FELL_R_0462_0004__TO)
& has_arg1(R_0462_0003__FELL_R_0462_0004__TO,R_0462_0005__THE_R_0462_0006__FLOOR)
& has_arg0(R_0462_0003__FELL_R_0462_0004__TO,R_0462_0001__A_R_0462_0002__SPOOL) ) ).