Context                Previous, Next                Top


565_a_dick_1952
The telescopic sights shattered into bits.

%3 r_0565_0001__The_r_0565_0003__sights The sights r_0565_0002__telescopic telescopic r_0565_0001__The_r_0565_0003__sights->r_0565_0002__telescopic [attrib] r_0565_0004__shattered shattered r_0565_0004__shattered->r_0565_0001__The_r_0565_0003__sights [arg0] r_0565_0006__bits bits r_0565_0004__shattered->r_0565_0006__bits into [clr] 
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).


%3 r_0565_0001__The_r_0565_0003__sights The sights r_0565_0002__telescopic telescopic r_0565_0001__The_r_0565_0003__sights->r_0565_0002__telescopic [attrib] r_0565_0004__shattered shattered r_0565_0004__shattered->r_0565_0001__The_r_0565_0003__sights [arg0] r_0565_0006__bits bits r_0565_0004__shattered->r_0565_0006__bits into [clr] 
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) ) ).


n565_a_dick_1952 n565_a_dick_1952_4 The n565_a_dick_1952_7 telescopic n565_a_dick_1952_9 sights n565_a_dick_1952_11 shattered n565_a_dick_1952_14 into n565_a_dick_1952_17 bits n565_a_dick_1952_19 . n565_a_dick_1952_1 IP-MAT n565_a_dick_1952_2 NP-SBJ n565_a_dick_1952_1->n565_a_dick_1952_2 n565_a_dick_1952_10 VBD;_Ipr_ n565_a_dick_1952_1->n565_a_dick_1952_10 n565_a_dick_1952_12 PP-CLR n565_a_dick_1952_1->n565_a_dick_1952_12 n565_a_dick_1952_18 PUNC n565_a_dick_1952_1->n565_a_dick_1952_18 n565_a_dick_1952_3 D n565_a_dick_1952_2->n565_a_dick_1952_3 n565_a_dick_1952_5 ADJP n565_a_dick_1952_2->n565_a_dick_1952_5 n565_a_dick_1952_8 NS n565_a_dick_1952_2->n565_a_dick_1952_8 n565_a_dick_1952_3->n565_a_dick_1952_4 n565_a_dick_1952_6 ADJ n565_a_dick_1952_5->n565_a_dick_1952_6 n565_a_dick_1952_6->n565_a_dick_1952_7 n565_a_dick_1952_8->n565_a_dick_1952_9 n565_a_dick_1952_10->n565_a_dick_1952_11 n565_a_dick_1952_13 P-ROLE n565_a_dick_1952_12->n565_a_dick_1952_13 n565_a_dick_1952_15 NP n565_a_dick_1952_12->n565_a_dick_1952_15 n565_a_dick_1952_13->n565_a_dick_1952_14 n565_a_dick_1952_16 NS n565_a_dick_1952_15->n565_a_dick_1952_16 n565_a_dick_1952_16->n565_a_dick_1952_17 n565_a_dick_1952_18->n565_a_dick_1952_19 
( (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))