20_a_ks4_english
They should be taught to write formal and academic essays as well as writing imaginatively.

%3 r_0020_0002__should should r_0020_0011__as_well_as as well as r_0020_0002__should->r_0020_0011__as_well_as [scope] r_0020_0003__be be r_0020_0011__as_well_as->r_0020_0003__be [conj1] z_000_20_a_ks4_english_39 r_0020_0011__as_well_as->z_000_20_a_ks4_english_39 [conj2] r_0020_0004__taught taught r_0020_0003__be->r_0020_0004__taught [scope] r_0020_0001__They They r_0020_0004__taught->r_0020_0001__They [arg2] r_0020_0005__to_r_0020_0006__write to write r_0020_0004__taught->r_0020_0005__to_r_0020_0006__write [arg1] z_000_20_a_ks4_english_13 r_0020_0004__taught->z_000_20_a_ks4_english_13 [arg0] r_0020_0005__to_r_0020_0006__write->r_0020_0001__They [arg0] r_0020_0010__essays essays r_0020_0005__to_r_0020_0006__write->r_0020_0010__essays [arg1] r_0020_0008__and and r_0020_0010__essays->r_0020_0008__and [attrib] r_0020_0007__formal formal r_0020_0008__and->r_0020_0007__formal [conj1] r_0020_0009__academic academic r_0020_0008__and->r_0020_0009__academic [conj2] r_0020_0012__writing writing z_000_20_a_ks4_english_39->r_0020_0012__writing [scope] r_0020_0012__writing->r_0020_0001__They [arg0] r_0020_0013__imaginatively imaginatively r_0020_0012__writing->r_0020_0013__imaginatively [nim]
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).



%3 r_0020_0002__should should r_0020_0011__as_well_as as well as r_0020_0002__should->r_0020_0011__as_well_as [keep_scope] z_000_20_a_ks4_english_39_r_0020_0012__writing writing r_0020_0011__as_well_as->z_000_20_a_ks4_english_39_r_0020_0012__writing [conj2] r_0020_0003__be_r_0020_0004__taught be taught r_0020_0011__as_well_as->r_0020_0003__be_r_0020_0004__taught [conj1] r_0020_0013__imaginatively imaginatively z_000_20_a_ks4_english_39_r_0020_0012__writing->r_0020_0013__imaginatively [nim] r_0020_0001__They They z_000_20_a_ks4_english_39_r_0020_0012__writing->r_0020_0001__They [arg0] r_0020_0003__be_r_0020_0004__taught->r_0020_0001__They [arg2] r_0020_0005__to_r_0020_0006__write to write r_0020_0003__be_r_0020_0004__taught->r_0020_0005__to_r_0020_0006__write [arg1] z_000_20_a_ks4_english_13 r_0020_0003__be_r_0020_0004__taught->z_000_20_a_ks4_english_13 [arg0] r_0020_0010__essays essays r_0020_0008__and and r_0020_0010__essays->r_0020_0008__and [attrib] r_0020_0009__academic academic r_0020_0008__and->r_0020_0009__academic [conj2] r_0020_0007__formal formal r_0020_0008__and->r_0020_0007__formal [conj1] r_0020_0005__to_r_0020_0006__write->r_0020_0001__They [arg0] r_0020_0005__to_r_0020_0006__write->r_0020_0010__essays [arg1]
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) ) ).



