TSPC 15_a_ks4

15_a_ks4_english
Pupils should be taught to understand and use the conventions for discussion and debate, as well as continuing to develop their skills in working collaboratively with their peers to discuss reading, writing and speech across the curriculum.

( (IP-MAT (NP-SBJ;{PUPILS} (NS Pupils;{pupil}))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Dn.t_ taught;{teach})
                                  (IP-INF-OB1 (ILYR (ILYR (TO to;{to})
                                                          (ILYR (ILYR (VB;_Tn_ understand;{understand}))
                                                                (CONJP (CONJ and;{and})
                                                                       (ILYR (VB;_Tn_ use;{use}))))
                                                          (NP-OB1 (D the;{the})
                                                                  (NS conventions;{convention})
                                                                  (PP (P-ROLE for;{for})
                                                                      (NP (NLYR (NLYR (N discussion;{discussion}))
                                                                                (CONJP (CONJ and;{and})
                                                                                       (NLYR (N debate;{debate}))))))))
                                                    (PUNC ,)
                                                    (CONJP (CONJ as_well_as;{as_well_as})
                                                           (ILYR (ADVP-NIM (ADV continuing;{continuing}))
                                                                 (TO to;{to})
                                                                 (VB;_Tn_ develop;{develop})
                                                                 (NP-OB1 (NP-GEN;{PUPILS} (PRO;_genm_ their;{their}))
                                                                         (NS skills;{skill})
                                                                         (PP (P-ROLE in;{in})
                                                                             (IP-PPL (VAG;_I_ working;{work})
                                                                                     (ADVP-NIM (ADV collaboratively;{collaboratively}))
                                                                                     (PP-NIM (P-ROLE with;{with})
                                                                                             (NP (NP-GEN;{PUPILS} (PRO;_genm_ their;{their}))
                                                                                                 (NS peers;{peer})))
                                                                                     (PP-SCON (IP-INF (TO to;{to})
                                                                                                      (VB;_Tn_ discuss;{discuss})
                                                                                                      (NP-OB1 (NLYR (NLYR (N reading;{reading}))
                                                                                                                    (PUNC ,)
                                                                                                                    (CONJP (NLYR (N writing;{writing})))
                                                                                                                    (CONJP (CONJ and;{and})
                                                                                                                           (NLYR (N speech;{speech}))))
                                                                                                              (PP (P-ROLE across;{across})
                                                                                                                  (NP (D the;{the})
                                                                                                                      (N curriculum;{curriculum})))))))))))))))
          (PUNC .))
  (ID 15_a_ks4_english))

arc(r_0015_0002__should,r_0015_0003__be,scope).
arc(r_0015_0003__be,r_0015_0004__taught,scope).
arc(r_0015_0004__taught,r_0015_0001__Pupils,arg2).
arc(r_0015_0004__taught,r_0015_0016__as_well_as,arg1).
arc(r_0015_0004__taught,z_0015_5032___star_,arg0).
arc(r_0015_0006__understand,r_0015_0001__Pupils,arg0).
arc(r_0015_0006__understand,r_0015_0009__the_r_0015_0010__conventions,arg1).
arc(r_0015_0007__and,r_0015_0006__understand,conj1).
arc(r_0015_0007__and,r_0015_0008__use,conj2).
arc(r_0015_0008__use,r_0015_0001__Pupils,arg0).
arc(r_0015_0008__use,r_0015_0009__the_r_0015_0010__conventions,arg1).
arc(r_0015_0009__the_r_0015_0010__conventions,r_0015_0013__and,r_0015_0011__for).
arc(r_0015_0013__and,r_0015_0012__discussion,conj1).
arc(r_0015_0013__and,r_0015_0014__debate,conj2).
arc(r_0015_0016__as_well_as,r_0015_0007__and,conj1).
arc(r_0015_0016__as_well_as,r_0015_0019__develop,conj2).
arc(r_0015_0019__develop,r_0015_0001__Pupils,arg0).
arc(r_0015_0019__develop,r_0015_0017__continuing,nim).
arc(r_0015_0019__develop,r_0015_0021__skills,arg1).
arc(r_0015_0021__skills,r_0015_0001__Pupils,gen).
arc(r_0015_0021__skills,z_0015_5017,r_0015_0022__in).
arc(r_0015_0023__working,r_0015_0024__collaboratively,nim).
arc(r_0015_0023__working,r_0015_0027__peers,r_0015_0025__with__nim).
arc(r_0015_0023__working,z_0015_5016,arg0).
arc(r_0015_0027__peers,r_0015_0001__Pupils,gen).
arc(r_0015_0029__discuss,r_0015_0033__and,arg1).
arc(r_0015_0029__discuss,z_0015_5016,arg0).
arc(r_0015_0033__and,r_0015_0030__reading,conj1).
arc(r_0015_0033__and,r_0015_0032__writing,conj2).
arc(r_0015_0033__and,r_0015_0034__speech,conj3).
arc(r_0015_0033__and,r_0015_0036__the_r_0015_0037__curriculum,r_0015_0035__across).
arc(z_0015_5017,r_0015_0023__working,scope).
arc(z_0015_5017,r_0015_0029__discuss,restriction).

