TSPC 10_a_ks4

10_a_ks4_english
The overarching aim for English in the national curriculum is to promote high standards of language and literacy by equipping pupils with a strong command of the spoken and written word, and to develop their love of literature through widespread reading for enjoyment.

arc(r_0010_0001__The_r_0010_0003__aim, r_0010_0002__overarching, attrib5).
arc(r_0010_0001__The_r_0010_0003__aim, r_0010_0005__English, r_0010_0004__for).
arc(r_0010_0001__The_r_0010_0003__aim, r_0010_0007__the_r_0010_0009__curriculum, r_0010_0006__in).
arc(r_0010_0007__the_r_0010_0009__curriculum, r_0010_0008__national, attrib22).
arc(r_0010_0010__is, r_0010_0001__The_r_0010_0003__aim, arg0).
arc(r_0010_0010__is, r_0010_0033__and, prd).
arc(r_0010_0011__to_r_0010_0012__promote, r_0010_0014__standards, arg1).
arc(r_0010_0011__to_r_0010_0012__promote, x_000_10_a_ks4_english_29, arg0).
arc(r_0010_0014__standards, r_0010_0013__high, attrib37).
arc(r_0010_0014__standards, r_0010_0017__and, r_0010_0015__of).
arc(r_0010_0017__and, r_0010_0016__language, conj1).
arc(r_0010_0017__and, r_0010_0018__literacy, conj2).
arc(r_0010_0019__by, r_0010_0011__to_r_0010_0012__promote, scope).
arc(r_0010_0019__by, r_0010_0020__equipping, restriction).
arc(r_0010_0020__equipping, r_0010_0021__pupils, arg1).
arc(r_0010_0020__equipping, r_0010_0023__a_r_0010_0025__command, r_0010_0022__with_clr68).
arc(r_0010_0020__equipping, x_000_10_a_ks4_english_29, arg0).
arc(r_0010_0023__a_r_0010_0025__command, r_0010_0024__strong, attrib71).
arc(r_0010_0023__a_r_0010_0025__command, r_0010_0027__the_r_0010_0031__word, r_0010_0026__of).
arc(r_0010_0027__the_r_0010_0031__word, r_0010_0029__and, attrib82).
arc(r_0010_0029__and, r_0010_0028__spoken, conj1).
arc(r_0010_0029__and, r_0010_0030__written, conj2).
arc(r_0010_0033__and, r_0010_0019__by, conj1).
arc(r_0010_0033__and, r_0010_0034__to_r_0010_0035__develop, conj2).
arc(r_0010_0034__to_r_0010_0035__develop, r_0010_0037__love, arg1).
arc(r_0010_0034__to_r_0010_0035__develop, r_0010_0042__reading, r_0010_0040__through_nim120).
arc(r_0010_0034__to_r_0010_0035__develop, x_000_10_a_ks4_english_29, arg0).
arc(r_0010_0037__love, r_0010_0021__pupils, gen).
arc(r_0010_0037__love, r_0010_0039__literature, r_0010_0038__of).
arc(r_0010_0042__reading, r_0010_0041__widespread, attrib121).
arc(r_0010_0042__reading, r_0010_0044__enjoyment, r_0010_0043__for).

