arc(r_0028_0002__is, r_0028_0003__important, prd).
arc(r_0028_0002__is, r_0028_0013__and, arg0).
arc(r_0028_0004__that_r_0028_0006__learn, r_0028_0005__pupils, arg0).
arc(r_0028_0004__that_r_0028_0006__learn, r_0028_0007__the_r_0028_0010__terms, arg1).
arc(r_0028_0007__the_r_0028_0010__terms, r_0028_0008__correct, attrib24).
arc(r_0028_0007__the_r_0028_0010__terms, r_0028_0009__grammatical, attrib27).
arc(r_0028_0007__the_r_0028_0010__terms, r_0028_0012__English, r_0028_0011__in).
arc(r_0028_0013__and, r_0028_0004__that_r_0028_0006__learn, conj1).
arc(r_0028_0013__and, r_0028_0014__that_r_0028_0017__are, conj2).
arc(r_0028_0014__that_r_0028_0017__are, r_0028_0018__integrated, scope).
arc(r_0028_0018__integrated, r_0028_0015__these_r_0028_0016__terms, arg1).
arc(r_0028_0018__integrated, r_0028_0020__teaching, r_0028_0019__within_nim59).
arc(r_0028_0018__integrated, z_000_28_a_ks4_english_52, arg0).

fof(formula,axiom,
    ? [R_28_2_IS,R_28_13_AND,R_28_4_THAT_LEARN,R_28_5_PUPILS,R_28_7_THE_TERMS,R_28_8_CORRECT,R_28_9_GRAMMATICAL,R_28_12_ENGLISH,R_28_14_THAT_ARE_INTEGRATED,Z_28_A_KS4_ENGLISH_52,R_28_15_THESE_TERMS,R_28_20_TEACHING,R_28_3_IMPORTANT] :
      ( pupils(R_28_5_PUPILS)
      & correct(R_28_8_CORRECT)
      & grammatical(R_28_9_GRAMMATICAL)
      & english(R_28_12_ENGLISH)
      & these_terms(R_28_15_THESE_TERMS)
      & teaching(R_28_20_TEACHING)
      & important(R_28_3_IMPORTANT)
      & is(R_28_2_IS,R_28_13_AND,R_28_3_IMPORTANT)
      & and(R_28_13_AND)
      & conj1(R_28_13_AND,R_28_4_THAT_LEARN)
      & that_learn(R_28_4_THAT_LEARN,R_28_5_PUPILS,R_28_7_THE_TERMS)
      & the_terms(R_28_7_THE_TERMS)
      & attrib24(R_28_7_THE_TERMS,R_28_8_CORRECT)
      & attrib27(R_28_7_THE_TERMS,R_28_9_GRAMMATICAL)
      & in(R_28_7_THE_TERMS,R_28_12_ENGLISH)
      & conj2(R_28_13_AND,R_28_14_THAT_ARE_INTEGRATED)
      & that_are_integrated(R_28_14_THAT_ARE_INTEGRATED,Z_28_A_KS4_ENGLISH_52,R_28_15_THESE_TERMS)
      & within_nim59(R_28_14_THAT_ARE_INTEGRATED,R_28_20_TEACHING) ) ).

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ important;{important}))
          (CP-THT-NSBJ (IP-SUB (ILYR (ILYR (C that;{that})
                                           (NP-SBJ;{PUPILS} (NS pupils;{pupil}))
                                           (VBP;_Tn_ learn;{learn})
                                           (NP-OB1 (D the;{the})
                                                   (ADJP (ADJ correct;{correct}))
                                                   (ADJP (ADJ grammatical;{grammatical}))
                                                   (NS terms;{term})
                                                   (PP (P-ROLE in;{in})
                                                       (NP (NPR English;{English})))))
                                     (CONJP (CONJ and;{and})
                                            (ILYR (C that;{that})
                                                  (NP-SBJ (D these;{these})
                                                          (NS terms;{term}))
                                                  (BEP;_cat_VePASS_ are;{be})
                                                  (IP-PPL-CAT (NP-LGS *)
                                                              (VVN;_Tn_ integrated;{integrate})
                                                              (PP-NIM (P-ROLE within;{within})
                                                                      (NP (N teaching;{teaching})))))))))
          (PUNC .))
  (ID 28_a_ks4_english))