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] 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] 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_0001__They They 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_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] z_000_20_a_ks4_english_39_r_0020_0012__writing->r_0020_0001__They [arg0] r_0020_0013__imaginatively imaginatively z_000_20_a_ks4_english_39_r_0020_0012__writing->r_0020_0013__imaginatively [nim]
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_4 They n20_a_ks4_english_6 should n20_a_ks4_english_11 be n20_a_ks4_english_14 * n20_a_ks4_english_16 taught n20_a_ks4_english_19 to n20_a_ks4_english_21 write n20_a_ks4_english_27 formal n20_a_ks4_english_30 and n20_a_ks4_english_33 academic n20_a_ks4_english_35 essays n20_a_ks4_english_38 as_well_as n20_a_ks4_english_42 writing n20_a_ks4_english_45 imaginatively n20_a_ks4_english_47 . n20_a_ks4_english_1 IP-MAT n20_a_ks4_english_2 NP-SBJ n20_a_ks4_english_1->n20_a_ks4_english_2 n20_a_ks4_english_5 MD;_cat_Vi_ n20_a_ks4_english_1->n20_a_ks4_english_5 n20_a_ks4_english_7 IP-INF-CAT n20_a_ks4_english_1->n20_a_ks4_english_7 n20_a_ks4_english_46 PUNC n20_a_ks4_english_1->n20_a_ks4_english_46 n20_a_ks4_english_3 PRO n20_a_ks4_english_2->n20_a_ks4_english_3 n20_a_ks4_english_3->n20_a_ks4_english_4 n20_a_ks4_english_5->n20_a_ks4_english_6 n20_a_ks4_english_8 ILYR n20_a_ks4_english_7->n20_a_ks4_english_8 n20_a_ks4_english_9 ILYR n20_a_ks4_english_8->n20_a_ks4_english_9 n20_a_ks4_english_36 CONJP n20_a_ks4_english_8->n20_a_ks4_english_36 n20_a_ks4_english_10 BE;_cat_VePASS_ n20_a_ks4_english_9->n20_a_ks4_english_10 n20_a_ks4_english_12 IP-PPL-CAT n20_a_ks4_english_9->n20_a_ks4_english_12 n20_a_ks4_english_10->n20_a_ks4_english_11 n20_a_ks4_english_13 NP-LGS n20_a_ks4_english_12->n20_a_ks4_english_13 n20_a_ks4_english_15 VVN;_Dn.t_ n20_a_ks4_english_12->n20_a_ks4_english_15 n20_a_ks4_english_17 IP-INF-OB1 n20_a_ks4_english_12->n20_a_ks4_english_17 n20_a_ks4_english_13->n20_a_ks4_english_14 n20_a_ks4_english_15->n20_a_ks4_english_16 n20_a_ks4_english_18 TO n20_a_ks4_english_17->n20_a_ks4_english_18 n20_a_ks4_english_20 VB;_Tn_ n20_a_ks4_english_17->n20_a_ks4_english_20 n20_a_ks4_english_22 NP-OB1 n20_a_ks4_english_17->n20_a_ks4_english_22 n20_a_ks4_english_18->n20_a_ks4_english_19 n20_a_ks4_english_20->n20_a_ks4_english_21 n20_a_ks4_english_23 ADJP n20_a_ks4_english_22->n20_a_ks4_english_23 n20_a_ks4_english_34 NS n20_a_ks4_english_22->n20_a_ks4_english_34 n20_a_ks4_english_24 AJLYR n20_a_ks4_english_23->n20_a_ks4_english_24 n20_a_ks4_english_25 AJLYR n20_a_ks4_english_24->n20_a_ks4_english_25 n20_a_ks4_english_28 CONJP n20_a_ks4_english_24->n20_a_ks4_english_28 n20_a_ks4_english_26 ADJ n20_a_ks4_english_25->n20_a_ks4_english_26 n20_a_ks4_english_26->n20_a_ks4_english_27 n20_a_ks4_english_29 CONJ n20_a_ks4_english_28->n20_a_ks4_english_29 n20_a_ks4_english_31 AJLYR n20_a_ks4_english_28->n20_a_ks4_english_31 n20_a_ks4_english_29->n20_a_ks4_english_30 n20_a_ks4_english_32 ADJ n20_a_ks4_english_31->n20_a_ks4_english_32 n20_a_ks4_english_32->n20_a_ks4_english_33 n20_a_ks4_english_34->n20_a_ks4_english_35 n20_a_ks4_english_37 CONJ n20_a_ks4_english_36->n20_a_ks4_english_37 n20_a_ks4_english_39 ILYR n20_a_ks4_english_36->n20_a_ks4_english_39 n20_a_ks4_english_37->n20_a_ks4_english_38 n20_a_ks4_english_40 IP-PPL-CAT n20_a_ks4_english_39->n20_a_ks4_english_40 n20_a_ks4_english_41 VAG;_I_ n20_a_ks4_english_40->n20_a_ks4_english_41 n20_a_ks4_english_43 ADVP-NIM n20_a_ks4_english_40->n20_a_ks4_english_43 n20_a_ks4_english_41->n20_a_ks4_english_42 n20_a_ks4_english_44 ADV n20_a_ks4_english_43->n20_a_ks4_english_44 n20_a_ks4_english_44->n20_a_ks4_english_45 n20_a_ks4_english_46->n20_a_ks4_english_47
( (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))