fof(formula,axiom,
    ? [R_0010_0002__OVERARCHING,R_0010_0005__ENGLISH,R_0010_0008__NATIONAL,R_0010_0007__THE_R_0010_0009__CURRICULUM,R_0010_0001__THE_R_0010_0003__AIM,R_0010_0013__HIGH,R_0010_0016__LANGUAGE,R_0010_0018__LITERACY,R_0010_0017__AND,R_0010_0014__STANDARDS,X_000_10_A_KS4_ENGLISH_29,R_0010_0011__TO_R_0010_0012__PROMOTE,R_0010_0021__PUPILS,R_0010_0024__STRONG,R_0010_0028__SPOKEN,R_0010_0030__WRITTEN,R_0010_0029__AND,R_0010_0027__THE_R_0010_0031__WORD,R_0010_0023__A_R_0010_0025__COMMAND,R_0010_0020__EQUIPPING,R_0010_0019__BY,R_0010_0039__LITERATURE,R_0010_0037__LOVE,R_0010_0041__WIDESPREAD,R_0010_0044__ENJOYMENT,R_0010_0042__READING,R_0010_0034__TO_R_0010_0035__DEVELOP,R_0010_0033__AND,R_0010_0010__IS] :
      ( r_0010_0002__overarching(R_0010_0002__OVERARCHING)
      & r_0010_0005__English(R_0010_0005__ENGLISH)
      & r_0010_0008__national(R_0010_0008__NATIONAL)
      & r_0010_0013__high(R_0010_0013__HIGH)
      & r_0010_0016__language(R_0010_0016__LANGUAGE)
      & r_0010_0018__literacy(R_0010_0018__LITERACY)
      & r_0010_0021__pupils(R_0010_0021__PUPILS)
      & r_0010_0024__strong(R_0010_0024__STRONG)
      & r_0010_0028__spoken(R_0010_0028__SPOKEN)
      & r_0010_0030__written(R_0010_0030__WRITTEN)
      & r_0010_0039__literature(R_0010_0039__LITERATURE)
      & r_0010_0041__widespread(R_0010_0041__WIDESPREAD)
      & r_0010_0044__enjoyment(R_0010_0044__ENJOYMENT)
      & x_000_10_a_ks4_english_29(X_000_10_A_KS4_ENGLISH_29)
      & r_0010_0010__is(R_0010_0010__IS)
      & has_prd(R_0010_0010__IS,R_0010_0033__AND)
      & r_0010_0033__and(R_0010_0033__AND)
      & has_conj2(R_0010_0033__AND,R_0010_0034__TO_R_0010_0035__DEVELOP)
      & r_0010_0034__to_r_0010_0035__develop(R_0010_0034__TO_R_0010_0035__DEVELOP)
      & has_arg0(R_0010_0034__TO_R_0010_0035__DEVELOP,X_000_10_A_KS4_ENGLISH_29)
      & has_r_0010_0040__through_nim120(R_0010_0034__TO_R_0010_0035__DEVELOP,R_0010_0042__READING)
      & r_0010_0042__reading(R_0010_0042__READING)
      & has_r_0010_0043__for(R_0010_0042__READING,R_0010_0044__ENJOYMENT)
      & has_attrib121(R_0010_0042__READING,R_0010_0041__WIDESPREAD)
      & has_arg1(R_0010_0034__TO_R_0010_0035__DEVELOP,R_0010_0037__LOVE)
      & r_0010_0037__love(R_0010_0037__LOVE)
      & has_r_0010_0038__of(R_0010_0037__LOVE,R_0010_0039__LITERATURE)
      & has_gen(R_0010_0037__LOVE,R_0010_0021__PUPILS)
      & has_conj1(R_0010_0033__AND,R_0010_0019__BY)
      & r_0010_0019__by(R_0010_0019__BY)
      & has_conj1(R_0010_0019__BY,R_0010_0020__EQUIPPING)
      & r_0010_0020__equipping(R_0010_0020__EQUIPPING)
      & has_arg0(R_0010_0020__EQUIPPING,X_000_10_A_KS4_ENGLISH_29)
      & has_r_0010_0022__with_clr68(R_0010_0020__EQUIPPING,R_0010_0023__A_R_0010_0025__COMMAND)
      & r_0010_0023__a_r_0010_0025__command(R_0010_0023__A_R_0010_0025__COMMAND)
      & has_r_0010_0026__of(R_0010_0023__A_R_0010_0025__COMMAND,R_0010_0027__THE_R_0010_0031__WORD)
      & r_0010_0027__the_r_0010_0031__word(R_0010_0027__THE_R_0010_0031__WORD)
      & has_attrib82(R_0010_0027__THE_R_0010_0031__WORD,R_0010_0029__AND)
      & r_0010_0029__and(R_0010_0029__AND)
      & has_conj2(R_0010_0029__AND,R_0010_0030__WRITTEN)
      & has_conj1(R_0010_0029__AND,R_0010_0028__SPOKEN)
      & has_attrib71(R_0010_0023__A_R_0010_0025__COMMAND,R_0010_0024__STRONG)
      & has_arg1(R_0010_0020__EQUIPPING,R_0010_0021__PUPILS)
      & has_conj2(R_0010_0019__BY,R_0010_0011__TO_R_0010_0012__PROMOTE)
      & r_0010_0011__to_r_0010_0012__promote(R_0010_0011__TO_R_0010_0012__PROMOTE)
      & has_arg0(R_0010_0011__TO_R_0010_0012__PROMOTE,X_000_10_A_KS4_ENGLISH_29)
      & has_arg1(R_0010_0011__TO_R_0010_0012__PROMOTE,R_0010_0014__STANDARDS)
      & r_0010_0014__standards(R_0010_0014__STANDARDS)
      & has_r_0010_0015__of(R_0010_0014__STANDARDS,R_0010_0017__AND)
      & r_0010_0017__and(R_0010_0017__AND)
      & has_conj2(R_0010_0017__AND,R_0010_0018__LITERACY)
      & has_conj1(R_0010_0017__AND,R_0010_0016__LANGUAGE)
      & has_attrib37(R_0010_0014__STANDARDS,R_0010_0013__HIGH)
      & has_arg0(R_0010_0010__IS,R_0010_0001__THE_R_0010_0003__AIM)
      & r_0010_0001__The_r_0010_0003__aim(R_0010_0001__THE_R_0010_0003__AIM)
      & has_r_0010_0006__in(R_0010_0001__THE_R_0010_0003__AIM,R_0010_0007__THE_R_0010_0009__CURRICULUM)
      & r_0010_0007__the_r_0010_0009__curriculum(R_0010_0007__THE_R_0010_0009__CURRICULUM)
      & has_attrib22(R_0010_0007__THE_R_0010_0009__CURRICULUM,R_0010_0008__NATIONAL)
      & has_r_0010_0004__for(R_0010_0001__THE_R_0010_0003__AIM,R_0010_0005__ENGLISH)
      & has_attrib5(R_0010_0001__THE_R_0010_0003__AIM,R_0010_0002__OVERARCHING) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ overarching;{overarching}))
                  (N aim;{aim})
                  (PP (P-ROLE for;{for})
                      (NP (NPR English;{English})))
                  (PP (P-ROLE in;{in})
                      (NP (D the;{the})
                          (ADJP (ADJ national;{national}))
                          (N curriculum;{curriculum}))))
          (BEP;_equ_Vt_ is;{be})
          (IP-INF-PRD (ILYR (ILYR (TO to;{to})
                                  (VB;_Tn_ promote;{promote})
                                  (NP-OB1 (ADJP (ADJ high;{high}))
                                          (NS standards;{standard})
                                          (PP (P-ROLE of;{of})
                                              (NP (NLYR (NLYR (N language;{language}))
                                                        (CONJP (CONJ and;{and})
                                                               (NLYR (N literacy;{literacy})))))))
                                  (PP-SCON (P-CONN by;{by})
                                           (IP-PPL2 (VAG;_Tn.pr_ equipping;{equip[with]})
                                                    (NP-OB1;{PUPILS} (NS pupils;{pupil}))
                                                    (PP-CLR (P-ROLE with;{with})
                                                            (NP (D a;{a})
                                                                (ADJP (ADJ strong;{strong}))
                                                                (N command;{command})
                                                                (PP (P-ROLE of;{of})
                                                                    (NP (D the;{the})
                                                                        (ADJP (AJLYR (AJLYR (ADJ spoken;{speak}))
                                                                                     (CONJP (CONJ and;{and})
                                                                                            (AJLYR (ADJ written;{written})))))
                                                                        (N word;{word}))))))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (TO to;{to})
                                         (VB;_Tn_ develop;{develop})
                                         (NP-OB1 (NP-GEN;{PUPILS} (PRO;_genm_ their;{their}))
                                                 (N love;{love})
                                                 (PP (P-ROLE of;{of})
                                                     (NP (N literature;{literature}))))
                                         (PP-NIM (P-ROLE through;{through})
                                                 (NP (ADJP (ADJ widespread;{widespread}))
                                                     (N reading;{reading})
                                                     (PP (P-ROLE for;{for})
                                                         (NP (N enjoyment;{enjoyment})))))))))
          (PUNC .))
  (ID 10_a_ks4_english))