31_a_ks4_english
Pupils whose linguistic development is more advanced should be challenged through being offered opportunities for increased breadth and depth in reading and writing.

%3 r_0031_0004__development development r_0031_0001__Pupils Pupils r_0031_0004__development->r_0031_0001__Pupils [gen] r_0031_0003__linguistic linguistic r_0031_0004__development->r_0031_0003__linguistic [attrib] r_0031_0005__is is r_0031_0005__is->r_0031_0004__development [arg0] r_0031_0007__advanced advanced r_0031_0005__is->r_0031_0007__advanced [prd] r_0031_0006__more more r_0031_0007__advanced->r_0031_0006__more [qual] r_0031_0008__should should r_0031_0009__be be r_0031_0008__should->r_0031_0009__be [scope] r_0031_0010__challenged challenged r_0031_0009__be->r_0031_0010__challenged [scope] r_0031_0010__challenged->r_0031_0001__Pupils [arg1] z_000_31_a_ks4_english_29 r_0031_0010__challenged->z_000_31_a_ks4_english_29 [arg0] r_0031_0011__through through r_0031_0011__through->r_0031_0008__should [scope] r_0031_0012__being being r_0031_0011__through->r_0031_0012__being [restriction] r_0031_0013__offered offered r_0031_0012__being->r_0031_0013__offered [scope] r_0031_0013__offered->r_0031_0001__Pupils [arg2] r_0031_0014__opportunities opportunities r_0031_0013__offered->r_0031_0014__opportunities [arg1] z_000_31_a_ks4_english_40 r_0031_0013__offered->z_000_31_a_ks4_english_40 [arg0] r_0031_0018__and and r_0031_0014__opportunities->r_0031_0018__and for r_0031_0016__increased increased r_0031_0018__and->r_0031_0016__increased [attrib] r_0031_0017__breadth breadth r_0031_0018__and->r_0031_0017__breadth [conj1] r_0031_0019__depth depth r_0031_0018__and->r_0031_0019__depth [conj2] r_0031_0022__and and r_0031_0018__and->r_0031_0022__and in r_0031_0021__reading reading r_0031_0022__and->r_0031_0021__reading [conj1] r_0031_0023__writing writing r_0031_0022__and->r_0031_0023__writing [conj2]
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).



