378_a_dick_1952
I suppose this is some sort of a telescopic sight.”
arc(r_0378_0002__suppose, r_0378_0001__I, arg0).
arc(r_0378_0002__suppose, r_0378_0004__is, arg1).
arc(r_0378_0004__is, r_0378_0003__this, arg0).
arc(r_0378_0004__is, r_0378_0005__some_r_0378_0006__sort, prd).
arc(r_0378_0005__some_r_0378_0006__sort, r_0378_0008__a_r_0378_0010__sight, r_0378_0007__of).
arc(r_0378_0008__a_r_0378_0010__sight, r_0378_0009__telescopic, attrib25).
fof(formula,axiom,
? [R_378_2_SUPPOSE,R_378_1_I,R_378_4_IS,R_378_3_THIS,R_378_5_SOME_SORT,R_378_8_A_SIGHT,R_378_9_TELESCOPIC] :
( i(R_378_1_I)
& this(R_378_3_THIS)
& telescopic(R_378_9_TELESCOPIC)
& suppose(R_378_2_SUPPOSE,R_378_1_I,R_378_4_IS)
& is(R_378_4_IS,R_378_3_THIS,R_378_5_SOME_SORT)
& some_sort(R_378_5_SOME_SORT)
& of(R_378_5_SOME_SORT,R_378_8_A_SIGHT)
& a_sight(R_378_8_A_SIGHT)
& attrib25(R_378_8_A_SIGHT,R_378_9_TELESCOPIC) ) ).
( (IP-MAT (NP-SBJ;{TANCE} (PRO I;{I}))
(VBP;_Tf_ suppose;{suppose})
(CP-THT-OB1 (IP-SUB (NP-SBJ (D;_nphd_ this;{this}))
(BEP;_Ln_ is;{be})
(NP-PRD (D some;{some})
(N sort;{sort})
(PP (P-ROLE of;{of})
(NP (D a;{a})
(ADJP (ADJ telescopic;{telescopic}))
(N sight;{sight}))))))
(PUNC .)
(PURQ <rdquo>))
(ID 378_a_dick_1952))