n20_a_ks4_english n20_a_ks4_english__1_1_1_1 They n20_a_ks4_english__1_2_1 should n20_a_ks4_english__1_3_1_1_1_1 be n20_a_ks4_english__1_3_1_1_2_1_1 * n20_a_ks4_english__1_3_1_1_2_2_1 taught n20_a_ks4_english__1_3_1_1_2_3_1_1 to n20_a_ks4_english__1_3_1_1_2_3_2_1 write n20_a_ks4_english__1_3_1_1_2_3_3_1_1_1_1_1 formal n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2_1_1 and n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2_2_1_1 academic n20_a_ks4_english__1_3_1_1_2_3_3_2_1 essays n20_a_ks4_english__1_3_1_2_1_1 as_well_as n20_a_ks4_english__1_3_1_2_2_1_1_1 writing n20_a_ks4_english__1_3_1_2_2_1_2_1_1 imaginatively n20_a_ks4_english__1_4_1 . n20_a_ks4_english__1 IP-MAT n20_a_ks4_english__1_1 NP-SBJ n20_a_ks4_english__1->n20_a_ks4_english__1_1 n20_a_ks4_english__1_2 MD;_cat_Vi_ n20_a_ks4_english__1->n20_a_ks4_english__1_2 n20_a_ks4_english__1_3 IP-INF-CAT n20_a_ks4_english__1->n20_a_ks4_english__1_3 n20_a_ks4_english__1_4 PUNC n20_a_ks4_english__1->n20_a_ks4_english__1_4 n20_a_ks4_english__1_1_1 PRO n20_a_ks4_english__1_1->n20_a_ks4_english__1_1_1 n20_a_ks4_english__1_1_1->n20_a_ks4_english__1_1_1_1 n20_a_ks4_english__1_2->n20_a_ks4_english__1_2_1 n20_a_ks4_english__1_3_1 ILYR n20_a_ks4_english__1_3->n20_a_ks4_english__1_3_1 n20_a_ks4_english__1_3_1_1 ILYR n20_a_ks4_english__1_3_1->n20_a_ks4_english__1_3_1_1 n20_a_ks4_english__1_3_1_2 CONJP n20_a_ks4_english__1_3_1->n20_a_ks4_english__1_3_1_2 n20_a_ks4_english__1_3_1_1_1 BE;_cat_VePASS_ n20_a_ks4_english__1_3_1_1->n20_a_ks4_english__1_3_1_1_1 n20_a_ks4_english__1_3_1_1_2 IP-PPL-CAT n20_a_ks4_english__1_3_1_1->n20_a_ks4_english__1_3_1_1_2 n20_a_ks4_english__1_3_1_1_1->n20_a_ks4_english__1_3_1_1_1_1 n20_a_ks4_english__1_3_1_1_2_1 NP-LGS n20_a_ks4_english__1_3_1_1_2->n20_a_ks4_english__1_3_1_1_2_1 n20_a_ks4_english__1_3_1_1_2_2 VVN;_Dn.t_ n20_a_ks4_english__1_3_1_1_2->n20_a_ks4_english__1_3_1_1_2_2 n20_a_ks4_english__1_3_1_1_2_3 IP-INF-OB1 n20_a_ks4_english__1_3_1_1_2->n20_a_ks4_english__1_3_1_1_2_3 n20_a_ks4_english__1_3_1_1_2_1->n20_a_ks4_english__1_3_1_1_2_1_1 n20_a_ks4_english__1_3_1_1_2_2->n20_a_ks4_english__1_3_1_1_2_2_1 n20_a_ks4_english__1_3_1_1_2_3_1 TO n20_a_ks4_english__1_3_1_1_2_3->n20_a_ks4_english__1_3_1_1_2_3_1 n20_a_ks4_english__1_3_1_1_2_3_2 VB;_Tn_ n20_a_ks4_english__1_3_1_1_2_3->n20_a_ks4_english__1_3_1_1_2_3_2 n20_a_ks4_english__1_3_1_1_2_3_3 NP-OB1 n20_a_ks4_english__1_3_1_1_2_3->n20_a_ks4_english__1_3_1_1_2_3_3 n20_a_ks4_english__1_3_1_1_2_3_1->n20_a_ks4_english__1_3_1_1_2_3_1_1 n20_a_ks4_english__1_3_1_1_2_3_2->n20_a_ks4_english__1_3_1_1_2_3_2_1 n20_a_ks4_english__1_3_1_1_2_3_3_1 ADJP n20_a_ks4_english__1_3_1_1_2_3_3->n20_a_ks4_english__1_3_1_1_2_3_3_1 n20_a_ks4_english__1_3_1_1_2_3_3_2 NS n20_a_ks4_english__1_3_1_1_2_3_3->n20_a_ks4_english__1_3_1_1_2_3_3_2 n20_a_ks4_english__1_3_1_1_2_3_3_1_1 AJLYR n20_a_ks4_english__1_3_1_1_2_3_3_1->n20_a_ks4_english__1_3_1_1_2_3_3_1_1 n20_a_ks4_english__1_3_1_1_2_3_3_1_1_1 AJLYR n20_a_ks4_english__1_3_1_1_2_3_3_1_1->n20_a_ks4_english__1_3_1_1_2_3_3_1_1_1 n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2 CONJP n20_a_ks4_english__1_3_1_1_2_3_3_1_1->n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2 n20_a_ks4_english__1_3_1_1_2_3_3_1_1_1_1 ADJ n20_a_ks4_english__1_3_1_1_2_3_3_1_1_1->n20_a_ks4_english__1_3_1_1_2_3_3_1_1_1_1 n20_a_ks4_english__1_3_1_1_2_3_3_1_1_1_1->n20_a_ks4_english__1_3_1_1_2_3_3_1_1_1_1_1 n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2_1 CONJ n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2->n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2_1 n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2_2 AJLYR n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2->n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2_2 n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2_1->n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2_1_1 n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2_2_1 ADJ n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2_2->n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2_2_1 n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2_2_1->n20_a_ks4_english__1_3_1_1_2_3_3_1_1_2_2_1_1 n20_a_ks4_english__1_3_1_1_2_3_3_2->n20_a_ks4_english__1_3_1_1_2_3_3_2_1 n20_a_ks4_english__1_3_1_2_1 CONJ n20_a_ks4_english__1_3_1_2->n20_a_ks4_english__1_3_1_2_1 n20_a_ks4_english__1_3_1_2_2 ILYR n20_a_ks4_english__1_3_1_2->n20_a_ks4_english__1_3_1_2_2 n20_a_ks4_english__1_3_1_2_1->n20_a_ks4_english__1_3_1_2_1_1 n20_a_ks4_english__1_3_1_2_2_1 IP-PPL-CAT n20_a_ks4_english__1_3_1_2_2->n20_a_ks4_english__1_3_1_2_2_1 n20_a_ks4_english__1_3_1_2_2_1_1 VAG;_I_ n20_a_ks4_english__1_3_1_2_2_1->n20_a_ks4_english__1_3_1_2_2_1_1 n20_a_ks4_english__1_3_1_2_2_1_2 ADVP-NIM n20_a_ks4_english__1_3_1_2_2_1->n20_a_ks4_english__1_3_1_2_2_1_2 n20_a_ks4_english__1_3_1_2_2_1_1->n20_a_ks4_english__1_3_1_2_2_1_1_1 n20_a_ks4_english__1_3_1_2_2_1_2_1 ADV n20_a_ks4_english__1_3_1_2_2_1_2->n20_a_ks4_english__1_3_1_2_2_1_2_1 n20_a_ks4_english__1_3_1_2_2_1_2_1->n20_a_ks4_english__1_3_1_2_2_1_2_1_1 n20_a_ks4_english__1_4->n20_a_ks4_english__1_4_1
( (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))