TSPC 20_a_ks4

20_a_ks4_english
They should be taught to write formal and academic essays as well as writing 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))

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_0006__write,arg1).
arc(r_0020_0004__taught,z_0020_5009___star_,arg0).
arc(r_0020_0006__write,r_0020_0001__They,arg0).
arc(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,attrib).
arc(r_0020_0011__as_well_as,r_0020_0003__be,conj1).
arc(r_0020_0011__as_well_as,z_0020_5015,conj2).
arc(r_0020_0012__writing,r_0020_0001__They,arg0).
arc(r_0020_0012__writing,r_0020_0013__imaginatively,nim).
arc(z_0020_5015,r_0020_0012__writing,scope).

fof(formula,axiom,
    ? [R_0020_0001__THEY,R_0020_0007__FORMAL,R_0020_0009__ACADEMIC,R_0020_0008__AND,R_0020_0010__ESSAYS,R_0020_0006__WRITE,Z_0020_5009___STAR_,R_0020_0003__BE_R_0020_0004__TAUGHT,R_0020_0013__IMAGINATIVELY,Z_0020_5015_R_0020_0012__WRITING,R_0020_0011__AS_WELL_AS,R_0020_0002__SHOULD] :
      ( r_0020_0001__They(R_0020_0001__THEY)
      & r_0020_0007__formal(R_0020_0007__FORMAL)
      & r_0020_0009__academic(R_0020_0009__ACADEMIC)
      & r_0020_0013__imaginatively(R_0020_0013__IMAGINATIVELY)
      & z_0020_5009___star_(Z_0020_5009___STAR_)
      & r_0020_0002__should(R_0020_0002__SHOULD)
      & has_keep_scope(R_0020_0002__SHOULD,R_0020_0011__AS_WELL_AS)
      & r_0020_0011__as_well_as(R_0020_0011__AS_WELL_AS)
      & has_conj2(R_0020_0011__AS_WELL_AS,Z_0020_5015_R_0020_0012__WRITING)
      & z_0020_5015_r_0020_0012__writing(Z_0020_5015_R_0020_0012__WRITING)
      & has_nim(Z_0020_5015_R_0020_0012__WRITING,R_0020_0013__IMAGINATIVELY)
      & has_arg0(Z_0020_5015_R_0020_0012__WRITING,R_0020_0001__THEY)
      & has_conj1(R_0020_0011__AS_WELL_AS,R_0020_0003__BE_R_0020_0004__TAUGHT)
      & r_0020_0003__be_r_0020_0004__taught(R_0020_0003__BE_R_0020_0004__TAUGHT)
      & has_arg0(R_0020_0003__BE_R_0020_0004__TAUGHT,Z_0020_5009___STAR_)
      & has_arg1(R_0020_0003__BE_R_0020_0004__TAUGHT,R_0020_0006__WRITE)
      & r_0020_0006__write(R_0020_0006__WRITE)
      & has_arg1(R_0020_0006__WRITE,R_0020_0010__ESSAYS)
      & r_0020_0010__essays(R_0020_0010__ESSAYS)
      & has_attrib(R_0020_0010__ESSAYS,R_0020_0008__AND)
      & r_0020_0008__and(R_0020_0008__AND)
      & has_conj2(R_0020_0008__AND,R_0020_0009__ACADEMIC)
      & has_conj1(R_0020_0008__AND,R_0020_0007__FORMAL)
      & has_arg0(R_0020_0006__WRITE,R_0020_0001__THEY)
      & has_arg2(R_0020_0003__BE_R_0020_0004__TAUGHT,R_0020_0001__THEY) ) ).