( (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))

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,attrib).

fof(formula,axiom,
    ? [R_0378_0001__I,R_0378_0003__THIS,R_0378_0009__TELESCOPIC,R_0378_0008__A_R_0378_0010__SIGHT,R_0378_0005__SOME_R_0378_0006__SORT,R_0378_0004__IS,R_0378_0002__SUPPOSE] :
      ( r_0378_0001__I(R_0378_0001__I)
      & r_0378_0003__this(R_0378_0003__THIS)
      & r_0378_0009__telescopic(R_0378_0009__TELESCOPIC)
      & r_0378_0002__suppose(R_0378_0002__SUPPOSE)
      & has_arg1(R_0378_0002__SUPPOSE,R_0378_0004__IS)
      & r_0378_0004__is(R_0378_0004__IS)
      & has_prd(R_0378_0004__IS,R_0378_0005__SOME_R_0378_0006__SORT)
      & r_0378_0005__some_r_0378_0006__sort(R_0378_0005__SOME_R_0378_0006__SORT)
      & has_r_0378_0007__of(R_0378_0005__SOME_R_0378_0006__SORT,R_0378_0008__A_R_0378_0010__SIGHT)
      & r_0378_0008__a_r_0378_0010__sight(R_0378_0008__A_R_0378_0010__SIGHT)
      & has_attrib(R_0378_0008__A_R_0378_0010__SIGHT,R_0378_0009__TELESCOPIC)
      & has_arg0(R_0378_0004__IS,R_0378_0003__THIS)
      & has_arg0(R_0378_0002__SUPPOSE,R_0378_0001__I) ) ).