( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (VBD;_Dn.n_ took;{take})
          (NP-OB2;{LAYLOR} (PRO her;{her}))
          (NP-OB1 (ADVP (NP (Q;_nphd_ no;{no}))
                        (ADVR more;{more})
                        (PP (P-ROLE than;{than})
                            (NP (NUM two;{two}))))
                  (NS breaths;{breath}))
          (IP-INF-NSBJ (TO to;{to})
                       (VB;_Dn.n_ tell;{tell})
                       (NP-OB2 (PRO me;{I}))
                       (NP-OB1 (D the;{the})
                               (N story;{story})))
          (PUNC .))
  (ID 123_a_loosechange))

arc(r_0123_0002__took,r_0123_0003__her,arg2).
arc(r_0123_0002__took,r_0123_0008__breaths,arg1).
arc(r_0123_0002__took,r_0123_0010__tell,arg0).
arc(r_0123_0004__no__quant,r_0123_0005__more,scope).
arc(r_0123_0004__no__quant,z_0123_5006,restriction).
arc(r_0123_0005__more,r_0123_0007__two,r_0123_0006__than).
arc(r_0123_0005__more,z_0123_5006,nim).
arc(r_0123_0008__breaths,r_0123_0005__more,qual).
arc(r_0123_0010__tell,r_0123_0011__me,arg2).
arc(r_0123_0010__tell,r_0123_0012__the_r_0123_0013__story,arg1).
arc(r_0123_0010__tell,z_0123_5001,arg0).

fof(formula,axiom,
    ! [Z_0123_5006] :
      ( z_0123_5006(Z_0123_5006)
     => ? [R_0123_0003__HER,R_0123_0007__TWO,R_0123_0005__MORE,R_0123_0008__BREATHS,R_0123_0011__ME,R_0123_0012__THE_R_0123_0013__STORY,Z_0123_5001,R_0123_0010__TELL,R_0123_0002__TOOK] :
          ( r_0123_0003__her(R_0123_0003__HER)
          & r_0123_0007__two(R_0123_0007__TWO)
          & r_0123_0011__me(R_0123_0011__ME)
          & r_0123_0012__the_r_0123_0013__story(R_0123_0012__THE_R_0123_0013__STORY)
          & z_0123_5001(Z_0123_5001)
          & r_0123_0002__took(R_0123_0002__TOOK)
          & has_arg0(R_0123_0002__TOOK,R_0123_0010__TELL)
          & r_0123_0010__tell(R_0123_0010__TELL)
          & has_arg0(R_0123_0010__TELL,Z_0123_5001)
          & has_arg1(R_0123_0010__TELL,R_0123_0012__THE_R_0123_0013__STORY)
          & has_arg2(R_0123_0010__TELL,R_0123_0011__ME)
          & has_arg1(R_0123_0002__TOOK,R_0123_0008__BREATHS)
          & r_0123_0008__breaths(R_0123_0008__BREATHS)
          & has_qual(R_0123_0008__BREATHS,R_0123_0005__MORE)
          & r_0123_0005__more(R_0123_0005__MORE)
          & has_nim(R_0123_0005__MORE,Z_0123_5006)
          & has_r_0123_0006__than(R_0123_0005__MORE,R_0123_0007__TWO)
          & has_arg2(R_0123_0002__TOOK,R_0123_0003__HER) ) ) ).