TSPC 14_a_ks4

14_a_ks4_english
Spoken language continues to underpin the development of pupils' reading and writing during key stage 4 and teachers should therefore ensure pupils' confidence and competence in this area continue to develop.

arc(r_0014_0002__language, r_0014_0001__Spoken, attrib5).
arc(r_0014_0003__continues, r_0014_0004__to_r_0014_0005__underpin, scope).
arc(r_0014_0004__to_r_0014_0005__underpin, r_0014_0002__language, arg0).
arc(r_0014_0004__to_r_0014_0005__underpin, r_0014_0006__the_r_0014_0007__development, arg1).
arc(r_0014_0004__to_r_0014_0005__underpin, r_0014_0016__stage_r_0014_0017__4, r_0014_0014__during_nim44).
arc(r_0014_0006__the_r_0014_0007__development, r_0014_0012__and, r_0014_0008__of).
arc(r_0014_0012__and, r_0014_0009__pupils_r_0014_0010___apos_, gen).
arc(r_0014_0012__and, r_0014_0011__reading, conj1).
arc(r_0014_0012__and, r_0014_0013__writing, conj2).
arc(r_0014_0016__stage_r_0014_0017__4, r_0014_0015__key, attrib45).
arc(r_0014_0018__and, r_0014_0003__continues, conj1).
arc(r_0014_0018__and, r_0014_0020__should, conj2).
arc(r_0014_0020__should, r_0014_0022__ensure, scope).
arc(r_0014_0022__ensure, r_0014_0019__teachers, arg0).
arc(r_0014_0022__ensure, r_0014_0021__therefore, nim62).
arc(r_0014_0022__ensure, r_0014_0031__continue, arg1).
arc(r_0014_0026__and, r_0014_0023__pupils_r_0014_0024___apos_, gen).
arc(r_0014_0026__and, r_0014_0025__confidence, conj1).
arc(r_0014_0026__and, r_0014_0027__competence, conj2).
arc(r_0014_0026__and, r_0014_0029__this_r_0014_0030__area, r_0014_0028__in).
arc(r_0014_0031__continue, r_0014_0032__to_r_0014_0033__develop, scope).
arc(r_0014_0032__to_r_0014_0033__develop, r_0014_0026__and, arg0).

