( (IP-MAT (NP-SBJ (PRO I;{I}))
          (HVD;_Tn_ had;{have})
          (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                  (N son;{son})
                  (IP-INF-REL (TO to;{to})
                              (VB;__ think;{think})
                              (PP-CLR (P-ROLE of;{of})
                                      (NP *T*))))
          (PUNC .))
  (ID 142_a_loosechange))

arc(r_0142_0002__had,r_0142_0001__I,arg0).
arc(r_0142_0002__had,r_0142_0004__son,arg1).
arc(r_0142_0004__son,r_0142_0001__I,gen).
arc(r_0142_0006__think,r_0142_0004__son,r_0142_0007__of__inv_clr).
arc(r_0142_0006__think,z_0142_5004,arg0).

fof(formula,axiom,
    ? [R_0142_0001__I,Z_0142_5004,R_0142_0006__THINK,R_0142_0004__SON,R_0142_0002__HAD] :
      ( r_0142_0001__I(R_0142_0001__I)
      & z_0142_5004(Z_0142_5004)
      & r_0142_0002__had(R_0142_0002__HAD)
      & has_arg1(R_0142_0002__HAD,R_0142_0004__SON)
      & r_0142_0004__son(R_0142_0004__SON)
      & has_r_0142_0007__of__inv_clr(R_0142_0004__SON,R_0142_0006__THINK)
      & r_0142_0006__think(R_0142_0006__THINK)
      & has_arg0(R_0142_0006__THINK,Z_0142_5004)
      & has_gen(R_0142_0004__SON,R_0142_0001__I)
      & has_arg0(R_0142_0002__HAD,R_0142_0001__I) ) ).