21_a_ks4_english
They should be taught to write for a variety of purposes and audiences across a range of contexts.

%3 r_0021_0002__should should r_0021_0003__be be r_0021_0002__should->r_0021_0003__be [scope] r_0021_0004__taught taught r_0021_0003__be->r_0021_0004__taught [scope] r_0021_0001__They They r_0021_0004__taught->r_0021_0001__They [arg2] r_0021_0005__to_r_0021_0006__write to write r_0021_0004__taught->r_0021_0005__to_r_0021_0006__write [arg1] z_000_21_a_ks4_english_11 r_0021_0004__taught->z_000_21_a_ks4_english_11 [arg0] r_0021_0005__to_r_0021_0006__write->r_0021_0001__They [arg0] r_0021_0008__a_r_0021_0009__variety a variety r_0021_0005__to_r_0021_0006__write->r_0021_0008__a_r_0021_0009__variety for [nim] r_0021_0015__a_r_0021_0016__range a range r_0021_0005__to_r_0021_0006__write->r_0021_0015__a_r_0021_0016__range across [nim] r_0021_0012__and and r_0021_0008__a_r_0021_0009__variety->r_0021_0012__and of r_0021_0018__contexts contexts r_0021_0015__a_r_0021_0016__range->r_0021_0018__contexts of r_0021_0011__purposes purposes r_0021_0012__and->r_0021_0011__purposes [conj1] r_0021_0013__audiences audiences r_0021_0012__and->r_0021_0013__audiences [conj2]
arc(r_0021_0002__should, r_0021_0003__be, scope).
arc(r_0021_0003__be, r_0021_0004__taught, scope).
arc(r_0021_0004__taught, r_0021_0001__They, arg2).
arc(r_0021_0004__taught, r_0021_0005__to_r_0021_0006__write, arg1).
arc(r_0021_0004__taught, z_000_21_a_ks4_english_11, arg0).
arc(r_0021_0005__to_r_0021_0006__write, r_0021_0001__They, arg0).
arc(r_0021_0005__to_r_0021_0006__write, r_0021_0008__a_r_0021_0009__variety, r_0021_0007__for_nim23).
arc(r_0021_0005__to_r_0021_0006__write, r_0021_0015__a_r_0021_0016__range, r_0021_0014__across_nim45).
arc(r_0021_0008__a_r_0021_0009__variety, r_0021_0012__and, r_0021_0010__of).
arc(r_0021_0012__and, r_0021_0011__purposes, conj1).
arc(r_0021_0012__and, r_0021_0013__audiences, conj2).
arc(r_0021_0015__a_r_0021_0016__range, r_0021_0018__contexts, r_0021_0017__of).



