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_0002__should_r_0021_0003__be_r_0021_0004__taught should be taught r_0021_0001__They They r_0021_0002__should_r_0021_0003__be_r_0021_0004__taught->r_0021_0001__They [arg2] r_0021_0005__to_r_0021_0006__write to write r_0021_0002__should_r_0021_0003__be_r_0021_0004__taught->r_0021_0005__to_r_0021_0006__write [arg1] 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] 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]
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_4 They n21_a_ks4_english_6 should n21_a_ks4_english_9 be n21_a_ks4_english_12 * n21_a_ks4_english_14 taught n21_a_ks4_english_17 to n21_a_ks4_english_19 write n21_a_ks4_english_22 for n21_a_ks4_english_25 a n21_a_ks4_english_27 variety n21_a_ks4_english_30 of n21_a_ks4_english_35 purposes n21_a_ks4_english_38 and n21_a_ks4_english_41 audiences n21_a_ks4_english_44 across n21_a_ks4_english_47 a n21_a_ks4_english_49 range n21_a_ks4_english_52 of n21_a_ks4_english_55 contexts n21_a_ks4_english_57 . n21_a_ks4_english_1 IP-MAT n21_a_ks4_english_2 NP-SBJ n21_a_ks4_english_1->n21_a_ks4_english_2 n21_a_ks4_english_5 MD;_cat_Vi_ n21_a_ks4_english_1->n21_a_ks4_english_5 n21_a_ks4_english_7 IP-INF-CAT n21_a_ks4_english_1->n21_a_ks4_english_7 n21_a_ks4_english_56 PUNC n21_a_ks4_english_1->n21_a_ks4_english_56 n21_a_ks4_english_3 PRO n21_a_ks4_english_2->n21_a_ks4_english_3 n21_a_ks4_english_3->n21_a_ks4_english_4 n21_a_ks4_english_5->n21_a_ks4_english_6 n21_a_ks4_english_8 BE;_cat_VePASS_ n21_a_ks4_english_7->n21_a_ks4_english_8 n21_a_ks4_english_10 IP-PPL-CAT n21_a_ks4_english_7->n21_a_ks4_english_10 n21_a_ks4_english_8->n21_a_ks4_english_9 n21_a_ks4_english_11 NP-LGS n21_a_ks4_english_10->n21_a_ks4_english_11 n21_a_ks4_english_13 VVN;_Dn.t_ n21_a_ks4_english_10->n21_a_ks4_english_13 n21_a_ks4_english_15 IP-INF-OB1 n21_a_ks4_english_10->n21_a_ks4_english_15 n21_a_ks4_english_11->n21_a_ks4_english_12 n21_a_ks4_english_13->n21_a_ks4_english_14 n21_a_ks4_english_16 TO n21_a_ks4_english_15->n21_a_ks4_english_16 n21_a_ks4_english_18 VB;_I_ n21_a_ks4_english_15->n21_a_ks4_english_18 n21_a_ks4_english_20 PP-NIM n21_a_ks4_english_15->n21_a_ks4_english_20 n21_a_ks4_english_42 PP-NIM n21_a_ks4_english_15->n21_a_ks4_english_42 n21_a_ks4_english_16->n21_a_ks4_english_17 n21_a_ks4_english_18->n21_a_ks4_english_19 n21_a_ks4_english_21 P-ROLE n21_a_ks4_english_20->n21_a_ks4_english_21 n21_a_ks4_english_23 NP n21_a_ks4_english_20->n21_a_ks4_english_23 n21_a_ks4_english_21->n21_a_ks4_english_22 n21_a_ks4_english_24 D n21_a_ks4_english_23->n21_a_ks4_english_24 n21_a_ks4_english_26 N n21_a_ks4_english_23->n21_a_ks4_english_26 n21_a_ks4_english_28 PP n21_a_ks4_english_23->n21_a_ks4_english_28 n21_a_ks4_english_24->n21_a_ks4_english_25 n21_a_ks4_english_26->n21_a_ks4_english_27 n21_a_ks4_english_29 P-ROLE n21_a_ks4_english_28->n21_a_ks4_english_29 n21_a_ks4_english_31 NP n21_a_ks4_english_28->n21_a_ks4_english_31 n21_a_ks4_english_29->n21_a_ks4_english_30 n21_a_ks4_english_32 NLYR n21_a_ks4_english_31->n21_a_ks4_english_32 n21_a_ks4_english_33 NLYR n21_a_ks4_english_32->n21_a_ks4_english_33 n21_a_ks4_english_36 CONJP n21_a_ks4_english_32->n21_a_ks4_english_36 n21_a_ks4_english_34 NS n21_a_ks4_english_33->n21_a_ks4_english_34 n21_a_ks4_english_34->n21_a_ks4_english_35 n21_a_ks4_english_37 CONJ n21_a_ks4_english_36->n21_a_ks4_english_37 n21_a_ks4_english_39 NLYR n21_a_ks4_english_36->n21_a_ks4_english_39 n21_a_ks4_english_37->n21_a_ks4_english_38 n21_a_ks4_english_40 NS n21_a_ks4_english_39->n21_a_ks4_english_40 n21_a_ks4_english_40->n21_a_ks4_english_41 n21_a_ks4_english_43 P-ROLE n21_a_ks4_english_42->n21_a_ks4_english_43 n21_a_ks4_english_45 NP n21_a_ks4_english_42->n21_a_ks4_english_45 n21_a_ks4_english_43->n21_a_ks4_english_44 n21_a_ks4_english_46 D n21_a_ks4_english_45->n21_a_ks4_english_46 n21_a_ks4_english_48 N n21_a_ks4_english_45->n21_a_ks4_english_48 n21_a_ks4_english_50 PP n21_a_ks4_english_45->n21_a_ks4_english_50 n21_a_ks4_english_46->n21_a_ks4_english_47 n21_a_ks4_english_48->n21_a_ks4_english_49 n21_a_ks4_english_51 P-ROLE n21_a_ks4_english_50->n21_a_ks4_english_51 n21_a_ks4_english_53 NP n21_a_ks4_english_50->n21_a_ks4_english_53 n21_a_ks4_english_51->n21_a_ks4_english_52 n21_a_ks4_english_54 NS n21_a_ks4_english_53->n21_a_ks4_english_54 n21_a_ks4_english_54->n21_a_ks4_english_55 n21_a_ks4_english_56->n21_a_ks4_english_57
( (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))