%3 r_0031_0004__development development r_0031_0001__Pupils Pupils r_0031_0004__development->r_0031_0001__Pupils [gen] r_0031_0003__linguistic linguistic r_0031_0004__development->r_0031_0003__linguistic [attrib] r_0031_0005__is is r_0031_0005__is->r_0031_0004__development [arg0] r_0031_0007__advanced advanced r_0031_0005__is->r_0031_0007__advanced [prd] r_0031_0006__more more r_0031_0007__advanced->r_0031_0006__more [qual] r_0031_0008__should_r_0031_0009__be_r_0031_0010__challenged should be challenged r_0031_0008__should_r_0031_0009__be_r_0031_0010__challenged->r_0031_0001__Pupils [arg1] z_000_31_a_ks4_english_29 r_0031_0008__should_r_0031_0009__be_r_0031_0010__challenged->z_000_31_a_ks4_english_29 [arg0] r_0031_0011__through through r_0031_0011__through->r_0031_0008__should_r_0031_0009__be_r_0031_0010__challenged [conj2] r_0031_0012__being_r_0031_0013__offered being offered r_0031_0011__through->r_0031_0012__being_r_0031_0013__offered [conj1] r_0031_0012__being_r_0031_0013__offered->r_0031_0001__Pupils [arg2] r_0031_0014__opportunities opportunities r_0031_0012__being_r_0031_0013__offered->r_0031_0014__opportunities [arg1] z_000_31_a_ks4_english_40 r_0031_0012__being_r_0031_0013__offered->z_000_31_a_ks4_english_40 [arg0] r_0031_0018__and and r_0031_0014__opportunities->r_0031_0018__and for r_0031_0016__increased increased r_0031_0018__and->r_0031_0016__increased [attrib] r_0031_0017__breadth breadth r_0031_0018__and->r_0031_0017__breadth [conj1] r_0031_0019__depth depth r_0031_0018__and->r_0031_0019__depth [conj2] r_0031_0022__and and r_0031_0018__and->r_0031_0022__and in r_0031_0021__reading reading r_0031_0022__and->r_0031_0021__reading [conj1] r_0031_0023__writing writing r_0031_0022__and->r_0031_0023__writing [conj2]
fof(formula,axiom,
    ? [R_31_5_IS,R_31_4_DEVELOPMENT,R_31_3_LINGUISTIC,R_31_7_ADVANCED,R_31_6_MORE,R_31_11_THROUGH,R_31_12_BEING_OFFERED,Z_31_A_KS4_ENGLISH_40,R_31_14_OPPORTUNITIES,R_31_18_AND,R_31_16_INCREASED,R_31_17_BREADTH,R_31_19_DEPTH,R_31_22_AND,R_31_21_READING,R_31_23_WRITING,R_31_8_SHOULD_BE_CHALLENGED,Z_31_A_KS4_ENGLISH_29,R_31_1_PUPILS] :
      ( linguistic(R_31_3_LINGUISTIC)
      & more(R_31_6_MORE)
      & increased(R_31_16_INCREASED)
      & breadth(R_31_17_BREADTH)
      & depth(R_31_19_DEPTH)
      & reading(R_31_21_READING)
      & writing(R_31_23_WRITING)
      & pupils(R_31_1_PUPILS)
      & is(R_31_5_IS,R_31_4_DEVELOPMENT,R_31_7_ADVANCED)
      & development(R_31_4_DEVELOPMENT)
      & attrib10(R_31_4_DEVELOPMENT,R_31_3_LINGUISTIC)
      & gen(R_31_4_DEVELOPMENT,R_31_1_PUPILS)
      & advanced(R_31_7_ADVANCED)
      & qual18(R_31_7_ADVANCED,R_31_6_MORE)
      & through(R_31_11_THROUGH)
      & conj1(R_31_11_THROUGH,R_31_12_BEING_OFFERED)
      & being_offered(R_31_12_BEING_OFFERED,Z_31_A_KS4_ENGLISH_40,R_31_14_OPPORTUNITIES,R_31_1_PUPILS)
      & opportunities(R_31_14_OPPORTUNITIES)
      & for(R_31_14_OPPORTUNITIES,R_31_18_AND)
      & and(R_31_18_AND)
      & attrib51(R_31_18_AND,R_31_16_INCREASED)
      & conj1(R_31_18_AND,R_31_17_BREADTH)
      & conj2(R_31_18_AND,R_31_19_DEPTH)
      & in(R_31_18_AND,R_31_22_AND)
      & and(R_31_22_AND)
      & conj1(R_31_22_AND,R_31_21_READING)
      & conj2(R_31_22_AND,R_31_23_WRITING)
      & conj2(R_31_11_THROUGH,R_31_8_SHOULD_BE_CHALLENGED)
      & should_be_challenged(R_31_8_SHOULD_BE_CHALLENGED,Z_31_A_KS4_ENGLISH_29,R_31_1_PUPILS) ) ).