%3 r_0021_0015__a_r_0021_0016__range a range r_0021_0018__contexts contexts r_0021_0015__a_r_0021_0016__range->r_0021_0018__contexts of r_0021_0012__and and r_0021_0013__audiences audiences r_0021_0012__and->r_0021_0013__audiences [conj2] r_0021_0011__purposes purposes r_0021_0012__and->r_0021_0011__purposes [conj1] r_0021_0008__a_r_0021_0009__variety a variety r_0021_0008__a_r_0021_0009__variety->r_0021_0012__and of r_0021_0005__to_r_0021_0006__write to write r_0021_0005__to_r_0021_0006__write->r_0021_0015__a_r_0021_0016__range across [nim] r_0021_0005__to_r_0021_0006__write->r_0021_0008__a_r_0021_0009__variety for [nim] r_0021_0001__They They r_0021_0005__to_r_0021_0006__write->r_0021_0001__They [arg0] r_0021_0002__should_r_0021_0003__be_r_0021_0004__taught should be taught r_0021_0002__should_r_0021_0003__be_r_0021_0004__taught->r_0021_0005__to_r_0021_0006__write [arg1] r_0021_0002__should_r_0021_0003__be_r_0021_0004__taught->r_0021_0001__They [arg2] z_000_21_a_ks4_english_11 r_0021_0002__should_r_0021_0003__be_r_0021_0004__taught->z_000_21_a_ks4_english_11 [arg0]
fof(formula,axiom,
    ? [R_21_2_SHOULD_BE_TAUGHT,Z_21_A_KS4_ENGLISH_11,R_21_5_TO_WRITE,R_21_8_A_VARIETY,R_21_12_AND,R_21_11_PURPOSES,R_21_13_AUDIENCES,R_21_15_A_RANGE,R_21_18_CONTEXTS,R_21_1_THEY] :
      ( purposes(R_21_11_PURPOSES)
      & audiences(R_21_13_AUDIENCES)
      & contexts(R_21_18_CONTEXTS)
      & they(R_21_1_THEY)
      & should_be_taught(R_21_2_SHOULD_BE_TAUGHT,Z_21_A_KS4_ENGLISH_11,R_21_5_TO_WRITE,R_21_1_THEY)
      & to_write(R_21_5_TO_WRITE,R_21_1_THEY)
      & for_nim23(R_21_5_TO_WRITE,R_21_8_A_VARIETY)
      & a_variety(R_21_8_A_VARIETY)
      & of(R_21_8_A_VARIETY,R_21_12_AND)
      & and(R_21_12_AND)
      & conj1(R_21_12_AND,R_21_11_PURPOSES)
      & conj2(R_21_12_AND,R_21_13_AUDIENCES)
      & across_nim45(R_21_5_TO_WRITE,R_21_15_A_RANGE)
      & a_range(R_21_15_A_RANGE)
      & of(R_21_15_A_RANGE,R_21_18_CONTEXTS) ) ).



