( (IP-MAT (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (VB;__ run;{run})
                      (NP-OB2;{LAYLOR} (PRO her;{her}))
                      (NP-OB1 (D a;{a})
                              (N bath;{bath})
                              (IP-PPL (VVN;__ filled;{fill})
                                      (PP-CLR (P-ROLE with;{with})
                                              (NP (NS bubbles;{bubble}))))))
          (PUNC .))
  (ID 178_a_loosechange))

arc(r_0178_0002__would,r_0178_0003__run,scope).
arc(r_0178_0003__run,r_0178_0001__I,arg0).
arc(r_0178_0003__run,r_0178_0004__her,arg2).
arc(r_0178_0003__run,r_0178_0005__a_r_0178_0006__bath,arg1).
arc(r_0178_0007__filled,r_0178_0005__a_r_0178_0006__bath,inv_arg0).
arc(r_0178_0007__filled,r_0178_0009__bubbles,r_0178_0008__with__clr).

fof(formula,axiom,
    ? [R_0178_0001__I,R_0178_0004__HER,R_0178_0009__BUBBLES,R_0178_0007__FILLED,R_0178_0005__A_R_0178_0006__BATH,R_0178_0002__WOULD_R_0178_0003__RUN] :
      ( r_0178_0001__I(R_0178_0001__I)
      & r_0178_0004__her(R_0178_0004__HER)
      & r_0178_0009__bubbles(R_0178_0009__BUBBLES)
      & r_0178_0002__would_r_0178_0003__run(R_0178_0002__WOULD_R_0178_0003__RUN)
      & has_arg1(R_0178_0002__WOULD_R_0178_0003__RUN,R_0178_0005__A_R_0178_0006__BATH)
      & r_0178_0005__a_r_0178_0006__bath(R_0178_0005__A_R_0178_0006__BATH)
      & has_inv_arg0(R_0178_0005__A_R_0178_0006__BATH,R_0178_0007__FILLED)
      & r_0178_0007__filled(R_0178_0007__FILLED)
      & has_r_0178_0008__with__clr(R_0178_0007__FILLED,R_0178_0009__BUBBLES)
      & has_arg2(R_0178_0002__WOULD_R_0178_0003__RUN,R_0178_0004__HER)
      & has_arg0(R_0178_0002__WOULD_R_0178_0003__RUN,R_0178_0001__I) ) ).