( (IP-MAT (PULQ <lquo>)
          (NP-NIM (D This;{this})
                  (N day;{day})
                  (PUNC ,)
                  (PRN (NP (NPR Friday;{Friday}))))
          (PUNC ,)
          (PURQ <rquo>)
          (PRN (IP-MAT (NP-SBJ;{LAYLOR} (PRO she;{she}))
                       (VBD;__ went;{go})
                       (ADVP-NIM (P-ROLE on;{on}))))
          (PUNC ,)
          (PULQ <lquo>)
          (NP-SBJ;{LAYLOR} (PRO I;{I}))
          (VBD;__ cooked;{cook})
          (NP-OB1 (N fish;{fish}))
          (PP-NIM (P-ROLE for;{for})
                  (NP (NP-GEN (PRO;_genm_ my;{my}))
                      (NLYR (NLYR (N mother;{mother}))
                            (CONJP (CONJ and;{and})
                                   (NLYR (N brother;{brother}))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 169_a_loosechange))

arc(r_0169_0009__went,r_0169_0008__she,arg0).
arc(r_0169_0009__went,z_0169_5006,nim).
arc(r_0169_0014__cooked,r_0169_0002__This_r_0169_0003__day,nim).
arc(r_0169_0014__cooked,r_0169_0008__she,arg0).
arc(r_0169_0014__cooked,r_0169_0009__went,prn).
arc(r_0169_0014__cooked,r_0169_0015__fish,arg1).
arc(r_0169_0014__cooked,r_0169_0019__and,r_0169_0016__for__nim).
arc(r_0169_0019__and,r_0169_0017__my,gen).
arc(r_0169_0019__and,r_0169_0018__mother,conj1).
arc(r_0169_0019__and,r_0169_0020__brother,conj2).
arc(z_0169_5002,r_0169_0002__This_r_0169_0003__day,arg0).
arc(z_0169_5002,r_0169_0005__Friday,prd).

fof(formula,axiom,
    ? [R_0169_0002__THIS_R_0169_0003__DAY,R_0169_0008__SHE,Z_0169_5006,R_0169_0009__WENT,R_0169_0015__FISH,R_0169_0017__MY,R_0169_0018__MOTHER,R_0169_0020__BROTHER,R_0169_0019__AND,R_0169_0014__COOKED,R_0169_0005__FRIDAY,Z_0169_5002] :
      ( r_0169_0002__This_r_0169_0003__day(R_0169_0002__THIS_R_0169_0003__DAY)
      & r_0169_0005__Friday(R_0169_0005__FRIDAY)
      & r_0169_0008__she(R_0169_0008__SHE)
      & r_0169_0015__fish(R_0169_0015__FISH)
      & r_0169_0017__my(R_0169_0017__MY)
      & r_0169_0018__mother(R_0169_0018__MOTHER)
      & r_0169_0020__brother(R_0169_0020__BROTHER)
      & z_0169_5006(Z_0169_5006)
      & z_0169_5002(Z_0169_5002)
      & has_prd(Z_0169_5002,R_0169_0005__FRIDAY)
      & has_arg0(Z_0169_5002,R_0169_0002__THIS_R_0169_0003__DAY)
      & r_0169_0014__cooked(R_0169_0014__COOKED)
      & has_r_0169_0016__for__nim(R_0169_0014__COOKED,R_0169_0019__AND)
      & r_0169_0019__and(R_0169_0019__AND)
      & has_conj2(R_0169_0019__AND,R_0169_0020__BROTHER)
      & has_conj1(R_0169_0019__AND,R_0169_0018__MOTHER)
      & has_gen(R_0169_0019__AND,R_0169_0017__MY)
      & has_arg1(R_0169_0014__COOKED,R_0169_0015__FISH)
      & has_prn(R_0169_0014__COOKED,R_0169_0009__WENT)
      & r_0169_0009__went(R_0169_0009__WENT)
      & has_nim(R_0169_0009__WENT,Z_0169_5006)
      & has_arg0(R_0169_0009__WENT,R_0169_0008__SHE)
      & has_arg0(R_0169_0014__COOKED,R_0169_0008__SHE)
      & has_nim(R_0169_0014__COOKED,R_0169_0002__THIS_R_0169_0003__DAY) ) ).