565_a_dick_1952
The telescopic sights shattered into bits.
arc(r_0565_0001__The_r_0565_0003__sights, r_0565_0002__telescopic, attrib5).
arc(r_0565_0004__shattered, r_0565_0001__The_r_0565_0003__sights, arg0).
arc(r_0565_0004__shattered, r_0565_0006__bits, r_0565_0005__into_clr15).
fof(formula,axiom,
? [R_565_4_SHATTERED,R_565_1_THE_SIGHTS,R_565_2_TELESCOPIC,R_565_6_BITS] :
( telescopic(R_565_2_TELESCOPIC)
& bits(R_565_6_BITS)
& shattered(R_565_4_SHATTERED,R_565_1_THE_SIGHTS)
& the_sights(R_565_1_THE_SIGHTS)
& attrib5(R_565_1_THE_SIGHTS,R_565_2_TELESCOPIC)
& into_clr15(R_565_4_SHATTERED,R_565_6_BITS) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(ADJP (ADJ telescopic;{telescopic}))
(NS sights;{sight}))
(VBD;_Ipr_ shattered;{shatter[into]})
(PP-CLR (P-ROLE into;{into})
(NP (NS bits;{bit})))
(PUNC .))
(ID 565_a_dick_1952))