( (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-NIM (P-ROLE 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))

arc(r_0031_0004__development,r_0031_0001__Pupils,gen).
arc(r_0031_0004__development,r_0031_0003__linguistic,attrib).
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,qual).
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,r_0031_0012__being,r_0031_0011__through__nim).
arc(r_0031_0010__challenged,z_0031_5022___star_,arg0).
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_0031_5019___star_,arg0).
arc(r_0031_0014__opportunities,r_0031_0018__and,r_0031_0015__for).
arc(r_0031_0018__and,r_0031_0016__increased,attrib).
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,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_0031_5019___STAR_,R_0031_0012__BEING_R_0031_0013__OFFERED,Z_0031_5022___STAR_,R_0031_0008__SHOULD_R_0031_0009__BE_R_0031_0010__CHALLENGED] :
      ( 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_0031_5019___star_(Z_0031_5019___STAR_)
      & z_0031_5022___star_(Z_0031_5022___STAR_)
      & 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_0031_5022___STAR_)
      & has_r_0031_0011__through__nim(R_0031_0008__SHOULD_R_0031_0009__BE_R_0031_0010__CHALLENGED,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_0031_5019___STAR_)
      & 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_attrib(R_0031_0018__AND,R_0031_0016__INCREASED)
      & has_arg2(R_0031_0012__BEING_R_0031_0013__OFFERED,R_0031_0001__PUPILS)
      & 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_qual(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_attrib(R_0031_0004__DEVELOPMENT,R_0031_0003__LINGUISTIC)
      & has_gen(R_0031_0004__DEVELOPMENT,R_0031_0001__PUPILS) ) ).