arc(r_0031_0004__development, r_0031_0001__Pupils, gen).
arc(r_0031_0004__development, r_0031_0003__linguistic, attrib10).
arc(r_0031_0005__is, r_0031_0004__development, arg0).
arc(r_0031_0005__is, r_0031_0007__advanced, prd).
arc(r_0031_0007__advanced, r_0031_0006__more, qual18).
arc(r_0031_0008__should, r_0031_0009__be, scope).
arc(r_0031_0009__be, r_0031_0010__challenged, scope).
arc(r_0031_0010__challenged, r_0031_0001__Pupils, arg1).
arc(r_0031_0010__challenged, z_000_31_a_ks4_english_29, arg0).
arc(r_0031_0011__through, r_0031_0008__should, scope).
arc(r_0031_0011__through, r_0031_0012__being, restriction).
arc(r_0031_0012__being, r_0031_0013__offered, scope).
arc(r_0031_0013__offered, r_0031_0001__Pupils, arg2).
arc(r_0031_0013__offered, r_0031_0014__opportunities, arg1).
arc(r_0031_0013__offered, z_000_31_a_ks4_english_40, arg0).
arc(r_0031_0014__opportunities, r_0031_0018__and, r_0031_0015__for).
arc(r_0031_0018__and, r_0031_0016__increased, attrib51).
arc(r_0031_0018__and, r_0031_0017__breadth, conj1).
arc(r_0031_0018__and, r_0031_0019__depth, conj2).
arc(r_0031_0018__and, r_0031_0022__and, r_0031_0020__in).
arc(r_0031_0022__and, r_0031_0021__reading, conj1).
arc(r_0031_0022__and, r_0031_0023__writing, conj2).

fof(formula,axiom,
    ? [R_0031_0001__PUPILS,R_0031_0003__LINGUISTIC,R_0031_0004__DEVELOPMENT,R_0031_0006__MORE,R_0031_0007__ADVANCED,R_0031_0005__IS,Z_000_31_A_KS4_ENGLISH_29,R_0031_0008__SHOULD_R_0031_0009__BE_R_0031_0010__CHALLENGED,R_0031_0016__INCREASED,R_0031_0017__BREADTH,R_0031_0019__DEPTH,R_0031_0021__READING,R_0031_0023__WRITING,R_0031_0022__AND,R_0031_0018__AND,R_0031_0014__OPPORTUNITIES,Z_000_31_A_KS4_ENGLISH_40,R_0031_0012__BEING_R_0031_0013__OFFERED,R_0031_0011__THROUGH] :
      ( r_0031_0001__Pupils(R_0031_0001__PUPILS)
      & r_0031_0003__linguistic(R_0031_0003__LINGUISTIC)
      & r_0031_0006__more(R_0031_0006__MORE)
      & r_0031_0016__increased(R_0031_0016__INCREASED)
      & r_0031_0017__breadth(R_0031_0017__BREADTH)
      & r_0031_0019__depth(R_0031_0019__DEPTH)
      & r_0031_0021__reading(R_0031_0021__READING)
      & r_0031_0023__writing(R_0031_0023__WRITING)
      & z_000_31_a_ks4_english_29(Z_000_31_A_KS4_ENGLISH_29)
      & z_000_31_a_ks4_english_40(Z_000_31_A_KS4_ENGLISH_40)
      & r_0031_0011__through(R_0031_0011__THROUGH)
      & has_conj1(R_0031_0011__THROUGH,R_0031_0012__BEING_R_0031_0013__OFFERED)
      & r_0031_0012__being_r_0031_0013__offered(R_0031_0012__BEING_R_0031_0013__OFFERED)
      & has_arg0(R_0031_0012__BEING_R_0031_0013__OFFERED,Z_000_31_A_KS4_ENGLISH_40)
      & has_arg1(R_0031_0012__BEING_R_0031_0013__OFFERED,R_0031_0014__OPPORTUNITIES)
      & r_0031_0014__opportunities(R_0031_0014__OPPORTUNITIES)
      & has_r_0031_0015__for(R_0031_0014__OPPORTUNITIES,R_0031_0018__AND)
      & r_0031_0018__and(R_0031_0018__AND)
      & has_r_0031_0020__in(R_0031_0018__AND,R_0031_0022__AND)
      & r_0031_0022__and(R_0031_0022__AND)
      & has_conj2(R_0031_0022__AND,R_0031_0023__WRITING)
      & has_conj1(R_0031_0022__AND,R_0031_0021__READING)
      & has_conj2(R_0031_0018__AND,R_0031_0019__DEPTH)
      & has_conj1(R_0031_0018__AND,R_0031_0017__BREADTH)
      & has_attrib51(R_0031_0018__AND,R_0031_0016__INCREASED)
      & has_arg2(R_0031_0012__BEING_R_0031_0013__OFFERED,R_0031_0001__PUPILS)
      & has_conj2(R_0031_0011__THROUGH,R_0031_0008__SHOULD_R_0031_0009__BE_R_0031_0010__CHALLENGED)
      & r_0031_0008__should_r_0031_0009__be_r_0031_0010__challenged(R_0031_0008__SHOULD_R_0031_0009__BE_R_0031_0010__CHALLENGED)
      & has_arg0(R_0031_0008__SHOULD_R_0031_0009__BE_R_0031_0010__CHALLENGED,Z_000_31_A_KS4_ENGLISH_29)
      & has_arg1(R_0031_0008__SHOULD_R_0031_0009__BE_R_0031_0010__CHALLENGED,R_0031_0001__PUPILS)
      & r_0031_0005__is(R_0031_0005__IS)
      & has_prd(R_0031_0005__IS,R_0031_0007__ADVANCED)
      & r_0031_0007__advanced(R_0031_0007__ADVANCED)
      & has_qual18(R_0031_0007__ADVANCED,R_0031_0006__MORE)
      & has_arg0(R_0031_0005__IS,R_0031_0004__DEVELOPMENT)
      & r_0031_0004__development(R_0031_0004__DEVELOPMENT)
      & has_attrib10(R_0031_0004__DEVELOPMENT,R_0031_0003__LINGUISTIC)
      & has_gen(R_0031_0004__DEVELOPMENT,R_0031_0001__PUPILS) ) ).

( (IP-MAT (NP-SBJ (NS Pupils;{pupil})
                  (IP-REL (NP-SBJ (NP-GEN (RPRO;_genm_ whose;{whose}))
                                  (ADJP (ADJ linguistic;{linguistic}))
                                  (N development;{development}))
                          (BEP;_La_ is;{be})
                          (ADJP-PRD (ADVP (ADVR more;{more}))
                                    (ADJ advanced;{advanced}))))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ challenged;{challenge})))
          (PP-SCON (P-CONN through;{through})
                   (IP-PPL (BAG;_cat_VePASS_ being;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Dn.n_ offered;{offer})
                                       (NP-OB1 (NS opportunities;{opportunity})
                                               (PP (P-ROLE for;{for})
                                                   (NP (ADJP (ADJ increased;{increased}))
                                                       (NLYR (NLYR (N breadth;{breadth}))
                                                             (CONJP (CONJ and;{and})
                                                                    (NLYR (N depth;{depth}))))
                                                       (PP (P-ROLE in;{in})
                                                           (NP (NLYR (NLYR (N reading;{reading}))
                                                                     (CONJP (CONJ and;{and})
                                                                            (NLYR (N writing;{writing}))))))))))))
          (PUNC .))
  (ID 31_a_ks4_english))