fof(formula,axiom,
    ? [R_0014_0001__SPOKEN,R_0014_0002__LANGUAGE,R_0014_0009__PUPILS_R_0014_0010___APOS_,R_0014_0011__READING,R_0014_0013__WRITING,R_0014_0012__AND,R_0014_0006__THE_R_0014_0007__DEVELOPMENT,R_0014_0015__KEY,R_0014_0016__STAGE_R_0014_0017__4,R_0014_0003__CONTINUES_R_0014_0004__TO_R_0014_0005__UNDERPIN,R_0014_0019__TEACHERS,R_0014_0021__THEREFORE,R_0014_0023__PUPILS_R_0014_0024___APOS_,R_0014_0025__CONFIDENCE,R_0014_0027__COMPETENCE,R_0014_0029__THIS_R_0014_0030__AREA,R_0014_0026__AND,R_0014_0031__CONTINUE_R_0014_0032__TO_R_0014_0033__DEVELOP,R_0014_0020__SHOULD_R_0014_0022__ENSURE,R_0014_0018__AND] :
      ( r_0014_0001__Spoken(R_0014_0001__SPOKEN)
      & r_0014_0009__pupils_r_0014_0010___apos_(R_0014_0009__PUPILS_R_0014_0010___APOS_)
      & r_0014_0011__reading(R_0014_0011__READING)
      & r_0014_0013__writing(R_0014_0013__WRITING)
      & r_0014_0015__key(R_0014_0015__KEY)
      & r_0014_0019__teachers(R_0014_0019__TEACHERS)
      & r_0014_0021__therefore(R_0014_0021__THEREFORE)
      & r_0014_0023__pupils_r_0014_0024___apos_(R_0014_0023__PUPILS_R_0014_0024___APOS_)
      & r_0014_0025__confidence(R_0014_0025__CONFIDENCE)
      & r_0014_0027__competence(R_0014_0027__COMPETENCE)
      & r_0014_0029__this_r_0014_0030__area(R_0014_0029__THIS_R_0014_0030__AREA)
      & r_0014_0018__and(R_0014_0018__AND)
      & has_conj2(R_0014_0018__AND,R_0014_0020__SHOULD_R_0014_0022__ENSURE)
      & r_0014_0020__should_r_0014_0022__ensure(R_0014_0020__SHOULD_R_0014_0022__ENSURE)
      & has_arg1(R_0014_0020__SHOULD_R_0014_0022__ENSURE,R_0014_0031__CONTINUE_R_0014_0032__TO_R_0014_0033__DEVELOP)
      & r_0014_0031__continue_r_0014_0032__to_r_0014_0033__develop(R_0014_0031__CONTINUE_R_0014_0032__TO_R_0014_0033__DEVELOP)
      & has_arg0(R_0014_0031__CONTINUE_R_0014_0032__TO_R_0014_0033__DEVELOP,R_0014_0026__AND)
      & r_0014_0026__and(R_0014_0026__AND)
      & has_r_0014_0028__in(R_0014_0026__AND,R_0014_0029__THIS_R_0014_0030__AREA)
      & has_conj2(R_0014_0026__AND,R_0014_0027__COMPETENCE)
      & has_conj1(R_0014_0026__AND,R_0014_0025__CONFIDENCE)
      & has_gen(R_0014_0026__AND,R_0014_0023__PUPILS_R_0014_0024___APOS_)
      & has_nim62(R_0014_0020__SHOULD_R_0014_0022__ENSURE,R_0014_0021__THEREFORE)
      & has_arg0(R_0014_0020__SHOULD_R_0014_0022__ENSURE,R_0014_0019__TEACHERS)
      & has_conj1(R_0014_0018__AND,R_0014_0003__CONTINUES_R_0014_0004__TO_R_0014_0005__UNDERPIN)
      & r_0014_0003__continues_r_0014_0004__to_r_0014_0005__underpin(R_0014_0003__CONTINUES_R_0014_0004__TO_R_0014_0005__UNDERPIN)
      & has_r_0014_0014__during_nim44(R_0014_0003__CONTINUES_R_0014_0004__TO_R_0014_0005__UNDERPIN,R_0014_0016__STAGE_R_0014_0017__4)
      & r_0014_0016__stage_r_0014_0017__4(R_0014_0016__STAGE_R_0014_0017__4)
      & has_attrib45(R_0014_0016__STAGE_R_0014_0017__4,R_0014_0015__KEY)
      & has_arg1(R_0014_0003__CONTINUES_R_0014_0004__TO_R_0014_0005__UNDERPIN,R_0014_0006__THE_R_0014_0007__DEVELOPMENT)
      & r_0014_0006__the_r_0014_0007__development(R_0014_0006__THE_R_0014_0007__DEVELOPMENT)
      & has_r_0014_0008__of(R_0014_0006__THE_R_0014_0007__DEVELOPMENT,R_0014_0012__AND)
      & r_0014_0012__and(R_0014_0012__AND)
      & has_conj2(R_0014_0012__AND,R_0014_0013__WRITING)
      & has_conj1(R_0014_0012__AND,R_0014_0011__READING)
      & has_gen(R_0014_0012__AND,R_0014_0009__PUPILS_R_0014_0010___APOS_)
      & has_arg0(R_0014_0003__CONTINUES_R_0014_0004__TO_R_0014_0005__UNDERPIN,R_0014_0002__LANGUAGE)
      & r_0014_0002__language(R_0014_0002__LANGUAGE)
      & has_attrib5(R_0014_0002__LANGUAGE,R_0014_0001__SPOKEN) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (ADJP (ADJ Spoken;{spoken}))
                              (N language;{language}))
                      (VBP;_cat_Vt_ continues;{continue})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_Tn_ underpin;{underpin})
                                  (NP-OB1 (D the;{the})
                                          (N development;{development})
                                          (PP (P-ROLE of;{of})
                                              (NP (NP-GEN;{PUPILS} (NS pupils;{pupil})
                                                                   (GENM <apos>))
                                                  (NLYR (NLYR (N reading;{reading}))
                                                        (CONJP (CONJ and;{and})
                                                               (NLYR (N writing;{writing})))))))
                                  (PP-NIM (P-ROLE during;{during})
                                          (NP (ADJP (ADJ key;{key}))
                                              (N stage;{stage})
                                              (NUM 4)))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (NS teachers;{teacher}))
                             (MD;_cat_Vi_ should;{shall})
                             (IP-INF-CAT (ADVP-NIM (ADV therefore;{therefore}))
                                         (VB;_Tf_ ensure;{ensure})
                                         (CP-THT-OB1 (IP-SUB (NP-SBJ (NP-GEN;{PUPILS} (NS pupils;{pupil})
                                                                                      (GENM <apos>))
                                                                     (NLYR (NLYR (N confidence;{confidence}))
                                                                           (CONJP (CONJ and;{and})
                                                                                  (NLYR (N competence;{competence}))))
                                                                     (PP (P-ROLE in;{in})
                                                                         (NP (D this;{this})
                                                                             (N area;{area}))))
                                                             (VBP;_cat_Vt_ continue;{continue})
                                                             (IP-INF-CAT (TO to;{to})
                                                                         (VB;_I_ develop;{develop}))))))))
          (PUNC .))
  (ID 14_a_ks4_english))