arc(r_0011_0001__The_r_0011_0003__curriculum, r_0011_0002__national, attrib5).
arc(r_0011_0001__The_r_0011_0003__curriculum, r_0011_0005__English, r_0011_0004__for).
arc(r_0011_0006__aims, r_0011_0001__The_r_0011_0003__curriculum, arg0).
arc(r_0011_0006__aims, r_0011_0007__to_r_0011_0008__ensure, clr18).
arc(r_0011_0007__to_r_0011_0008__ensure, r_0011_0001__The_r_0011_0003__curriculum, arg0).
arc(r_0011_0007__to_r_0011_0008__ensure, r_0011_0010__all_quant, arg1).
arc(r_0011_0010__all_quant, r_0011_0011__pupils, restriction).
arc(r_0011_0010__all_quant, z_000_11_a_ks4_english_34, scope).
arc(r_0011_0014__read, r_0011_0011__pupils, arg0).
arc(r_0011_0014__read, z_000_11_a_ks4_english_44, nim43).
arc(r_0011_0018__and, r_0011_0014__read, conj1).
arc(r_0011_0018__and, z_000_11_a_ks4_english_57, conj2).
arc(r_0011_0021__understanding, r_0011_0020__good, attrib62).
arc(r_0011_0023__develop, r_0011_0011__pupils, arg0).
arc(r_0011_0023__develop, r_0011_0024__the_r_0011_0025__habit, arg1).
arc(r_0011_0024__the_r_0011_0025__habit, r_0011_0027__reading, r_0011_0026__of).
arc(r_0011_0027__reading, r_0011_0029__and, nim85).
arc(r_0011_0027__reading, r_0011_0033__both_r_0011_0035__and, r_0011_0032__for_nim101).
arc(r_0011_0027__reading, z_000_11_a_ks4_english_82, arg0).
arc(r_0011_0029__and, r_0011_0028__widely, conj1).
arc(r_0011_0029__and, r_0011_0030__often, conj2).
arc(r_0011_0033__both_r_0011_0035__and, r_0011_0034__pleasure, conj1).
arc(r_0011_0033__both_r_0011_0035__and, r_0011_0036__information, conj2).
arc(r_0011_0038__acquire, r_0011_0011__pupils, arg0).
arc(r_0011_0038__acquire, r_0011_0047__and, arg1).
arc(r_0011_0039__a_r_0011_0041__vocabulary, r_0011_0040__wide, attrib126).
arc(r_0011_0043__an_r_0011_0044__understanding, r_0011_0046__grammar, r_0011_0045__of).
arc(r_0011_0047__and, r_0011_0039__a_r_0011_0041__vocabulary, conj1).
arc(r_0011_0047__and, r_0011_0043__an_r_0011_0044__understanding, conj2).
arc(r_0011_0047__and, r_0011_0048__knowledge, conj3).
arc(r_0011_0048__knowledge, r_0011_0051__conventions, r_0011_0049__of).
arc(r_0011_0051__conventions, r_0011_0050__linguistic, attrib155).
arc(r_0011_0051__conventions, r_0011_0056__and, r_0011_0052__for).
arc(r_0011_0056__and, r_0011_0053__reading, conj1).
arc(r_0011_0056__and, r_0011_0055__writing, conj2).
arc(r_0011_0056__and, r_0011_0058__language, conj3).
arc(r_0011_0058__language, r_0011_0057__spoken, attrib178).
arc(r_0011_0060__appreciate, r_0011_0011__pupils, arg0).
arc(r_0011_0060__appreciate, r_0011_0066__heritage, arg1).
arc(r_0011_0063__and, r_0011_0062__rich, conj1).
arc(r_0011_0063__and, r_0011_0064__varied, conj2).
arc(r_0011_0066__heritage, r_0011_0061__our, gen).
arc(r_0011_0066__heritage, r_0011_0063__and, attrib194).
arc(r_0011_0066__heritage, r_0011_0065__literary, attrib205).
arc(r_0011_0068__write, r_0011_0011__pupils, arg0).
arc(r_0011_0068__write, r_0011_0072__and, nim217).
arc(r_0011_0072__and, r_0011_0069__clearly, conj1).
arc(r_0011_0072__and, r_0011_0071__accurately, conj2).
arc(r_0011_0072__and, r_0011_0073__coherently, conj3).
arc(r_0011_0075__adapting, r_0011_0011__pupils, arg0).
arc(r_0011_0075__adapting, r_0011_0078__and, arg1).
arc(r_0011_0075__adapting, r_0011_0081__a_r_0011_0082__range, r_0011_0080__in_and_for_nim256).
arc(r_0011_0078__and, r_0011_0011__pupils, gen).
arc(r_0011_0078__and, r_0011_0077__language, conj1).
arc(r_0011_0078__and, r_0011_0079__style, conj2).
arc(r_0011_0081__a_r_0011_0082__range, r_0011_0087__and, r_0011_0083__of).
arc(r_0011_0087__and, r_0011_0084__contexts, conj1).
arc(r_0011_0087__and, r_0011_0086__purposes, conj2).
arc(r_0011_0087__and, r_0011_0088__audiences, conj3).
arc(r_0011_0090__use, r_0011_0011__pupils, arg0).
arc(r_0011_0090__use, r_0011_0091__discussion, arg1).
arc(r_0011_0092__in_order, r_0011_0090__use, scope).
arc(r_0011_0092__in_order, r_0011_0093__to_r_0011_0094__learn, restriction).
arc(r_0011_0093__to_r_0011_0094__learn, r_0011_0011__pupils, arg0).
arc(r_0011_0110__are, r_0011_0011__pupils, arg0).
arc(r_0011_0110__are, r_0011_0111__competent, prd).
arc(r_0011_0111__competent, r_0011_0113__the_r_0011_0114__arts, r_0011_0112__in).
arc(r_0011_0113__the_r_0011_0114__arts, r_0011_0127__and, r_0011_0115__of).
arc(r_0011_0116__speaking, z_000_11_a_ks4_english_365, arg0).
arc(r_0011_0117__and, r_0011_0116__speaking, conj1).
arc(r_0011_0117__and, r_0011_0118__listening, conj2).
arc(r_0011_0118__listening, z_000_11_a_ks4_english_365, arg0).
arc(r_0011_0120__making, r_0011_0122__presentations, arg1).
arc(r_0011_0120__making, z_000_11_a_ks4_english_365, arg0).
arc(r_0011_0122__presentations, r_0011_0121__formal, attrib385).
arc(r_0011_0124__demonstrating, r_0011_0126__others, r_0011_0125__to_clr399).
arc(r_0011_0124__demonstrating, z_000_11_a_ks4_english_365, arg0).
arc(r_0011_0127__and, r_0011_0117__and, conj1).
arc(r_0011_0127__and, r_0011_0120__making, conj2).
arc(r_0011_0127__and, r_0011_0124__demonstrating, conj3).
arc(r_0011_0127__and, r_0011_0128__participating, conj4).
arc(r_0011_0128__participating, r_0011_0130__debate, r_0011_0129__in_clr411).
arc(r_0011_0128__participating, z_000_11_a_ks4_english_365, arg0).
arc(z_000_11_a_ks4_english_235, r_0011_0068__write, scope).
arc(z_000_11_a_ks4_english_235, r_0011_0075__adapting, restriction).
arc(z_000_11_a_ks4_english_34, r_0011_0018__and, conj1).
arc(z_000_11_a_ks4_english_34, r_0011_0023__develop, conj2).
arc(z_000_11_a_ks4_english_34, r_0011_0038__acquire, conj3).
arc(z_000_11_a_ks4_english_34, r_0011_0060__appreciate, conj4).
arc(z_000_11_a_ks4_english_34, r_0011_0092__in_order, conj6).
arc(z_000_11_a_ks4_english_34, r_0011_0110__are, conj7).
arc(z_000_11_a_ks4_english_34, z_000_11_a_ks4_english_235, conj5).
arc(z_000_11_a_ks4_english_44, r_0011_0015__easily, conj1).
arc(z_000_11_a_ks4_english_44, r_0011_0017__fluently, conj2).
arc(z_000_11_a_ks4_english_57, r_0011_0011__pupils, arg0).
arc(z_000_11_a_ks4_english_57, r_0011_0021__understanding, r_0011_0019__with_nim61).

