TSPC 25_a_ks4

25_a_ks4_english
Pupils should be taught to control their speaking and writing consciously, understand why sentences are constructed as they are and to use Standard English.

arc(r_0025_0002__should, r_0025_0003__be, scope).
arc(r_0025_0003__be, r_0025_0004__taught, scope).
arc(r_0025_0004__taught, r_0025_0001__Pupils, arg2).
arc(r_0025_0004__taught, r_0025_0021__and, arg1).
arc(r_0025_0004__taught, z_000_25_a_ks4_english_11, arg0).
arc(r_0025_0005__to_r_0025_0006__control, r_0025_0001__Pupils, arg0).
arc(r_0025_0005__to_r_0025_0006__control, r_0025_0009__and, arg1).
arc(r_0025_0005__to_r_0025_0006__control, r_0025_0011__consciously, nim36).
arc(r_0025_0009__and, r_0025_0001__Pupils, gen).
arc(r_0025_0009__and, r_0025_0008__speaking, conj1).
arc(r_0025_0009__and, r_0025_0010__writing, conj2).
arc(r_0025_0013__understand, r_0025_0001__Pupils, arg0).
arc(r_0025_0013__understand, r_0025_0016__are, arg1).
arc(r_0025_0016__are, r_0025_0014__why, nim47).
arc(r_0025_0016__are, r_0025_0017__constructed, scope).
arc(r_0025_0017__constructed, r_0025_0015__sentences, arg1).
arc(r_0025_0017__constructed, z_000_25_a_ks4_english_56, arg0).
arc(r_0025_0017__constructed, z_000_25_a_ks4_english_63, r_0025_0018__as_nim63).
arc(r_0025_0020__are, r_0025_0015__sentences, arg0).
arc(r_0025_0020__are, z_000_25_a_ks4_english_63, prd).
arc(r_0025_0021__and, r_0025_0005__to_r_0025_0006__control, conj1).
arc(r_0025_0021__and, r_0025_0013__understand, conj2).
arc(r_0025_0021__and, r_0025_0022__to_r_0025_0023__use, conj3).
arc(r_0025_0022__to_r_0025_0023__use, r_0025_0001__Pupils, arg0).
arc(r_0025_0022__to_r_0025_0023__use, r_0025_0025__English, arg1).
arc(r_0025_0025__English, r_0025_0024__Standard, attrib81).

