arc(r_0005_0002__reading, r_0005_0003__in_particular, qual8).
arc(r_0005_0006__have, r_0005_0002__reading, r_0005_0001__Through_nim5).
arc(r_0005_0006__have, r_0005_0005__pupils, arg0).
arc(r_0005_0006__have, r_0005_0007__a_r_0005_0008__chance, arg1).
arc(r_0005_0007__a_r_0005_0008__chance, r_0005_0009__to_r_0005_0010__develop, emb23).
arc(r_0005_0009__to_r_0005_0010__develop, r_0005_0018__and, nim28).
arc(r_0005_0009__to_r_0005_0010__develop, z_000_5_a_ks4_english_23, arg0).
arc(r_0005_0018__and, r_0005_0011__culturally, conj1).
arc(r_0005_0018__and, r_0005_0013__emotionally, conj2).
arc(r_0005_0018__and, r_0005_0015__intellectually, conj3).
arc(r_0005_0018__and, r_0005_0017__socially, conj4).
arc(r_0005_0018__and, r_0005_0019__spiritually, conj5).

fof(formula,axiom,
    ? [R_0005_0003__IN_PARTICULAR,R_0005_0002__READING,R_0005_0005__PUPILS,R_0005_0011__CULTURALLY,R_0005_0013__EMOTIONALLY,R_0005_0015__INTELLECTUALLY,R_0005_0017__SOCIALLY,R_0005_0019__SPIRITUALLY,R_0005_0018__AND,Z_000_5_A_KS4_ENGLISH_23,R_0005_0009__TO_R_0005_0010__DEVELOP,R_0005_0007__A_R_0005_0008__CHANCE,R_0005_0006__HAVE] :
      ( r_0005_0003__in_particular(R_0005_0003__IN_PARTICULAR)
      & r_0005_0005__pupils(R_0005_0005__PUPILS)
      & r_0005_0011__culturally(R_0005_0011__CULTURALLY)
      & r_0005_0013__emotionally(R_0005_0013__EMOTIONALLY)
      & r_0005_0015__intellectually(R_0005_0015__INTELLECTUALLY)
      & r_0005_0017__socially(R_0005_0017__SOCIALLY)
      & r_0005_0019__spiritually(R_0005_0019__SPIRITUALLY)
      & z_000_5_a_ks4_english_23(Z_000_5_A_KS4_ENGLISH_23)
      & r_0005_0006__have(R_0005_0006__HAVE)
      & has_arg1(R_0005_0006__HAVE,R_0005_0007__A_R_0005_0008__CHANCE)
      & r_0005_0007__a_r_0005_0008__chance(R_0005_0007__A_R_0005_0008__CHANCE)
      & has_emb23(R_0005_0007__A_R_0005_0008__CHANCE,R_0005_0009__TO_R_0005_0010__DEVELOP)
      & r_0005_0009__to_r_0005_0010__develop(R_0005_0009__TO_R_0005_0010__DEVELOP)
      & has_arg0(R_0005_0009__TO_R_0005_0010__DEVELOP,Z_000_5_A_KS4_ENGLISH_23)
      & has_nim28(R_0005_0009__TO_R_0005_0010__DEVELOP,R_0005_0018__AND)
      & r_0005_0018__and(R_0005_0018__AND)
      & has_conj5(R_0005_0018__AND,R_0005_0019__SPIRITUALLY)
      & has_conj4(R_0005_0018__AND,R_0005_0017__SOCIALLY)
      & has_conj3(R_0005_0018__AND,R_0005_0015__INTELLECTUALLY)
      & has_conj2(R_0005_0018__AND,R_0005_0013__EMOTIONALLY)
      & has_conj1(R_0005_0018__AND,R_0005_0011__CULTURALLY)
      & has_arg0(R_0005_0006__HAVE,R_0005_0005__PUPILS)
      & has_r_0005_0001__Through_nim5(R_0005_0006__HAVE,R_0005_0002__READING)
      & r_0005_0002__reading(R_0005_0002__READING)
      & has_qual8(R_0005_0002__READING,R_0005_0003__IN_PARTICULAR) ) ).

( (IP-MAT (PP-NIM (P-ROLE Through;{through})
                  (NP (N reading;{reading})
                      (ADVP (ADV in_particular;{in_particular}))))
          (PUNC ,)
          (NP-SBJ;{PUPILS} (NS pupils;{pupil}))
          (HVP;_Tn_ have;{have})
          (NP-OB1 (D a;{a})
                  (N chance;{chance})
                  (IP-INF (TO to;{to})
                          (VB;_I_ develop;{develop})
                          (ADVP-NIM (AVLYR (AVLYR (ADV culturally;{culturally}))
                                           (PUNC ,)
                                           (CONJP (AVLYR (ADV emotionally;{emotionally})))
                                           (PUNC ,)
                                           (CONJP (AVLYR (ADV intellectually;{intellectually})))
                                           (PUNC ,)
                                           (CONJP (AVLYR (ADV socially;{socially})))
                                           (CONJP (CONJ and;{and})
                                                  (AVLYR (ADV spiritually;{spiritually})))))))
          (PUNC .))
  (ID 5_a_ks4_english))