( (IP-MAT (NP-SBJ;{DORLE} (PRO I;{I}))
          (MD;_cat_Vi_ ca;{can})
          (NEG;_clitic_ n<apos>t;{not})
          (IP-INF-CAT (VB;_Ipr_ think;{think[of]})
                      (PP-CLR (P-ROLE of;{of})
                              (NP (D any;{any})
                                  (ADJP (ADJ other;{other}))
                                  (N way;{way}))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 445_a_dick_1952))

arc(r_0445_0002__ca,r_0445_0004__think_r_0445_0005__of,scope).
arc(r_0445_0003__n_apos_t,r_0445_0002__ca,keep_scope).
arc(r_0445_0004__think_r_0445_0005__of,r_0445_0001__I,arg0).
arc(r_0445_0004__think_r_0445_0005__of,r_0445_0006__any_r_0445_0008__way,arg1).
arc(r_0445_0006__any_r_0445_0008__way,r_0445_0007__other,attrib).

fof(formula,axiom,
    ~ ? [R_0445_0001__I,R_0445_0007__OTHER,R_0445_0006__ANY_R_0445_0008__WAY,R_0445_0002__CA_R_0445_0004__THINK_R_0445_0005__OF] :
        ( r_0445_0001__I(R_0445_0001__I)
        & r_0445_0007__other(R_0445_0007__OTHER)
        & r_0445_0002__ca_r_0445_0004__think_r_0445_0005__of(R_0445_0002__CA_R_0445_0004__THINK_R_0445_0005__OF)
        & has_arg1(R_0445_0002__CA_R_0445_0004__THINK_R_0445_0005__OF,R_0445_0006__ANY_R_0445_0008__WAY)
        & r_0445_0006__any_r_0445_0008__way(R_0445_0006__ANY_R_0445_0008__WAY)
        & has_attrib(R_0445_0006__ANY_R_0445_0008__WAY,R_0445_0007__OTHER)
        & has_arg0(R_0445_0002__CA_R_0445_0004__THINK_R_0445_0005__OF,R_0445_0001__I) ) ).