( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;__ resolved;{resolve})
          (IP-INF-OB1 (TO to;{to})
                      (VB;__ help;{help})
                      (NP-OB1;{LAYLOR} (PRO her;{her})))
          (PUNC .))
  (ID 174_a_loosechange))

arc(r_0174_0002__resolved,r_0174_0001__I,arg0).
arc(r_0174_0002__resolved,r_0174_0004__help,arg1).
arc(r_0174_0004__help,r_0174_0001__I,arg0).
arc(r_0174_0004__help,r_0174_0005__her,arg1).

fof(formula,axiom,
    ? [R_0174_0001__I,R_0174_0005__HER,R_0174_0004__HELP,R_0174_0002__RESOLVED] :
      ( r_0174_0001__I(R_0174_0001__I)
      & r_0174_0005__her(R_0174_0005__HER)
      & r_0174_0002__resolved(R_0174_0002__RESOLVED)
      & has_arg1(R_0174_0002__RESOLVED,R_0174_0004__HELP)
      & r_0174_0004__help(R_0174_0004__HELP)
      & has_arg1(R_0174_0004__HELP,R_0174_0005__HER)
      & has_arg0(R_0174_0004__HELP,R_0174_0001__I)
      & has_arg0(R_0174_0002__RESOLVED,R_0174_0001__I) ) ).