arc(r_0013_0001__When, r_0013_0003__brought_r_0013_0006__up, restriction).
arc(r_0013_0001__When, r_0013_0008__was, scope).
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_0005__breakfast, arg0).
arc(r_0013_0008__was, r_0013_0011__and, prd).
arc(r_0013_0011__and, r_0013_0009__all, qual27).
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_0001__When, conj1).
arc(r_0013_0013__and, r_0013_0016__struggled, conj2).
arc(r_0013_0015__mum, r_0013_0014__poor, attrib45).
arc(r_0013_0016__struggled, r_0013_0005__breakfast, r_0013_0017__through_clr55).
arc(r_0013_0016__struggled, r_0013_0015__mum, arg0).

fof(formula,axiom,
    ? [R_13_13_AND,R_13_16_STRUGGLED,R_13_15_MUM,R_13_14_POOR,R_13_5_BREAKFAST,R_13_4_HER] :
      ( poor(R_13_14_POOR)
      & her(R_13_4_HER)
      & ! [R_13_3_BROUGHT_UP,R_13_2_I] :
          ( ( i(R_13_2_I)
            & brought_up(R_13_3_BROUGHT_UP,R_13_2_I,R_13_5_BREAKFAST) )
         => ? [R_13_8_WAS,R_13_11_AND,R_13_10_LOVELY,R_13_12_COLD,R_13_9_ALL] :
              ( lovely(R_13_10_LOVELY)
              & cold(R_13_12_COLD)
              & all(R_13_9_ALL)
              & was(R_13_8_WAS,R_13_5_BREAKFAST,R_13_11_AND)
              & and(R_13_11_AND)
              & conj1(R_13_11_AND,R_13_10_LOVELY)
              & conj2(R_13_11_AND,R_13_12_COLD)
              & qual27(R_13_11_AND,R_13_9_ALL) ) )
      & conj1(CONJ1)
      & and(R_13_13_AND)
      & conj2(R_13_13_AND,R_13_16_STRUGGLED)
      & struggled(R_13_16_STRUGGLED,R_13_15_MUM)
      & mum(R_13_15_MUM)
      & attrib45(R_13_15_MUM,R_13_14_POOR)
      & through_clr55(R_13_16_STRUGGLED,R_13_5_BREAKFAST)
      & breakfast(R_13_5_BREAKFAST)
      & gen(R_13_5_BREAKFAST,R_13_4_HER) ) ).

( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN When;{when})
                               (IP-ADV (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))