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_0005__to_r_0142_0006__think, r_0142_0004__son, r_0142_0007__of_clr21).
arc(r_0142_0005__to_r_0142_0006__think, z_000_142_a_loosechange_13, arg0).

fof(formula,axiom,
    ? [R_0142_0001__I,R_0142_0004__SON,R_0142_0002__HAD,Z_000_142_A_LOOSECHANGE_13,R_0142_0005__TO_R_0142_0006__THINK] :
      ( r_0142_0001__I(R_0142_0001__I)
      & z_000_142_a_loosechange_13(Z_000_142_A_LOOSECHANGE_13)
      & r_0142_0005__to_r_0142_0006__think(R_0142_0005__TO_R_0142_0006__THINK)
      & has_arg0(R_0142_0005__TO_R_0142_0006__THINK,Z_000_142_A_LOOSECHANGE_13)
      & has_r_0142_0007__of_clr21(R_0142_0005__TO_R_0142_0006__THINK,R_0142_0004__SON)
      & r_0142_0004__son(R_0142_0004__SON)
      & has_gen(R_0142_0004__SON,R_0142_0001__I)
      & r_0142_0002__had(R_0142_0002__HAD)
      & has_arg1(R_0142_0002__HAD,R_0142_0004__SON)
      & has_arg0(R_0142_0002__HAD,R_0142_0001__I) ) ).

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