20_a_ks4_english
They should be taught to write formal and academic essays as well as writing imaginatively.
arc(r_0020_0002__should, r_0020_0011__as_well_as, scope).
arc(r_0020_0003__be, r_0020_0004__taught, scope).
arc(r_0020_0004__taught, r_0020_0001__They, arg2).
arc(r_0020_0004__taught, r_0020_0005__to_r_0020_0006__write, arg1).
arc(r_0020_0004__taught, z_000_20_a_ks4_english_13, arg0).
arc(r_0020_0005__to_r_0020_0006__write, r_0020_0001__They, arg0).
arc(r_0020_0005__to_r_0020_0006__write, r_0020_0010__essays, arg1).
arc(r_0020_0008__and, r_0020_0007__formal, conj1).
arc(r_0020_0008__and, r_0020_0009__academic, conj2).
arc(r_0020_0010__essays, r_0020_0008__and, attrib23).
arc(r_0020_0011__as_well_as, r_0020_0003__be, conj1).
arc(r_0020_0011__as_well_as, z_000_20_a_ks4_english_39, conj2).
arc(r_0020_0012__writing, r_0020_0001__They, arg0).
arc(r_0020_0012__writing, r_0020_0013__imaginatively, nim43).
arc(z_000_20_a_ks4_english_39, r_0020_0012__writing, scope).
fof(formula,axiom,
~ ? [R_20_11_AS_WELL_AS,R_20_3_BE_TAUGHT,Z_20_A_KS4_ENGLISH_13,R_20_5_TO_WRITE,R_20_10_ESSAYS,R_20_8_AND,R_20_7_FORMAL,R_20_9_ACADEMIC,Z_20_A_KS4_ENGLISH_39_WRITING,R_20_1_THEY,R_20_13_IMAGINATIVELY] :
( formal(R_20_7_FORMAL)
& academic(R_20_9_ACADEMIC)
& they(R_20_1_THEY)
& imaginatively(R_20_13_IMAGINATIVELY)
& as_well_as(R_20_11_AS_WELL_AS)
& conj1(R_20_11_AS_WELL_AS,R_20_3_BE_TAUGHT)
& be_taught(R_20_3_BE_TAUGHT,Z_20_A_KS4_ENGLISH_13,R_20_5_TO_WRITE,R_20_1_THEY)
& to_write(R_20_5_TO_WRITE,R_20_1_THEY,R_20_10_ESSAYS)
& essays(R_20_10_ESSAYS)
& attrib23(R_20_10_ESSAYS,R_20_8_AND)
& and(R_20_8_AND)
& conj1(R_20_8_AND,R_20_7_FORMAL)
& conj2(R_20_8_AND,R_20_9_ACADEMIC)
& conj2(R_20_11_AS_WELL_AS,Z_20_A_KS4_ENGLISH_39_WRITING)
& z_20_a_ks4_english_39_writing(Z_20_A_KS4_ENGLISH_39_WRITING,R_20_1_THEY)
& nim43(Z_20_A_KS4_ENGLISH_39_WRITING,R_20_13_IMAGINATIVELY) ) ).
( (IP-MAT (NP-SBJ;{PUPILS} (PRO They;{they}))
(MD;_cat_Vi_ should;{shall})
(IP-INF-CAT (ILYR (ILYR (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Dn.t_ taught;{teach})
(IP-INF-OB1 (TO to;{to})
(VB;_Tn_ write;{write})
(NP-OB1 (ADJP (AJLYR (AJLYR (ADJ formal;{formal}))
(CONJP (CONJ and;{and})
(AJLYR (ADJ academic;{academic})))))
(NS essays;{essay})))))
(CONJP (CONJ as_well_as;{as_well_as})
(ILYR (IP-PPL-CAT (VAG;_I_ writing;{write})
(ADVP-NIM (ADV imaginatively;{imaginatively})))))))
(PUNC .))
(ID 20_a_ks4_english))