( (IP-MAT (ILYR (ILYR (NP-NIM (IP-REL (ADVP-NIM (RADV When;{when}))
                                      (NP-SBJ (PRO I;{I}))
                                      (VBD;_phr_Vn<=>p_ brought;{bring[up]})
                                      (NP-OB1;{BREAKFAST} (NP-GEN;{MOTHER} (PRO;_genm_ her;{her}))
                                                          (N breakfast;{breakfast}))
                                      (RP up;{up})))
                      (NP-SBJ;{BREAKFAST} (PRO it;{it}))
                      (BED;_La_ was;{be})
                      (ADJP-PRD (ADVP (ADV all;{all}))
                                (AJLYR (AJLYR (ADJ lovely;{lovely}))
                                       (CONJP (CONJ and;{and})
                                              (AJLYR (ADJ cold;{cold}))))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{MOTHER} (ADJP (ADJ poor;{poor}))
                                              (N mum;{mum}))
                             (VBD;_Ipr_ struggled;{struggle[through]})
                             (PP-CLR (P-ROLE through;{through})
                                     (NP;{BREAKFAST} (PRO it;{it}))))))
          (PUNC .))
  (ID 13_a_stories_10_k03))

arc(r_0013_0003__brought_r_0013_0006__up,r_0013_0001__When,nim).
arc(r_0013_0003__brought_r_0013_0006__up,r_0013_0002__I,arg0).
arc(r_0013_0003__brought_r_0013_0006__up,r_0013_0005__breakfast,arg1).
arc(r_0013_0005__breakfast,r_0013_0004__her,gen).
arc(r_0013_0008__was,r_0013_0001__When,nim).
arc(r_0013_0008__was,r_0013_0005__breakfast,arg0).
arc(r_0013_0008__was,r_0013_0011__and,prd).
arc(r_0013_0011__and,r_0013_0009__all,qual).
arc(r_0013_0011__and,r_0013_0010__lovely,conj1).
arc(r_0013_0011__and,r_0013_0012__cold,conj2).
arc(r_0013_0013__and,r_0013_0008__was,conj1).
arc(r_0013_0013__and,r_0013_0016__struggled_r_0013_0017__through,conj2).
arc(r_0013_0015__mum,r_0013_0014__poor,attrib).
arc(r_0013_0016__struggled_r_0013_0017__through,r_0013_0005__breakfast,arg1).
arc(r_0013_0016__struggled_r_0013_0017__through,r_0013_0015__mum,arg0).

fof(formula,axiom,
    ? [R_0013_0001__WHEN,R_0013_0002__I,R_0013_0004__HER,R_0013_0005__BREAKFAST,R_0013_0003__BROUGHT_R_0013_0006__UP,R_0013_0009__ALL,R_0013_0010__LOVELY,R_0013_0012__COLD,R_0013_0011__AND,R_0013_0008__WAS,R_0013_0014__POOR,R_0013_0015__MUM,R_0013_0016__STRUGGLED_R_0013_0017__THROUGH,R_0013_0013__AND] :
      ( r_0013_0001__When(R_0013_0001__WHEN)
      & r_0013_0002__I(R_0013_0002__I)
      & r_0013_0004__her(R_0013_0004__HER)
      & r_0013_0009__all(R_0013_0009__ALL)
      & r_0013_0010__lovely(R_0013_0010__LOVELY)
      & r_0013_0012__cold(R_0013_0012__COLD)
      & r_0013_0014__poor(R_0013_0014__POOR)
      & r_0013_0013__and(R_0013_0013__AND)
      & has_conj2(R_0013_0013__AND,R_0013_0016__STRUGGLED_R_0013_0017__THROUGH)
      & r_0013_0016__struggled_r_0013_0017__through(R_0013_0016__STRUGGLED_R_0013_0017__THROUGH)
      & has_arg0(R_0013_0016__STRUGGLED_R_0013_0017__THROUGH,R_0013_0015__MUM)
      & r_0013_0015__mum(R_0013_0015__MUM)
      & has_attrib(R_0013_0015__MUM,R_0013_0014__POOR)
      & has_arg1(R_0013_0016__STRUGGLED_R_0013_0017__THROUGH,R_0013_0005__BREAKFAST)
      & r_0013_0005__breakfast(R_0013_0005__BREAKFAST)
      & has_gen(R_0013_0005__BREAKFAST,R_0013_0004__HER)
      & has_conj1(R_0013_0013__AND,R_0013_0008__WAS)
      & r_0013_0008__was(R_0013_0008__WAS)
      & has_prd(R_0013_0008__WAS,R_0013_0011__AND)
      & r_0013_0011__and(R_0013_0011__AND)
      & has_conj2(R_0013_0011__AND,R_0013_0012__COLD)
      & has_conj1(R_0013_0011__AND,R_0013_0010__LOVELY)
      & has_qual(R_0013_0011__AND,R_0013_0009__ALL)
      & has_arg0(R_0013_0008__WAS,R_0013_0005__BREAKFAST)
      & has_nim(R_0013_0008__WAS,R_0013_0001__WHEN)
      & r_0013_0003__brought_r_0013_0006__up(R_0013_0003__BROUGHT_R_0013_0006__UP)
      & has_arg1(R_0013_0003__BROUGHT_R_0013_0006__UP,R_0013_0005__BREAKFAST)
      & has_arg0(R_0013_0003__BROUGHT_R_0013_0006__UP,R_0013_0002__I)
      & has_nim(R_0013_0003__BROUGHT_R_0013_0006__UP,R_0013_0001__WHEN) ) ).