462_a_dick_1952
A spool fell to the floor, unwinding a black ribbon.
arc(r_0462_0003__fell, r_0462_0001__A_r_0462_0002__spool, arg0).
arc(r_0462_0003__fell, r_0462_0005__the_r_0462_0006__floor, r_0462_0004__to_clr12).
arc(r_0462_0008__unwinding, r_0462_0001__A_r_0462_0002__spool, 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, attrib26).
arc(z_000_462_a_dick_1952_19, r_0462_0003__fell, scope).
arc(z_000_462_a_dick_1952_19, 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_0010__BLACK,R_0462_0009__A_R_0462_0011__RIBBON,R_0462_0008__UNWINDING,Z_000_462_A_DICK_1952_19] :
( 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_000_462_a_dick_1952_19(Z_000_462_A_DICK_1952_19)
& has_conj1(Z_000_462_A_DICK_1952_19,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_attrib26(R_0462_0009__A_R_0462_0011__RIBBON,R_0462_0010__BLACK)
& has_arg0(R_0462_0008__UNWINDING,R_0462_0001__A_R_0462_0002__SPOOL)
& has_conj2(Z_000_462_A_DICK_1952_19,R_0462_0003__FELL)
& r_0462_0003__fell(R_0462_0003__FELL)
& has_r_0462_0004__to_clr12(R_0462_0003__FELL,R_0462_0005__THE_R_0462_0006__FLOOR)
& has_arg0(R_0462_0003__FELL,R_0462_0001__A_R_0462_0002__SPOOL) ) ).
( (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))