fof(formula,axiom,
    ? [R_0011_0002__NATIONAL,R_0011_0005__ENGLISH,R_0011_0001__THE_R_0011_0003__CURRICULUM,R_0011_0007__TO_R_0011_0008__ENSURE,R_0011_0006__AIMS] :
      ( r_0011_0002__national(R_0011_0002__NATIONAL)
      & r_0011_0005__English(R_0011_0005__ENGLISH)
      & r_0011_0006__aims(R_0011_0006__AIMS)
      & has_clr18(R_0011_0006__AIMS,R_0011_0007__TO_R_0011_0008__ENSURE)
      & r_0011_0007__to_r_0011_0008__ensure(R_0011_0007__TO_R_0011_0008__ENSURE)
      & ! [R_0011_0011__PUPILS] :
          ( r_0011_0011__pupils(R_0011_0011__PUPILS)
         => ? [R_0011_0015__EASILY,R_0011_0017__FLUENTLY,Z_000_11_A_KS4_ENGLISH_44,R_0011_0014__READ,R_0011_0020__GOOD,R_0011_0021__UNDERSTANDING,Z_000_11_A_KS4_ENGLISH_57,R_0011_0018__AND,R_0011_0028__WIDELY,R_0011_0030__OFTEN,R_0011_0029__AND,R_0011_0034__PLEASURE,R_0011_0036__INFORMATION,R_0011_0033__BOTH_R_0011_0035__AND,Z_000_11_A_KS4_ENGLISH_82,R_0011_0027__READING,R_0011_0024__THE_R_0011_0025__HABIT,R_0011_0023__DEVELOP,R_0011_0040__WIDE,R_0011_0039__A_R_0011_0041__VOCABULARY,R_0011_0046__GRAMMAR,R_0011_0043__AN_R_0011_0044__UNDERSTANDING,R_0011_0050__LINGUISTIC,R_0011_0053__READING,R_0011_0055__WRITING,R_0011_0057__SPOKEN,R_0011_0058__LANGUAGE,R_0011_0056__AND,R_0011_0051__CONVENTIONS,R_0011_0048__KNOWLEDGE,R_0011_0047__AND,R_0011_0038__ACQUIRE,R_0011_0061__OUR,R_0011_0062__RICH,R_0011_0064__VARIED,R_0011_0063__AND,R_0011_0065__LITERARY,R_0011_0066__HERITAGE,R_0011_0060__APPRECIATE,R_0011_0091__DISCUSSION,R_0011_0090__USE,R_0011_0093__TO_R_0011_0094__LEARN,R_0011_0092__IN_ORDER,Z_000_11_A_KS4_ENGLISH_365,R_0011_0116__SPEAKING,R_0011_0118__LISTENING,R_0011_0117__AND,R_0011_0121__FORMAL,R_0011_0122__PRESENTATIONS,R_0011_0120__MAKING,R_0011_0126__OTHERS,R_0011_0124__DEMONSTRATING,R_0011_0130__DEBATE,R_0011_0128__PARTICIPATING,R_0011_0127__AND,R_0011_0113__THE_R_0011_0114__ARTS,R_0011_0111__COMPETENT,R_0011_0110__ARE,R_0011_0069__CLEARLY,R_0011_0071__ACCURATELY,R_0011_0073__COHERENTLY,R_0011_0072__AND,R_0011_0068__WRITE,R_0011_0077__LANGUAGE,R_0011_0079__STYLE,R_0011_0078__AND,R_0011_0084__CONTEXTS,R_0011_0086__PURPOSES,R_0011_0088__AUDIENCES,R_0011_0087__AND,R_0011_0081__A_R_0011_0082__RANGE,R_0011_0075__ADAPTING,Z_000_11_A_KS4_ENGLISH_235,Z_000_11_A_KS4_ENGLISH_34] :
              ( r_0011_0015__easily(R_0011_0015__EASILY)
              & r_0011_0017__fluently(R_0011_0017__FLUENTLY)
              & r_0011_0020__good(R_0011_0020__GOOD)
              & r_0011_0028__widely(R_0011_0028__WIDELY)
              & r_0011_0030__often(R_0011_0030__OFTEN)
              & r_0011_0034__pleasure(R_0011_0034__PLEASURE)
              & r_0011_0036__information(R_0011_0036__INFORMATION)
              & r_0011_0040__wide(R_0011_0040__WIDE)
              & r_0011_0046__grammar(R_0011_0046__GRAMMAR)
              & r_0011_0050__linguistic(R_0011_0050__LINGUISTIC)
              & r_0011_0053__reading(R_0011_0053__READING)
              & r_0011_0055__writing(R_0011_0055__WRITING)
              & r_0011_0057__spoken(R_0011_0057__SPOKEN)
              & r_0011_0061__our(R_0011_0061__OUR)
              & r_0011_0062__rich(R_0011_0062__RICH)
              & r_0011_0064__varied(R_0011_0064__VARIED)
              & r_0011_0065__literary(R_0011_0065__LITERARY)
              & r_0011_0069__clearly(R_0011_0069__CLEARLY)
              & r_0011_0071__accurately(R_0011_0071__ACCURATELY)
              & r_0011_0073__coherently(R_0011_0073__COHERENTLY)
              & r_0011_0077__language(R_0011_0077__LANGUAGE)
              & r_0011_0079__style(R_0011_0079__STYLE)
              & r_0011_0084__contexts(R_0011_0084__CONTEXTS)
              & r_0011_0086__purposes(R_0011_0086__PURPOSES)
              & r_0011_0088__audiences(R_0011_0088__AUDIENCES)
              & r_0011_0091__discussion(R_0011_0091__DISCUSSION)
              & r_0011_0121__formal(R_0011_0121__FORMAL)
              & r_0011_0126__others(R_0011_0126__OTHERS)
              & r_0011_0130__debate(R_0011_0130__DEBATE)
              & z_000_11_a_ks4_english_365(Z_000_11_A_KS4_ENGLISH_365)
              & z_000_11_a_ks4_english_82(Z_000_11_A_KS4_ENGLISH_82)
              & z_000_11_a_ks4_english_34(Z_000_11_A_KS4_ENGLISH_34)
              & has_conj5(Z_000_11_A_KS4_ENGLISH_34,Z_000_11_A_KS4_ENGLISH_235)
              & z_000_11_a_ks4_english_235(Z_000_11_A_KS4_ENGLISH_235)
              & has_conj1(Z_000_11_A_KS4_ENGLISH_235,R_0011_0075__ADAPTING)
              & r_0011_0075__adapting(R_0011_0075__ADAPTING)
              & has_r_0011_0080__in_and_for_nim256(R_0011_0075__ADAPTING,R_0011_0081__A_R_0011_0082__RANGE)
              & r_0011_0081__a_r_0011_0082__range(R_0011_0081__A_R_0011_0082__RANGE)
              & has_r_0011_0083__of(R_0011_0081__A_R_0011_0082__RANGE,R_0011_0087__AND)
              & r_0011_0087__and(R_0011_0087__AND)
              & has_conj3(R_0011_0087__AND,R_0011_0088__AUDIENCES)
              & has_conj2(R_0011_0087__AND,R_0011_0086__PURPOSES)
              & has_conj1(R_0011_0087__AND,R_0011_0084__CONTEXTS)
              & has_arg1(R_0011_0075__ADAPTING,R_0011_0078__AND)
              & r_0011_0078__and(R_0011_0078__AND)
              & has_conj2(R_0011_0078__AND,R_0011_0079__STYLE)
              & has_conj1(R_0011_0078__AND,R_0011_0077__LANGUAGE)
              & has_gen(R_0011_0078__AND,R_0011_0011__PUPILS)
              & has_arg0(R_0011_0075__ADAPTING,R_0011_0011__PUPILS)
              & has_conj2(Z_000_11_A_KS4_ENGLISH_235,R_0011_0068__WRITE)
              & r_0011_0068__write(R_0011_0068__WRITE)
              & has_nim217(R_0011_0068__WRITE,R_0011_0072__AND)
              & r_0011_0072__and(R_0011_0072__AND)
              & has_conj3(R_0011_0072__AND,R_0011_0073__COHERENTLY)
              & has_conj2(R_0011_0072__AND,R_0011_0071__ACCURATELY)
              & has_conj1(R_0011_0072__AND,R_0011_0069__CLEARLY)
              & has_arg0(R_0011_0068__WRITE,R_0011_0011__PUPILS)
              & has_conj7(Z_000_11_A_KS4_ENGLISH_34,R_0011_0110__ARE)
              & r_0011_0110__are(R_0011_0110__ARE)
              & has_prd(R_0011_0110__ARE,R_0011_0111__COMPETENT)
              & r_0011_0111__competent(R_0011_0111__COMPETENT)
              & has_r_0011_0112__in(R_0011_0111__COMPETENT,R_0011_0113__THE_R_0011_0114__ARTS)
              & r_0011_0113__the_r_0011_0114__arts(R_0011_0113__THE_R_0011_0114__ARTS)
              & has_r_0011_0115__of(R_0011_0113__THE_R_0011_0114__ARTS,R_0011_0127__AND)
              & r_0011_0127__and(R_0011_0127__AND)
              & has_conj4(R_0011_0127__AND,R_0011_0128__PARTICIPATING)
              & r_0011_0128__participating(R_0011_0128__PARTICIPATING)
              & has_arg0(R_0011_0128__PARTICIPATING,Z_000_11_A_KS4_ENGLISH_365)
              & has_r_0011_0129__in_clr411(R_0011_0128__PARTICIPATING,R_0011_0130__DEBATE)
              & has_conj3(R_0011_0127__AND,R_0011_0124__DEMONSTRATING)
              & r_0011_0124__demonstrating(R_0011_0124__DEMONSTRATING)
              & has_arg0(R_0011_0124__DEMONSTRATING,Z_000_11_A_KS4_ENGLISH_365)
              & has_r_0011_0125__to_clr399(R_0011_0124__DEMONSTRATING,R_0011_0126__OTHERS)
              & has_conj2(R_0011_0127__AND,R_0011_0120__MAKING)
              & r_0011_0120__making(R_0011_0120__MAKING)
              & has_arg0(R_0011_0120__MAKING,Z_000_11_A_KS4_ENGLISH_365)
              & has_arg1(R_0011_0120__MAKING,R_0011_0122__PRESENTATIONS)
              & r_0011_0122__presentations(R_0011_0122__PRESENTATIONS)
              & has_attrib385(R_0011_0122__PRESENTATIONS,R_0011_0121__FORMAL)
              & has_conj1(R_0011_0127__AND,R_0011_0117__AND)
              & r_0011_0117__and(R_0011_0117__AND)
              & has_conj2(R_0011_0117__AND,R_0011_0118__LISTENING)
              & r_0011_0118__listening(R_0011_0118__LISTENING)
              & has_arg0(R_0011_0118__LISTENING,Z_000_11_A_KS4_ENGLISH_365)
              & has_conj1(R_0011_0117__AND,R_0011_0116__SPEAKING)
              & r_0011_0116__speaking(R_0011_0116__SPEAKING)
              & has_arg0(R_0011_0116__SPEAKING,Z_000_11_A_KS4_ENGLISH_365)
              & has_arg0(R_0011_0110__ARE,R_0011_0011__PUPILS)
              & has_conj6(Z_000_11_A_KS4_ENGLISH_34,R_0011_0092__IN_ORDER)
              & r_0011_0092__in_order(R_0011_0092__IN_ORDER)
              & has_conj1(R_0011_0092__IN_ORDER,R_0011_0093__TO_R_0011_0094__LEARN)
              & r_0011_0093__to_r_0011_0094__learn(R_0011_0093__TO_R_0011_0094__LEARN)
              & has_arg0(R_0011_0093__TO_R_0011_0094__LEARN,R_0011_0011__PUPILS)
              & has_conj2(R_0011_0092__IN_ORDER,R_0011_0090__USE)
              & r_0011_0090__use(R_0011_0090__USE)
              & has_arg1(R_0011_0090__USE,R_0011_0091__DISCUSSION)
              & has_arg0(R_0011_0090__USE,R_0011_0011__PUPILS)
              & has_conj4(Z_000_11_A_KS4_ENGLISH_34,R_0011_0060__APPRECIATE)
              & r_0011_0060__appreciate(R_0011_0060__APPRECIATE)
              & has_arg1(R_0011_0060__APPRECIATE,R_0011_0066__HERITAGE)
              & r_0011_0066__heritage(R_0011_0066__HERITAGE)
              & has_attrib205(R_0011_0066__HERITAGE,R_0011_0065__LITERARY)
              & has_attrib194(R_0011_0066__HERITAGE,R_0011_0063__AND)
              & r_0011_0063__and(R_0011_0063__AND)
              & has_conj2(R_0011_0063__AND,R_0011_0064__VARIED)
              & has_conj1(R_0011_0063__AND,R_0011_0062__RICH)
              & has_gen(R_0011_0066__HERITAGE,R_0011_0061__OUR)
              & has_arg0(R_0011_0060__APPRECIATE,R_0011_0011__PUPILS)
              & has_conj3(Z_000_11_A_KS4_ENGLISH_34,R_0011_0038__ACQUIRE)
              & r_0011_0038__acquire(R_0011_0038__ACQUIRE)
              & has_arg1(R_0011_0038__ACQUIRE,R_0011_0047__AND)
              & r_0011_0047__and(R_0011_0047__AND)
              & has_conj3(R_0011_0047__AND,R_0011_0048__KNOWLEDGE)
              & r_0011_0048__knowledge(R_0011_0048__KNOWLEDGE)
              & has_r_0011_0049__of(R_0011_0048__KNOWLEDGE,R_0011_0051__CONVENTIONS)
              & r_0011_0051__conventions(R_0011_0051__CONVENTIONS)
              & has_r_0011_0052__for(R_0011_0051__CONVENTIONS,R_0011_0056__AND)
              & r_0011_0056__and(R_0011_0056__AND)
              & has_conj3(R_0011_0056__AND,R_0011_0058__LANGUAGE)
              & r_0011_0058__language(R_0011_0058__LANGUAGE)
              & has_attrib178(R_0011_0058__LANGUAGE,R_0011_0057__SPOKEN)
              & has_conj2(R_0011_0056__AND,R_0011_0055__WRITING)
              & has_conj1(R_0011_0056__AND,R_0011_0053__READING)
              & has_attrib155(R_0011_0051__CONVENTIONS,R_0011_0050__LINGUISTIC)
              & has_conj2(R_0011_0047__AND,R_0011_0043__AN_R_0011_0044__UNDERSTANDING)
              & r_0011_0043__an_r_0011_0044__understanding(R_0011_0043__AN_R_0011_0044__UNDERSTANDING)
              & has_r_0011_0045__of(R_0011_0043__AN_R_0011_0044__UNDERSTANDING,R_0011_0046__GRAMMAR)
              & has_conj1(R_0011_0047__AND,R_0011_0039__A_R_0011_0041__VOCABULARY)
              & r_0011_0039__a_r_0011_0041__vocabulary(R_0011_0039__A_R_0011_0041__VOCABULARY)
              & has_attrib126(R_0011_0039__A_R_0011_0041__VOCABULARY,R_0011_0040__WIDE)
              & has_arg0(R_0011_0038__ACQUIRE,R_0011_0011__PUPILS)
              & has_conj2(Z_000_11_A_KS4_ENGLISH_34,R_0011_0023__DEVELOP)
              & r_0011_0023__develop(R_0011_0023__DEVELOP)
              & has_arg1(R_0011_0023__DEVELOP,R_0011_0024__THE_R_0011_0025__HABIT)
              & r_0011_0024__the_r_0011_0025__habit(R_0011_0024__THE_R_0011_0025__HABIT)
              & has_r_0011_0026__of(R_0011_0024__THE_R_0011_0025__HABIT,R_0011_0027__READING)
              & r_0011_0027__reading(R_0011_0027__READING)
              & has_arg0(R_0011_0027__READING,Z_000_11_A_KS4_ENGLISH_82)
              & has_r_0011_0032__for_nim101(R_0011_0027__READING,R_0011_0033__BOTH_R_0011_0035__AND)
              & r_0011_0033__both_r_0011_0035__and(R_0011_0033__BOTH_R_0011_0035__AND)
              & has_conj2(R_0011_0033__BOTH_R_0011_0035__AND,R_0011_0036__INFORMATION)
              & has_conj1(R_0011_0033__BOTH_R_0011_0035__AND,R_0011_0034__PLEASURE)
              & has_nim85(R_0011_0027__READING,R_0011_0029__AND)
              & r_0011_0029__and(R_0011_0029__AND)
              & has_conj2(R_0011_0029__AND,R_0011_0030__OFTEN)
              & has_conj1(R_0011_0029__AND,R_0011_0028__WIDELY)
              & has_arg0(R_0011_0023__DEVELOP,R_0011_0011__PUPILS)
              & has_conj1(Z_000_11_A_KS4_ENGLISH_34,R_0011_0018__AND)
              & r_0011_0018__and(R_0011_0018__AND)
              & has_conj2(R_0011_0018__AND,Z_000_11_A_KS4_ENGLISH_57)
              & z_000_11_a_ks4_english_57(Z_000_11_A_KS4_ENGLISH_57)
              & has_r_0011_0019__with_nim61(Z_000_11_A_KS4_ENGLISH_57,R_0011_0021__UNDERSTANDING)
              & r_0011_0021__understanding(R_0011_0021__UNDERSTANDING)
              & has_attrib62(R_0011_0021__UNDERSTANDING,R_0011_0020__GOOD)
              & has_arg0(Z_000_11_A_KS4_ENGLISH_57,R_0011_0011__PUPILS)
              & has_conj1(R_0011_0018__AND,R_0011_0014__READ)
              & r_0011_0014__read(R_0011_0014__READ)
              & has_nim43(R_0011_0014__READ,Z_000_11_A_KS4_ENGLISH_44)
              & z_000_11_a_ks4_english_44(Z_000_11_A_KS4_ENGLISH_44)
              & has_conj2(Z_000_11_A_KS4_ENGLISH_44,R_0011_0017__FLUENTLY)
              & has_conj1(Z_000_11_A_KS4_ENGLISH_44,R_0011_0015__EASILY)
              & has_arg0(R_0011_0014__READ,R_0011_0011__PUPILS) ) )
      & has_arg0(R_0011_0007__TO_R_0011_0008__ENSURE,R_0011_0001__THE_R_0011_0003__CURRICULUM)
      & r_0011_0001__The_r_0011_0003__curriculum(R_0011_0001__THE_R_0011_0003__CURRICULUM)
      & has_r_0011_0004__for(R_0011_0001__THE_R_0011_0003__CURRICULUM,R_0011_0005__ENGLISH)
      & has_attrib5(R_0011_0001__THE_R_0011_0003__CURRICULUM,R_0011_0002__NATIONAL)
      & has_arg0(R_0011_0006__AIMS,R_0011_0001__THE_R_0011_0003__CURRICULUM) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ national;{national}))
                  (N curriculum;{curriculum})
                  (PP (P-ROLE for;{for})
                      (NP (NPR English;{English}))))
          (VBP;_It_ aims;{aim})
          (IP-INF-CLR (TO to;{to})
                      (VB;_Tf_ ensure;{ensure})
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ;{PUPILS} (Q all;{all})
                                                           (NS pupils;{pupil}))
                                          (PUNC :)
                                          (ILYR (ILYR (LST (LS <bull>))
                                                      (ILYR (ILYR (VBP;_I_ read;{read})
                                                                  (ADVP-NIM (AVLYR (AVLYR (ADV easily;{easily}))
                                                                                   (PUNC ,)
                                                                                   (CONJP (AVLYR (ADV fluently;{fluently}))))))
                                                            (CONJP (CONJ and;{and})
                                                                   (ILYR (PP-NIM (P-ROLE with;{with})
                                                                                 (NP (ADJP (ADJ good;{good}))
                                                                                     (N understanding;{understanding})))))))
                                                (CONJP (ILYR (LST (LS <bull>))
                                                             (VBP;_Tn_ develop;{develop})
                                                             (NP-OB1 (D the;{the})
                                                                     (N habit;{habit})
                                                                     (PP (P-ROLE of;{of})
                                                                         (IP-PPL (VAG;_I_ reading;{read})
                                                                                 (ADVP-NIM (AVLYR (AVLYR (ADV widely;{widely}))
                                                                                                  (CONJP (CONJ and;{and})
                                                                                                         (AVLYR (ADV often;{often})))))
                                                                                 (PUNC ,)
                                                                                 (PP-NIM (P-ROLE for;{for})
                                                                                         (NP (NLYR (CONJ both;{both})
                                                                                                   (NLYR (N pleasure;{pleasure}))
                                                                                                   (CONJP (CONJ and;{and})
                                                                                                          (NLYR (N information;{information})))))))))))
                                                (CONJP (ILYR (LST (LS <bull>))
                                                             (VBP;_Tn_ acquire;{acquire})
                                                             (NP-OB1 (NLYR (NLYR (D a;{a})
                                                                                 (ADJP (ADJ wide;{wide}))
                                                                                 (N vocabulary;{vocabulary}))
                                                                           (PUNC ,)
                                                                           (CONJP (NLYR (D an;{an})
                                                                                        (N understanding;{understanding})
                                                                                        (PP (P-ROLE of;{of})
                                                                                            (NP (N grammar;{grammar})))))
                                                                           (CONJP (CONJ and;{and})
                                                                                  (NLYR (N knowledge;{knowledge})
                                                                                        (PP (P-ROLE of;{of})
                                                                                            (NP (ADJP (ADJ linguistic;{linguistic}))
                                                                                                (NS conventions;{convention})
                                                                                                (PP (P-ROLE for;{for})
                                                                                                    (NP (NLYR (NLYR (N reading;{reading}))
                                                                                                              (PUNC ,)
                                                                                                              (CONJP (NLYR (N writing;{writing})))
                                                                                                              (CONJP (CONJ and;{and})
                                                                                                                     (NLYR (ADJP (ADJ spoken;{speak}))
                                                                                                                           (N language;{language}))))))))))))))
                                                (CONJP (ILYR (LST (LS <bull>))
                                                             (VBP;_Tn_ appreciate;{appreciate})
                                                             (NP-OB1 (NP-GEN;{PEOPLES} (PRO;_genm_ our;{our}))
                                                                     (ADJP (AJLYR (AJLYR (ADJ rich;{rich}))
                                                                                  (CONJP (CONJ and;{and})
                                                                                         (AJLYR (ADJ varied;{varied})))))
                                                                     (ADJP (ADJ literary;{literary}))
                                                                     (N heritage;{heritage}))))
                                                (CONJP (ILYR (LST (LS <bull>))
                                                             (VBP;_I_ write;{write})
                                                             (ADVP-NIM (AVLYR (AVLYR (ADV clearly;{clearly}))
                                                                              (PUNC ,)
                                                                              (AVLYR (ADV accurately;{accurately}))
                                                                              (CONJP (CONJ and;{and})
                                                                                     (AVLYR (ADV coherently;{coherently})))))
                                                             (PUNC ,)
                                                             (PP-SCON (IP-PPL (VAG;_Tn.pr_ adapting;{adapt})
                                                                              (NP-OB1 (NP-GEN;{PUPILS} (PRO;_genm_ their;{their}))
                                                                                      (NLYR (NLYR (N language;{language}))
                                                                                            (CONJP (CONJ and;{and})
                                                                                                   (NLYR (N style;{style})))))
                                                                              (PP-NIM (P-ROLE in_and_for;{in_and_for})
                                                                                      (NP (D a;{a})
                                                                                          (N range;{range})
                                                                                          (PP (P-ROLE of;{of})
                                                                                              (NP (NLYR (NLYR (NS contexts;{context}))
                                                                                                        (PUNC ,)
                                                                                                        (CONJP (NLYR (NS purposes;{purpose})))
                                                                                                        (CONJP (CONJ and;{and})
                                                                                                               (NLYR (NS audiences;{audience}))))))))))))
                                                (CONJP (ILYR (LST (LS <bull>))
                                                             (VBP;_Tn_ use;{use})
                                                             (NP-OB1 (N discussion;{discussion}))
                                                             (PP-SCON (P-CONN in_order;{in_order})
                                                                      (IP-INF2 (TO to;{to})
                                                                               (VB;_I_ learn;{learn})))
                                                             (PUNC ;)
                                                             (PRN (IP-MAT (NP-SBJ;{PUPILS} (PRO they;{they}))
                                                                          (MD;_cat_Vi_ should;{shall})
                                                                          (IP-INF-CAT (BE;_La_ be;{be})
                                                                                      (ADJP-PRD (ADJ;_cat_ able;{able})
                                                                                                (IP-INF (TO to;{to})
                                                                                                        (ILYR (ILYR (VB;_Tn_ elaborate;{elaborate}))
                                                                                                              (CONJP (CONJ and;{and})
                                                                                                                     (ILYR (VB;_Tn_ explain;{explain}))))
                                                                                                        (ADVP-NIM (ADV clearly;{clearly}))
                                                                                                        (NP-OB1 (NP-GEN;{PUPILS} (PRO;_genm_ their;{their}))
                                                                                                                (NLYR (NLYR (N understanding;{understanding}))
                                                                                                                      (CONJP (CONJ and;{and})
                                                                                                                             (NLYR (NS ideas;{idea}))))))))))))
                                                (CONJP (ILYR (LST (LS <bull>))
                                                             (BEP;_La_ are;{be})
                                                             (ADJP-PRD (ADJ competent;{competent})
                                                                       (PP (P-ROLE in;{in})
                                                                           (NP (D the;{the})
                                                                               (NS arts;{art})
                                                                               (PP (P-ROLE of;{of})
                                                                                   (IP-PPL (ILYR (ILYR (ILYR (ILYR (VAG;_I_ speaking;{speak}))
                                                                                                             (CONJP (CONJ and;{and})
                                                                                                                    (ILYR (VAG;_I_ listening;{listen})))))
                                                                                                 (PUNC ,)
                                                                                                 (CONJP (ILYR (VAG;_Tn_ making;{make})
                                                                                                              (NP-OB1 (ADJP (ADJ formal;{formal}))
                                                                                                                      (NS presentations;{presentation}))))
                                                                                                 (PUNC ,)
                                                                                                 (CONJP (ILYR (VAG;_Ipr_ demonstrating;{demonstrate[to]})
                                                                                                              (PP-CLR (P-ROLE to;{to})
                                                                                                                      (NP (NS others;{other})))))
                                                                                                 (CONJP (CONJ and;{and})
                                                                                                        (ILYR (VAG;_Ipr_ participating;{participate[in]})
                                                                                                              (PP-CLR (P-ROLE in;{in})
                                                                                                                      (NP (N debate;{debate})))))))))))))))))
          (PUNC .))
  (ID 11_a_ks4_english))