Context                Previous, Next                Top


565_a_dick_1952
The telescopic sights shattered into bits.

n565_a_dick_1952 n565_a_dick_1952__1_1_1_1 The n565_a_dick_1952__1_1_2_1_1 telescopic n565_a_dick_1952__1_1_3_1 sights n565_a_dick_1952__1_2_1 shattered n565_a_dick_1952__1_3_1_1 into n565_a_dick_1952__1_3_2_1_1 bits n565_a_dick_1952__1_4_1 . n565_a_dick_1952__1 IP-MAT n565_a_dick_1952__1_1 NP-SBJ n565_a_dick_1952__1->n565_a_dick_1952__1_1 n565_a_dick_1952__1_2 VBD;_Tn_ n565_a_dick_1952__1->n565_a_dick_1952__1_2 n565_a_dick_1952__1_3 PP-NIM n565_a_dick_1952__1->n565_a_dick_1952__1_3 n565_a_dick_1952__1_4 PUNC n565_a_dick_1952__1->n565_a_dick_1952__1_4 n565_a_dick_1952__1_1_1 D n565_a_dick_1952__1_1->n565_a_dick_1952__1_1_1 n565_a_dick_1952__1_1_2 ADJP n565_a_dick_1952__1_1->n565_a_dick_1952__1_1_2 n565_a_dick_1952__1_1_3 NS n565_a_dick_1952__1_1->n565_a_dick_1952__1_1_3 n565_a_dick_1952__1_1_1->n565_a_dick_1952__1_1_1_1 n565_a_dick_1952__1_1_2_1 ADJ n565_a_dick_1952__1_1_2->n565_a_dick_1952__1_1_2_1 n565_a_dick_1952__1_1_2_1->n565_a_dick_1952__1_1_2_1_1 n565_a_dick_1952__1_1_3->n565_a_dick_1952__1_1_3_1 n565_a_dick_1952__1_2->n565_a_dick_1952__1_2_1 n565_a_dick_1952__1_3_1 P-ROLE n565_a_dick_1952__1_3->n565_a_dick_1952__1_3_1 n565_a_dick_1952__1_3_2 NP n565_a_dick_1952__1_3->n565_a_dick_1952__1_3_2 n565_a_dick_1952__1_3_1->n565_a_dick_1952__1_3_1_1 n565_a_dick_1952__1_3_2_1 NS n565_a_dick_1952__1_3_2->n565_a_dick_1952__1_3_2_1 n565_a_dick_1952__1_3_2_1->n565_a_dick_1952__1_3_2_1_1 n565_a_dick_1952__1_4->n565_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ telescopic;{telescopic}))
                  (NS sights;{sight}))
          (VBD;_Tn_ shattered;{shatter})
          (PP-NIM (P-ROLE into;{into})
                  (NP (NS bits;{bit})))
          (PUNC .))
  (ID 565_a_dick_1952))


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


%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 [nim] 
fof(formula,axiom,
    ? [R_0565_0002__TELESCOPIC,R_0565_0001__THE_R_0565_0003__SIGHTS,R_0565_0006__BITS,R_0565_0004__SHATTERED] :
      ( r_0565_0002__telescopic(R_0565_0002__TELESCOPIC)
      & r_0565_0006__bits(R_0565_0006__BITS)
      & r_0565_0004__shattered(R_0565_0004__SHATTERED)
      & has_r_0565_0005__into__nim(R_0565_0004__SHATTERED,R_0565_0006__BITS)
      & has_arg0(R_0565_0004__SHATTERED,R_0565_0001__THE_R_0565_0003__SIGHTS)
      & r_0565_0001__The_r_0565_0003__sights(R_0565_0001__THE_R_0565_0003__SIGHTS)
      & has_attrib(R_0565_0001__THE_R_0565_0003__SIGHTS,R_0565_0002__TELESCOPIC) ) ).