21_a_ks4_english
They should be taught to write for a variety of purposes and audiences across a range of contexts.
( (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))
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_0006__write,arg1).
arc(r_0021_0004__taught,z_0021_5011___star_,arg0).
arc(r_0021_0006__write,r_0021_0001__They,arg0).
arc(r_0021_0006__write,r_0021_0008__a_r_0021_0009__variety,r_0021_0007__for__nim).
arc(r_0021_0006__write,r_0021_0015__a_r_0021_0016__range,r_0021_0014__across__nim).
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).
fof(formula,axiom,
? [R_0021_0001__THEY,R_0021_0011__PURPOSES,R_0021_0013__AUDIENCES,R_0021_0012__AND,R_0021_0008__A_R_0021_0009__VARIETY,R_0021_0018__CONTEXTS,R_0021_0015__A_R_0021_0016__RANGE,R_0021_0006__WRITE,Z_0021_5011___STAR_,R_0021_0002__SHOULD_R_0021_0003__BE_R_0021_0004__TAUGHT] :
( r_0021_0001__They(R_0021_0001__THEY)
& r_0021_0011__purposes(R_0021_0011__PURPOSES)
& r_0021_0013__audiences(R_0021_0013__AUDIENCES)
& r_0021_0018__contexts(R_0021_0018__CONTEXTS)
& z_0021_5011___star_(Z_0021_5011___STAR_)
& r_0021_0002__should_r_0021_0003__be_r_0021_0004__taught(R_0021_0002__SHOULD_R_0021_0003__BE_R_0021_0004__TAUGHT)
& has_arg0(R_0021_0002__SHOULD_R_0021_0003__BE_R_0021_0004__TAUGHT,Z_0021_5011___STAR_)
& has_arg1(R_0021_0002__SHOULD_R_0021_0003__BE_R_0021_0004__TAUGHT,R_0021_0006__WRITE)
& r_0021_0006__write(R_0021_0006__WRITE)
& has_r_0021_0014__across__nim(R_0021_0006__WRITE,R_0021_0015__A_R_0021_0016__RANGE)
& r_0021_0015__a_r_0021_0016__range(R_0021_0015__A_R_0021_0016__RANGE)
& has_r_0021_0017__of(R_0021_0015__A_R_0021_0016__RANGE,R_0021_0018__CONTEXTS)
& has_r_0021_0007__for__nim(R_0021_0006__WRITE,R_0021_0008__A_R_0021_0009__VARIETY)
& r_0021_0008__a_r_0021_0009__variety(R_0021_0008__A_R_0021_0009__VARIETY)
& has_r_0021_0010__of(R_0021_0008__A_R_0021_0009__VARIETY,R_0021_0012__AND)
& r_0021_0012__and(R_0021_0012__AND)
& has_conj2(R_0021_0012__AND,R_0021_0013__AUDIENCES)
& has_conj1(R_0021_0012__AND,R_0021_0011__PURPOSES)
& has_arg0(R_0021_0006__WRITE,R_0021_0001__THEY)
& has_arg2(R_0021_0002__SHOULD_R_0021_0003__BE_R_0021_0004__TAUGHT,R_0021_0001__THEY) ) ).