( (IP-MAT (PULQ <lquo>)
          (CONJ;_cl_ And;{and})
          (NP-SBJ (PRO I;{I}))
          (VBP;__ worry;{worry})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO I;{I}))
                              (MD;_cat_Vi_ will;{will})
                              (NEG not;{not})
                              (IP-INF-CAT (VB;__ see;{see})
                                          (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                                                  (N mother;{mother}))
                                          (ADVP-NIM (ADV again;{again})))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 172_a_loosechange))

arc(r_0172_0004__worry,r_0172_0003__I,arg0).
arc(r_0172_0004__worry,r_0172_0007__not,arg1).
arc(r_0172_0006__will,r_0172_0008__see,scope).
arc(r_0172_0007__not,r_0172_0006__will,keep_scope).
arc(r_0172_0008__see,r_0172_0003__I,arg0).
arc(r_0172_0008__see,r_0172_0010__mother,arg1).
arc(r_0172_0008__see,r_0172_0011__again,nim).
arc(r_0172_0010__mother,r_0172_0003__I,gen).

fof(formula,axiom,
    ? [R_0172_0003__I,R_0172_0004__WORRY] :
      ( r_0172_0003__I(R_0172_0003__I)
      & r_0172_0004__worry(R_0172_0004__WORRY)
      & has_arg1(R_0172_0004__WORRY,R_0172_0007__NOT)
      & ~ ? [R_0172_0010__MOTHER,R_0172_0011__AGAIN,R_0172_0006__WILL_R_0172_0008__SEE] :
            ( r_0172_0011__again(R_0172_0011__AGAIN)
            & r_0172_0006__will_r_0172_0008__see(R_0172_0006__WILL_R_0172_0008__SEE)
            & has_nim(R_0172_0006__WILL_R_0172_0008__SEE,R_0172_0011__AGAIN)
            & has_arg1(R_0172_0006__WILL_R_0172_0008__SEE,R_0172_0010__MOTHER)
            & r_0172_0010__mother(R_0172_0010__MOTHER)
            & has_gen(R_0172_0010__MOTHER,R_0172_0003__I)
            & has_arg0(R_0172_0006__WILL_R_0172_0008__SEE,R_0172_0003__I) )
      & has_arg0(R_0172_0004__WORRY,R_0172_0003__I) ) ).