n21_a_ks4_english n21_a_ks4_english__1_1_1_1 They n21_a_ks4_english__1_2_1 should n21_a_ks4_english__1_3_1_1 be n21_a_ks4_english__1_3_2_1_1 * n21_a_ks4_english__1_3_2_2_1 taught n21_a_ks4_english__1_3_2_3_1_1 to n21_a_ks4_english__1_3_2_3_2_1 write n21_a_ks4_english__1_3_2_3_3_1_1 for n21_a_ks4_english__1_3_2_3_3_2_1_1 a n21_a_ks4_english__1_3_2_3_3_2_2_1 variety n21_a_ks4_english__1_3_2_3_3_2_3_1_1 of n21_a_ks4_english__1_3_2_3_3_2_3_2_1_1_1_1 purposes n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2_1_1 and n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2_2_1_1 audiences n21_a_ks4_english__1_3_2_3_4_1_1 across n21_a_ks4_english__1_3_2_3_4_2_1_1 a n21_a_ks4_english__1_3_2_3_4_2_2_1 range n21_a_ks4_english__1_3_2_3_4_2_3_1_1 of n21_a_ks4_english__1_3_2_3_4_2_3_2_1_1 contexts n21_a_ks4_english__1_4_1 . n21_a_ks4_english__1 IP-MAT n21_a_ks4_english__1_1 NP-SBJ n21_a_ks4_english__1->n21_a_ks4_english__1_1 n21_a_ks4_english__1_2 MD;_cat_Vi_ n21_a_ks4_english__1->n21_a_ks4_english__1_2 n21_a_ks4_english__1_3 IP-INF-CAT n21_a_ks4_english__1->n21_a_ks4_english__1_3 n21_a_ks4_english__1_4 PUNC n21_a_ks4_english__1->n21_a_ks4_english__1_4 n21_a_ks4_english__1_1_1 PRO n21_a_ks4_english__1_1->n21_a_ks4_english__1_1_1 n21_a_ks4_english__1_1_1->n21_a_ks4_english__1_1_1_1 n21_a_ks4_english__1_2->n21_a_ks4_english__1_2_1 n21_a_ks4_english__1_3_1 BE;_cat_VePASS_ n21_a_ks4_english__1_3->n21_a_ks4_english__1_3_1 n21_a_ks4_english__1_3_2 IP-PPL-CAT n21_a_ks4_english__1_3->n21_a_ks4_english__1_3_2 n21_a_ks4_english__1_3_1->n21_a_ks4_english__1_3_1_1 n21_a_ks4_english__1_3_2_1 NP-LGS n21_a_ks4_english__1_3_2->n21_a_ks4_english__1_3_2_1 n21_a_ks4_english__1_3_2_2 VVN;_Dn.t_ n21_a_ks4_english__1_3_2->n21_a_ks4_english__1_3_2_2 n21_a_ks4_english__1_3_2_3 IP-INF-OB1 n21_a_ks4_english__1_3_2->n21_a_ks4_english__1_3_2_3 n21_a_ks4_english__1_3_2_1->n21_a_ks4_english__1_3_2_1_1 n21_a_ks4_english__1_3_2_2->n21_a_ks4_english__1_3_2_2_1 n21_a_ks4_english__1_3_2_3_1 TO n21_a_ks4_english__1_3_2_3->n21_a_ks4_english__1_3_2_3_1 n21_a_ks4_english__1_3_2_3_2 VB;_I_ n21_a_ks4_english__1_3_2_3->n21_a_ks4_english__1_3_2_3_2 n21_a_ks4_english__1_3_2_3_3 PP-NIM n21_a_ks4_english__1_3_2_3->n21_a_ks4_english__1_3_2_3_3 n21_a_ks4_english__1_3_2_3_4 PP-NIM n21_a_ks4_english__1_3_2_3->n21_a_ks4_english__1_3_2_3_4 n21_a_ks4_english__1_3_2_3_1->n21_a_ks4_english__1_3_2_3_1_1 n21_a_ks4_english__1_3_2_3_2->n21_a_ks4_english__1_3_2_3_2_1 n21_a_ks4_english__1_3_2_3_3_1 P-ROLE n21_a_ks4_english__1_3_2_3_3->n21_a_ks4_english__1_3_2_3_3_1 n21_a_ks4_english__1_3_2_3_3_2 NP n21_a_ks4_english__1_3_2_3_3->n21_a_ks4_english__1_3_2_3_3_2 n21_a_ks4_english__1_3_2_3_3_1->n21_a_ks4_english__1_3_2_3_3_1_1 n21_a_ks4_english__1_3_2_3_3_2_1 D n21_a_ks4_english__1_3_2_3_3_2->n21_a_ks4_english__1_3_2_3_3_2_1 n21_a_ks4_english__1_3_2_3_3_2_2 N n21_a_ks4_english__1_3_2_3_3_2->n21_a_ks4_english__1_3_2_3_3_2_2 n21_a_ks4_english__1_3_2_3_3_2_3 PP n21_a_ks4_english__1_3_2_3_3_2->n21_a_ks4_english__1_3_2_3_3_2_3 n21_a_ks4_english__1_3_2_3_3_2_1->n21_a_ks4_english__1_3_2_3_3_2_1_1 n21_a_ks4_english__1_3_2_3_3_2_2->n21_a_ks4_english__1_3_2_3_3_2_2_1 n21_a_ks4_english__1_3_2_3_3_2_3_1 P-ROLE n21_a_ks4_english__1_3_2_3_3_2_3->n21_a_ks4_english__1_3_2_3_3_2_3_1 n21_a_ks4_english__1_3_2_3_3_2_3_2 NP n21_a_ks4_english__1_3_2_3_3_2_3->n21_a_ks4_english__1_3_2_3_3_2_3_2 n21_a_ks4_english__1_3_2_3_3_2_3_1->n21_a_ks4_english__1_3_2_3_3_2_3_1_1 n21_a_ks4_english__1_3_2_3_3_2_3_2_1 NLYR n21_a_ks4_english__1_3_2_3_3_2_3_2->n21_a_ks4_english__1_3_2_3_3_2_3_2_1 n21_a_ks4_english__1_3_2_3_3_2_3_2_1_1 NLYR n21_a_ks4_english__1_3_2_3_3_2_3_2_1->n21_a_ks4_english__1_3_2_3_3_2_3_2_1_1 n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2 CONJP n21_a_ks4_english__1_3_2_3_3_2_3_2_1->n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2 n21_a_ks4_english__1_3_2_3_3_2_3_2_1_1_1 NS n21_a_ks4_english__1_3_2_3_3_2_3_2_1_1->n21_a_ks4_english__1_3_2_3_3_2_3_2_1_1_1 n21_a_ks4_english__1_3_2_3_3_2_3_2_1_1_1->n21_a_ks4_english__1_3_2_3_3_2_3_2_1_1_1_1 n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2_1 CONJ n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2->n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2_1 n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2_2 NLYR n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2->n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2_2 n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2_1->n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2_1_1 n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2_2_1 NS n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2_2->n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2_2_1 n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2_2_1->n21_a_ks4_english__1_3_2_3_3_2_3_2_1_2_2_1_1 n21_a_ks4_english__1_3_2_3_4_1 P-ROLE n21_a_ks4_english__1_3_2_3_4->n21_a_ks4_english__1_3_2_3_4_1 n21_a_ks4_english__1_3_2_3_4_2 NP n21_a_ks4_english__1_3_2_3_4->n21_a_ks4_english__1_3_2_3_4_2 n21_a_ks4_english__1_3_2_3_4_1->n21_a_ks4_english__1_3_2_3_4_1_1 n21_a_ks4_english__1_3_2_3_4_2_1 D n21_a_ks4_english__1_3_2_3_4_2->n21_a_ks4_english__1_3_2_3_4_2_1 n21_a_ks4_english__1_3_2_3_4_2_2 N n21_a_ks4_english__1_3_2_3_4_2->n21_a_ks4_english__1_3_2_3_4_2_2 n21_a_ks4_english__1_3_2_3_4_2_3 PP n21_a_ks4_english__1_3_2_3_4_2->n21_a_ks4_english__1_3_2_3_4_2_3 n21_a_ks4_english__1_3_2_3_4_2_1->n21_a_ks4_english__1_3_2_3_4_2_1_1 n21_a_ks4_english__1_3_2_3_4_2_2->n21_a_ks4_english__1_3_2_3_4_2_2_1 n21_a_ks4_english__1_3_2_3_4_2_3_1 P-ROLE n21_a_ks4_english__1_3_2_3_4_2_3->n21_a_ks4_english__1_3_2_3_4_2_3_1 n21_a_ks4_english__1_3_2_3_4_2_3_2 NP n21_a_ks4_english__1_3_2_3_4_2_3->n21_a_ks4_english__1_3_2_3_4_2_3_2 n21_a_ks4_english__1_3_2_3_4_2_3_1->n21_a_ks4_english__1_3_2_3_4_2_3_1_1 n21_a_ks4_english__1_3_2_3_4_2_3_2_1 NS n21_a_ks4_english__1_3_2_3_4_2_3_2->n21_a_ks4_english__1_3_2_3_4_2_3_2_1 n21_a_ks4_english__1_3_2_3_4_2_3_2_1->n21_a_ks4_english__1_3_2_3_4_2_3_2_1_1 n21_a_ks4_english__1_4->n21_a_ks4_english__1_4_1
( (IP-MAT (NP-SBJ;{PUPILS} (PRO They;{they}))
          (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;{WRITEWIDE} (TO to;{to})
                                                          (VB;_I_ write;{write})
                                                          (PP-NIM (P-ROLE for;{for})
                                                                  (NP (D a;{a})
                                                                      (N variety;{variety})
                                                                      (PP (P-ROLE of;{of})
                                                                          (NP (NLYR (NLYR (NS purposes;{purpose}))
                                                                                    (CONJP (CONJ and;{and})
                                                                                           (NLYR (NS audiences;{audience}))))))))
                                                          (PP-NIM (P-ROLE across;{across})
                                                                  (NP (D a;{a})
                                                                      (N range;{range})
                                                                      (PP (P-ROLE of;{of})
                                                                          (NP (NS contexts;{context}))))))))
          (PUNC .))
  (ID 21_a_ks4_english))