fof(formula,axiom,
    ? [R_0025_0001__PUPILS,R_0025_0008__SPEAKING,R_0025_0010__WRITING,R_0025_0009__AND,R_0025_0011__CONSCIOUSLY,R_0025_0005__TO_R_0025_0006__CONTROL,R_0025_0014__WHY,R_0025_0015__SENTENCES,Z_000_25_A_KS4_ENGLISH_56,Z_000_25_A_KS4_ENGLISH_63,R_0025_0016__ARE_R_0025_0017__CONSTRUCTED,R_0025_0013__UNDERSTAND,R_0025_0024__STANDARD,R_0025_0025__ENGLISH,R_0025_0022__TO_R_0025_0023__USE,R_0025_0021__AND,Z_000_25_A_KS4_ENGLISH_11,R_0025_0002__SHOULD_R_0025_0003__BE_R_0025_0004__TAUGHT,R_0025_0020__ARE] :
      ( r_0025_0001__Pupils(R_0025_0001__PUPILS)
      & r_0025_0008__speaking(R_0025_0008__SPEAKING)
      & r_0025_0010__writing(R_0025_0010__WRITING)
      & r_0025_0011__consciously(R_0025_0011__CONSCIOUSLY)
      & r_0025_0014__why(R_0025_0014__WHY)
      & r_0025_0015__sentences(R_0025_0015__SENTENCES)
      & r_0025_0024__Standard(R_0025_0024__STANDARD)
      & z_000_25_a_ks4_english_11(Z_000_25_A_KS4_ENGLISH_11)
      & z_000_25_a_ks4_english_56(Z_000_25_A_KS4_ENGLISH_56)
      & z_000_25_a_ks4_english_63(Z_000_25_A_KS4_ENGLISH_63)
      & r_0025_0020__are(R_0025_0020__ARE)
      & has_prd(R_0025_0020__ARE,Z_000_25_A_KS4_ENGLISH_63)
      & has_arg0(R_0025_0020__ARE,R_0025_0015__SENTENCES)
      & r_0025_0002__should_r_0025_0003__be_r_0025_0004__taught(R_0025_0002__SHOULD_R_0025_0003__BE_R_0025_0004__TAUGHT)
      & has_arg0(R_0025_0002__SHOULD_R_0025_0003__BE_R_0025_0004__TAUGHT,Z_000_25_A_KS4_ENGLISH_11)
      & has_arg1(R_0025_0002__SHOULD_R_0025_0003__BE_R_0025_0004__TAUGHT,R_0025_0021__AND)
      & r_0025_0021__and(R_0025_0021__AND)
      & has_conj3(R_0025_0021__AND,R_0025_0022__TO_R_0025_0023__USE)
      & r_0025_0022__to_r_0025_0023__use(R_0025_0022__TO_R_0025_0023__USE)
      & has_arg1(R_0025_0022__TO_R_0025_0023__USE,R_0025_0025__ENGLISH)
      & r_0025_0025__English(R_0025_0025__ENGLISH)
      & has_attrib81(R_0025_0025__ENGLISH,R_0025_0024__STANDARD)
      & has_arg0(R_0025_0022__TO_R_0025_0023__USE,R_0025_0001__PUPILS)
      & has_conj2(R_0025_0021__AND,R_0025_0013__UNDERSTAND)
      & r_0025_0013__understand(R_0025_0013__UNDERSTAND)
      & has_arg1(R_0025_0013__UNDERSTAND,R_0025_0016__ARE_R_0025_0017__CONSTRUCTED)
      & r_0025_0016__are_r_0025_0017__constructed(R_0025_0016__ARE_R_0025_0017__CONSTRUCTED)
      & has_r_0025_0018__as_nim63(R_0025_0016__ARE_R_0025_0017__CONSTRUCTED,Z_000_25_A_KS4_ENGLISH_63)
      & has_arg0(R_0025_0016__ARE_R_0025_0017__CONSTRUCTED,Z_000_25_A_KS4_ENGLISH_56)
      & has_arg1(R_0025_0016__ARE_R_0025_0017__CONSTRUCTED,R_0025_0015__SENTENCES)
      & has_nim47(R_0025_0016__ARE_R_0025_0017__CONSTRUCTED,R_0025_0014__WHY)
      & has_arg0(R_0025_0013__UNDERSTAND,R_0025_0001__PUPILS)
      & has_conj1(R_0025_0021__AND,R_0025_0005__TO_R_0025_0006__CONTROL)
      & r_0025_0005__to_r_0025_0006__control(R_0025_0005__TO_R_0025_0006__CONTROL)
      & has_nim36(R_0025_0005__TO_R_0025_0006__CONTROL,R_0025_0011__CONSCIOUSLY)
      & has_arg1(R_0025_0005__TO_R_0025_0006__CONTROL,R_0025_0009__AND)
      & r_0025_0009__and(R_0025_0009__AND)
      & has_conj2(R_0025_0009__AND,R_0025_0010__WRITING)
      & has_conj1(R_0025_0009__AND,R_0025_0008__SPEAKING)
      & has_gen(R_0025_0009__AND,R_0025_0001__PUPILS)
      & has_arg0(R_0025_0005__TO_R_0025_0006__CONTROL,R_0025_0001__PUPILS)
      & has_arg2(R_0025_0002__SHOULD_R_0025_0003__BE_R_0025_0004__TAUGHT,R_0025_0001__PUPILS) ) ).

( (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})
                                                          (VB;_Tn_ control;{control})
                                                          (NP-OB1 (NP-GEN;{PUPILS} (PRO;_genm_ their;{their}))
                                                                  (NLYR (NLYR (N speaking;{speaking}))
                                                                        (CONJP (CONJ and;{and})
                                                                               (NLYR (N writing;{writing})))))
                                                          (ADVP-NIM (ADV consciously;{consciously})))
                                                    (PUNC ,)
                                                    (CONJP (ILYR (VB;_Tw_ understand;{understand})
                                                                 (CP-QUE-OB1 (IP-SUB (ADVP-NIM (WADV why;{why}))
                                                                                     (NP-SBJ;{SENTENCES} (NS sentences;{sentence}))
                                                                                     (BEP;_cat_VePASS_ are;{be})
                                                                                     (IP-PPL-CAT (NP-LGS *)
                                                                                                 (VVN;_Tn_ constructed;{construct})
                                                                                                 (PP-NIM (P-ROLE as;{as})
                                                                                                         (NP (IP-REL (NP-PRD *T*)
                                                                                                                     (NP-SBJ;{SENTENCES} (PRO they;{they}))
                                                                                                                     (BEP;_Ln_ are;{be})))))))))
                                                    (CONJP (CONJ and;{and})
                                                           (ILYR (TO to;{to})
                                                                 (VB;_Tn_ use;{use})
                                                                 (NP-OB1 (ADJP (ADJ Standard;{standard}))
                                                                         (NPR English;{English}))))))))
          (PUNC .))
  (ID 25_a_ks4_english))