n31_a_ks4_english n31_a_ks4_english_4 Pupils n31_a_ks4_english_9 whose n31_a_ks4_english_12 linguistic n31_a_ks4_english_14 development n31_a_ks4_english_16 is n31_a_ks4_english_20 more n31_a_ks4_english_22 advanced n31_a_ks4_english_24 should n31_a_ks4_english_27 be n31_a_ks4_english_30 * n31_a_ks4_english_32 challenged n31_a_ks4_english_35 through n31_a_ks4_english_38 being n31_a_ks4_english_41 * n31_a_ks4_english_43 offered n31_a_ks4_english_46 opportunities n31_a_ks4_english_49 for n31_a_ks4_english_53 increased n31_a_ks4_english_57 breadth n31_a_ks4_english_60 and n31_a_ks4_english_63 depth n31_a_ks4_english_66 in n31_a_ks4_english_71 reading n31_a_ks4_english_74 and n31_a_ks4_english_77 writing n31_a_ks4_english_79 . n31_a_ks4_english_1 IP-MAT n31_a_ks4_english_2 NP-SBJ n31_a_ks4_english_1->n31_a_ks4_english_2 n31_a_ks4_english_23 MD;_cat_Vi_ n31_a_ks4_english_1->n31_a_ks4_english_23 n31_a_ks4_english_25 IP-INF-CAT n31_a_ks4_english_1->n31_a_ks4_english_25 n31_a_ks4_english_33 PP-SCON n31_a_ks4_english_1->n31_a_ks4_english_33 n31_a_ks4_english_78 PUNC n31_a_ks4_english_1->n31_a_ks4_english_78 n31_a_ks4_english_3 NS n31_a_ks4_english_2->n31_a_ks4_english_3 n31_a_ks4_english_5 IP-REL n31_a_ks4_english_2->n31_a_ks4_english_5 n31_a_ks4_english_3->n31_a_ks4_english_4 n31_a_ks4_english_6 NP-SBJ n31_a_ks4_english_5->n31_a_ks4_english_6 n31_a_ks4_english_15 BEP;_La_ n31_a_ks4_english_5->n31_a_ks4_english_15 n31_a_ks4_english_17 ADJP-PRD n31_a_ks4_english_5->n31_a_ks4_english_17 n31_a_ks4_english_7 NP-GEN n31_a_ks4_english_6->n31_a_ks4_english_7 n31_a_ks4_english_10 ADJP n31_a_ks4_english_6->n31_a_ks4_english_10 n31_a_ks4_english_13 N n31_a_ks4_english_6->n31_a_ks4_english_13 n31_a_ks4_english_8 RPRO;_genm_ n31_a_ks4_english_7->n31_a_ks4_english_8 n31_a_ks4_english_8->n31_a_ks4_english_9 n31_a_ks4_english_11 ADJ n31_a_ks4_english_10->n31_a_ks4_english_11 n31_a_ks4_english_11->n31_a_ks4_english_12 n31_a_ks4_english_13->n31_a_ks4_english_14 n31_a_ks4_english_15->n31_a_ks4_english_16 n31_a_ks4_english_18 ADVP n31_a_ks4_english_17->n31_a_ks4_english_18 n31_a_ks4_english_21 ADJ n31_a_ks4_english_17->n31_a_ks4_english_21 n31_a_ks4_english_19 ADVR n31_a_ks4_english_18->n31_a_ks4_english_19 n31_a_ks4_english_19->n31_a_ks4_english_20 n31_a_ks4_english_21->n31_a_ks4_english_22 n31_a_ks4_english_23->n31_a_ks4_english_24 n31_a_ks4_english_26 BE;_cat_VePASS_ n31_a_ks4_english_25->n31_a_ks4_english_26 n31_a_ks4_english_28 IP-PPL-CAT n31_a_ks4_english_25->n31_a_ks4_english_28 n31_a_ks4_english_26->n31_a_ks4_english_27 n31_a_ks4_english_29 NP-LGS n31_a_ks4_english_28->n31_a_ks4_english_29 n31_a_ks4_english_31 VVN;_Tn_ n31_a_ks4_english_28->n31_a_ks4_english_31 n31_a_ks4_english_29->n31_a_ks4_english_30 n31_a_ks4_english_31->n31_a_ks4_english_32 n31_a_ks4_english_34 P-CONN n31_a_ks4_english_33->n31_a_ks4_english_34 n31_a_ks4_english_36 IP-PPL n31_a_ks4_english_33->n31_a_ks4_english_36 n31_a_ks4_english_34->n31_a_ks4_english_35 n31_a_ks4_english_37 BAG;_cat_VePASS_ n31_a_ks4_english_36->n31_a_ks4_english_37 n31_a_ks4_english_39 IP-PPL-CAT n31_a_ks4_english_36->n31_a_ks4_english_39 n31_a_ks4_english_37->n31_a_ks4_english_38 n31_a_ks4_english_40 NP-LGS n31_a_ks4_english_39->n31_a_ks4_english_40 n31_a_ks4_english_42 VVN;_Dn.n_ n31_a_ks4_english_39->n31_a_ks4_english_42 n31_a_ks4_english_44 NP-OB1 n31_a_ks4_english_39->n31_a_ks4_english_44 n31_a_ks4_english_40->n31_a_ks4_english_41 n31_a_ks4_english_42->n31_a_ks4_english_43 n31_a_ks4_english_45 NS n31_a_ks4_english_44->n31_a_ks4_english_45 n31_a_ks4_english_47 PP n31_a_ks4_english_44->n31_a_ks4_english_47 n31_a_ks4_english_45->n31_a_ks4_english_46 n31_a_ks4_english_48 P-ROLE n31_a_ks4_english_47->n31_a_ks4_english_48 n31_a_ks4_english_50 NP n31_a_ks4_english_47->n31_a_ks4_english_50 n31_a_ks4_english_48->n31_a_ks4_english_49 n31_a_ks4_english_51 ADJP n31_a_ks4_english_50->n31_a_ks4_english_51 n31_a_ks4_english_54 NLYR n31_a_ks4_english_50->n31_a_ks4_english_54 n31_a_ks4_english_64 PP n31_a_ks4_english_50->n31_a_ks4_english_64 n31_a_ks4_english_52 ADJ n31_a_ks4_english_51->n31_a_ks4_english_52 n31_a_ks4_english_52->n31_a_ks4_english_53 n31_a_ks4_english_55 NLYR n31_a_ks4_english_54->n31_a_ks4_english_55 n31_a_ks4_english_58 CONJP n31_a_ks4_english_54->n31_a_ks4_english_58 n31_a_ks4_english_56 N n31_a_ks4_english_55->n31_a_ks4_english_56 n31_a_ks4_english_56->n31_a_ks4_english_57 n31_a_ks4_english_59 CONJ n31_a_ks4_english_58->n31_a_ks4_english_59 n31_a_ks4_english_61 NLYR n31_a_ks4_english_58->n31_a_ks4_english_61 n31_a_ks4_english_59->n31_a_ks4_english_60 n31_a_ks4_english_62 N n31_a_ks4_english_61->n31_a_ks4_english_62 n31_a_ks4_english_62->n31_a_ks4_english_63 n31_a_ks4_english_65 P-ROLE n31_a_ks4_english_64->n31_a_ks4_english_65 n31_a_ks4_english_67 NP n31_a_ks4_english_64->n31_a_ks4_english_67 n31_a_ks4_english_65->n31_a_ks4_english_66 n31_a_ks4_english_68 NLYR n31_a_ks4_english_67->n31_a_ks4_english_68 n31_a_ks4_english_69 NLYR n31_a_ks4_english_68->n31_a_ks4_english_69 n31_a_ks4_english_72 CONJP n31_a_ks4_english_68->n31_a_ks4_english_72 n31_a_ks4_english_70 N n31_a_ks4_english_69->n31_a_ks4_english_70 n31_a_ks4_english_70->n31_a_ks4_english_71 n31_a_ks4_english_73 CONJ n31_a_ks4_english_72->n31_a_ks4_english_73 n31_a_ks4_english_75 NLYR n31_a_ks4_english_72->n31_a_ks4_english_75 n31_a_ks4_english_73->n31_a_ks4_english_74 n31_a_ks4_english_76 N n31_a_ks4_english_75->n31_a_ks4_english_76 n31_a_ks4_english_76->n31_a_ks4_english_77 n31_a_ks4_english_78->n31_a_ks4_english_79
( (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))