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_0020_0001__THEY,R_0020_0007__FORMAL,R_0020_0009__ACADEMIC,R_0020_0008__AND,R_0020_0010__ESSAYS,R_0020_0005__TO_R_0020_0006__WRITE,Z_000_20_A_KS4_ENGLISH_13,R_0020_0003__BE_R_0020_0004__TAUGHT,R_0020_0013__IMAGINATIVELY,Z_000_20_A_KS4_ENGLISH_39_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_000_20_a_ks4_english_13(Z_000_20_A_KS4_ENGLISH_13)
      & 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_000_20_A_KS4_ENGLISH_39_R_0020_0012__WRITING)
      & z_000_20_a_ks4_english_39_r_0020_0012__writing(Z_000_20_A_KS4_ENGLISH_39_R_0020_0012__WRITING)
      & has_nim43(Z_000_20_A_KS4_ENGLISH_39_R_0020_0012__WRITING,R_0020_0013__IMAGINATIVELY)
      & has_arg0(Z_000_20_A_KS4_ENGLISH_39_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_000_20_A_KS4_ENGLISH_13)
      & has_arg1(R_0020_0003__BE_R_0020_0004__TAUGHT,R_0020_0005__TO_R_0020_0006__WRITE)
      & r_0020_0005__to_r_0020_0006__write(R_0020_0005__TO_R_0020_0006__WRITE)
      & has_arg1(R_0020_0005__TO_R_0020_0006__WRITE,R_0020_0010__ESSAYS)
      & r_0020_0010__essays(R_0020_0010__ESSAYS)
      & has_attrib23(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_0005__TO_R_0020_0006__WRITE,R_0020_0001__THEY)
      & has_arg2(R_0020_0003__BE_R_0020_0004__TAUGHT,R_0020_0001__THEY) ) ).

( (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))