fof(formula,axiom,
    ? [R_0015_0001__PUPILS,R_0015_0012__DISCUSSION,R_0015_0014__DEBATE,R_0015_0013__AND,R_0015_0009__THE_R_0015_0010__CONVENTIONS,R_0015_0006__UNDERSTAND,R_0015_0008__USE,R_0015_0007__AND,R_0015_0017__CONTINUING,R_0015_0024__COLLABORATIVELY,R_0015_0027__PEERS,Z_0015_5016,R_0015_0023__WORKING,R_0015_0030__READING,R_0015_0032__WRITING,R_0015_0034__SPEECH,R_0015_0036__THE_R_0015_0037__CURRICULUM,R_0015_0033__AND,R_0015_0029__DISCUSS,Z_0015_5017,R_0015_0021__SKILLS,R_0015_0019__DEVELOP,R_0015_0016__AS_WELL_AS,Z_0015_5032___STAR_,R_0015_0002__SHOULD_R_0015_0003__BE_R_0015_0004__TAUGHT] :
      ( r_0015_0001__Pupils(R_0015_0001__PUPILS)
      & r_0015_0012__discussion(R_0015_0012__DISCUSSION)
      & r_0015_0014__debate(R_0015_0014__DEBATE)
      & r_0015_0017__continuing(R_0015_0017__CONTINUING)
      & r_0015_0024__collaboratively(R_0015_0024__COLLABORATIVELY)
      & r_0015_0030__reading(R_0015_0030__READING)
      & r_0015_0032__writing(R_0015_0032__WRITING)
      & r_0015_0034__speech(R_0015_0034__SPEECH)
      & r_0015_0036__the_r_0015_0037__curriculum(R_0015_0036__THE_R_0015_0037__CURRICULUM)
      & z_0015_5016(Z_0015_5016)
      & z_0015_5032___star_(Z_0015_5032___STAR_)
      & r_0015_0002__should_r_0015_0003__be_r_0015_0004__taught(R_0015_0002__SHOULD_R_0015_0003__BE_R_0015_0004__TAUGHT)
      & has_arg0(R_0015_0002__SHOULD_R_0015_0003__BE_R_0015_0004__TAUGHT,Z_0015_5032___STAR_)
      & has_arg1(R_0015_0002__SHOULD_R_0015_0003__BE_R_0015_0004__TAUGHT,R_0015_0016__AS_WELL_AS)
      & r_0015_0016__as_well_as(R_0015_0016__AS_WELL_AS)
      & has_conj2(R_0015_0016__AS_WELL_AS,R_0015_0019__DEVELOP)
      & r_0015_0019__develop(R_0015_0019__DEVELOP)
      & has_arg1(R_0015_0019__DEVELOP,R_0015_0021__SKILLS)
      & r_0015_0021__skills(R_0015_0021__SKILLS)
      & has_r_0015_0022__in(R_0015_0021__SKILLS,Z_0015_5017)
      & z_0015_5017(Z_0015_5017)
      & has_conj1(Z_0015_5017,R_0015_0029__DISCUSS)
      & r_0015_0029__discuss(R_0015_0029__DISCUSS)
      & has_arg0(R_0015_0029__DISCUSS,Z_0015_5016)
      & has_arg1(R_0015_0029__DISCUSS,R_0015_0033__AND)
      & r_0015_0033__and(R_0015_0033__AND)
      & has_r_0015_0035__across(R_0015_0033__AND,R_0015_0036__THE_R_0015_0037__CURRICULUM)
      & has_conj3(R_0015_0033__AND,R_0015_0034__SPEECH)
      & has_conj2(R_0015_0033__AND,R_0015_0032__WRITING)
      & has_conj1(R_0015_0033__AND,R_0015_0030__READING)
      & has_conj2(Z_0015_5017,R_0015_0023__WORKING)
      & r_0015_0023__working(R_0015_0023__WORKING)
      & has_arg0(R_0015_0023__WORKING,Z_0015_5016)
      & has_r_0015_0025__with__nim(R_0015_0023__WORKING,R_0015_0027__PEERS)
      & r_0015_0027__peers(R_0015_0027__PEERS)
      & has_gen(R_0015_0027__PEERS,R_0015_0001__PUPILS)
      & has_nim(R_0015_0023__WORKING,R_0015_0024__COLLABORATIVELY)
      & has_gen(R_0015_0021__SKILLS,R_0015_0001__PUPILS)
      & has_nim(R_0015_0019__DEVELOP,R_0015_0017__CONTINUING)
      & has_arg0(R_0015_0019__DEVELOP,R_0015_0001__PUPILS)
      & has_conj1(R_0015_0016__AS_WELL_AS,R_0015_0007__AND)
      & r_0015_0007__and(R_0015_0007__AND)
      & has_conj2(R_0015_0007__AND,R_0015_0008__USE)
      & r_0015_0008__use(R_0015_0008__USE)
      & has_arg1(R_0015_0008__USE,R_0015_0009__THE_R_0015_0010__CONVENTIONS)
      & r_0015_0009__the_r_0015_0010__conventions(R_0015_0009__THE_R_0015_0010__CONVENTIONS)
      & has_r_0015_0011__for(R_0015_0009__THE_R_0015_0010__CONVENTIONS,R_0015_0013__AND)
      & r_0015_0013__and(R_0015_0013__AND)
      & has_conj2(R_0015_0013__AND,R_0015_0014__DEBATE)
      & has_conj1(R_0015_0013__AND,R_0015_0012__DISCUSSION)
      & has_arg0(R_0015_0008__USE,R_0015_0001__PUPILS)
      & has_conj1(R_0015_0007__AND,R_0015_0006__UNDERSTAND)
      & r_0015_0006__understand(R_0015_0006__UNDERSTAND)
      & has_arg1(R_0015_0006__UNDERSTAND,R_0015_0009__THE_R_0015_0010__CONVENTIONS)
      & has_arg0(R_0015_0006__UNDERSTAND,R_0015_0001__PUPILS)
      & has_arg2(R_0015_0002__SHOULD_R_0015_0003__BE_R_0015_0004__TAUGHT,R_0015_0001__PUPILS) ) ).