( (IP-MAT (NP-SBJ;{NASHA} (PRO I;{I}))
          (VBP;_Tt_ want;{want})
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Dn.pr_ say;{say[to]})
                      (NP-OB1 (D;_nphd_ something;{something}))
                      (PP-OB2 (P-ROLE to;{to})
                              (NP;{DORLE} (PRO you;{you}))))
          (PUNC .))
  (ID 167_a_dick_1952))

arc(r_0167_0002__want,r_0167_0001__I,arg0).
arc(r_0167_0002__want,r_0167_0004__say_r_0167_0006__to,arg1).
arc(r_0167_0004__say_r_0167_0006__to,r_0167_0001__I,arg0).
arc(r_0167_0004__say_r_0167_0006__to,r_0167_0005__something,arg1).
arc(r_0167_0004__say_r_0167_0006__to,r_0167_0007__you,arg2).

fof(formula,axiom,
    ? [R_0167_0001__I,R_0167_0005__SOMETHING,R_0167_0007__YOU,R_0167_0004__SAY_R_0167_0006__TO,R_0167_0002__WANT] :
      ( r_0167_0001__I(R_0167_0001__I)
      & r_0167_0005__something(R_0167_0005__SOMETHING)
      & r_0167_0007__you(R_0167_0007__YOU)
      & r_0167_0002__want(R_0167_0002__WANT)
      & has_arg1(R_0167_0002__WANT,R_0167_0004__SAY_R_0167_0006__TO)
      & r_0167_0004__say_r_0167_0006__to(R_0167_0004__SAY_R_0167_0006__TO)
      & has_arg2(R_0167_0004__SAY_R_0167_0006__TO,R_0167_0007__YOU)
      & has_arg1(R_0167_0004__SAY_R_0167_0006__TO,R_0167_0005__SOMETHING)
      & has_arg0(R_0167_0004__SAY_R_0167_0006__TO,R_0167_0001__I)
      & has_arg0(R_0167_0002__WANT,R_0167_0001__I) ) ).