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_0003__brought_r_0013_0006__up, z_000_13_a_stories_10_k03_4, nim6).
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_0008__was, z_000_13_a_stories_10_k03_4, nim4).
arc(r_0013_0011__and, r_0013_0009__all, qual28).
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, conj2).
arc(r_0013_0015__mum, r_0013_0014__poor, attrib46).
arc(r_0013_0016__struggled, r_0013_0005__breakfast, r_0013_0017__through_clr56).
arc(r_0013_0016__struggled, r_0013_0015__mum, arg0).

fof(formula,axiom,
    ? [R_13_3_BROUGHT_UP,R_13_2_I,R_13_13_AND,R_13_8_WAS,Z_13_A_STORIES_10_K03_4,R_13_11_AND,R_13_10_LOVELY,R_13_12_COLD,R_13_9_ALL,R_13_16_STRUGGLED,R_13_15_MUM,R_13_14_POOR,R_13_5_BREAKFAST,R_13_4_HER] :
      ( i(R_13_2_I)
      & lovely(R_13_10_LOVELY)
      & cold(R_13_12_COLD)
      & all(R_13_9_ALL)
      & poor(R_13_14_POOR)
      & her(R_13_4_HER)
      & brought_up(R_13_3_BROUGHT_UP,R_13_2_I,R_13_5_BREAKFAST)
      & breakfast(R_13_5_BREAKFAST)
      & gen(R_13_5_BREAKFAST,R_13_4_HER)
      & nim6(R_13_3_BROUGHT_UP,Z_13_A_STORIES_10_K03_4)
      & and(R_13_13_AND)
      & conj1(R_13_13_AND,R_13_8_WAS)
      & 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)
      & qual28(R_13_11_AND,R_13_9_ALL)
      & nim4(R_13_8_WAS,Z_13_A_STORIES_10_K03_4)
      & conj2(R_13_13_AND,R_13_16_STRUGGLED)
      & struggled(R_13_16_STRUGGLED,R_13_15_MUM)
      & mum(R_13_15_MUM)
      & attrib46(R_13_15_MUM,R_13_14_POOR)
      & through_clr56(R_13_16_STRUGGLED,R_13_5_BREAKFAST) ) ).

( (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))