( (IP-MAT (NP-SBJ;{PUPILS} (PRO They;{they}))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (ILYR;{UNDERSTAND_USE} (ILYR (VB;_Tn_ understand;{understand}))
                                             (CONJP (CONJ and;{and})
                                                    (ILYR (VB;_Tn_ use;{use}))))
                      (NP-OB1 (ADJP (ADJ age_<hyphen>_appropriate;{age_appropriate}))
                              (N vocabulary;{vocabulary})
                              (PUNC ,)
                              (PP (P-ROLE including;{including})
                                  (NP (ADJP (AJLYR (AJLYR (ADJ linguistic;{linguistic}))
                                                   (CONJP (CONJ and;{and})
                                                          (AJLYR (ADJ literary;{literary})))))
                                      (N terminology;{terminology}))))
                      (PUNC ,)
                      (PP-NIM (P-ROLE for;{for})
                              (IP-PPL (VAG;_Tn_ discussing;{discuss})
                                      (NP-OB1 (NP-GEN;{PUPILS} (PRO;_genm_ their;{their}))
                                              (NLYR (NLYR (N reading;{reading}))
                                                    (PUNC ,)
                                                    (CONJP (NLYR (N writing;{writing})))
                                                    (CONJP (CONJ and;{and})
                                                           (NLYR (ADJP (ADJ spoken;{spoken}))
                                                                 (N language;{language}))))))))
          (PUNC .))
  (ID 26_a_ks4_english))

arc(r_0026_0002__should,r_0026_0004__and,scope).
arc(r_0026_0003__understand,r_0026_0001__They,arg0).
arc(r_0026_0003__understand,r_0026_0007__vocabulary,arg1).
arc(r_0026_0003__understand,r_0026_0016__discussing,r_0026_0015__for__nim).
arc(r_0026_0004__and,r_0026_0003__understand,conj1).
arc(r_0026_0004__and,r_0026_0005__use,conj2).
arc(r_0026_0005__use,r_0026_0001__They,arg0).
arc(r_0026_0005__use,r_0026_0007__vocabulary,arg1).
arc(r_0026_0005__use,r_0026_0016__discussing,r_0026_0015__for__nim).
arc(r_0026_0007__vocabulary,r_0026_0006__age__hyphen__appropriate,attrib).
arc(r_0026_0007__vocabulary,r_0026_0013__terminology,r_0026_0009__including).
arc(r_0026_0011__and,r_0026_0010__linguistic,conj1).
arc(r_0026_0011__and,r_0026_0012__literary,conj2).
arc(r_0026_0013__terminology,r_0026_0011__and,attrib).
arc(r_0026_0016__discussing,r_0026_0007__vocabulary,arg0).
arc(r_0026_0016__discussing,r_0026_0021__and,arg1).
arc(r_0026_0021__and,r_0026_0001__They,gen).
arc(r_0026_0021__and,r_0026_0018__reading,conj1).
arc(r_0026_0021__and,r_0026_0020__writing,conj2).
arc(r_0026_0021__and,r_0026_0023__language,conj3).
arc(r_0026_0023__language,r_0026_0022__spoken,attrib).

fof(formula,axiom,
    ? [R_0026_0001__THEY,R_0026_0006__AGE__HYPHEN__APPROPRIATE,R_0026_0010__LINGUISTIC,R_0026_0012__LITERARY,R_0026_0011__AND,R_0026_0013__TERMINOLOGY,R_0026_0007__VOCABULARY,R_0026_0018__READING,R_0026_0020__WRITING,R_0026_0022__SPOKEN,R_0026_0023__LANGUAGE,R_0026_0021__AND,R_0026_0016__DISCUSSING,R_0026_0003__UNDERSTAND,R_0026_0005__USE,R_0026_0004__AND,R_0026_0002__SHOULD] :
      ( r_0026_0001__They(R_0026_0001__THEY)
      & r_0026_0006__age__hyphen__appropriate(R_0026_0006__AGE__HYPHEN__APPROPRIATE)
      & r_0026_0010__linguistic(R_0026_0010__LINGUISTIC)
      & r_0026_0012__literary(R_0026_0012__LITERARY)
      & r_0026_0018__reading(R_0026_0018__READING)
      & r_0026_0020__writing(R_0026_0020__WRITING)
      & r_0026_0022__spoken(R_0026_0022__SPOKEN)
      & r_0026_0002__should(R_0026_0002__SHOULD)
      & has_keep_scope(R_0026_0002__SHOULD,R_0026_0004__AND)
      & r_0026_0004__and(R_0026_0004__AND)
      & has_conj2(R_0026_0004__AND,R_0026_0005__USE)
      & r_0026_0005__use(R_0026_0005__USE)
      & has_r_0026_0015__for__nim(R_0026_0005__USE,R_0026_0016__DISCUSSING)
      & r_0026_0016__discussing(R_0026_0016__DISCUSSING)
      & has_arg1(R_0026_0016__DISCUSSING,R_0026_0021__AND)
      & r_0026_0021__and(R_0026_0021__AND)
      & has_conj3(R_0026_0021__AND,R_0026_0023__LANGUAGE)
      & r_0026_0023__language(R_0026_0023__LANGUAGE)
      & has_attrib(R_0026_0023__LANGUAGE,R_0026_0022__SPOKEN)
      & has_conj2(R_0026_0021__AND,R_0026_0020__WRITING)
      & has_conj1(R_0026_0021__AND,R_0026_0018__READING)
      & has_gen(R_0026_0021__AND,R_0026_0001__THEY)
      & has_arg0(R_0026_0016__DISCUSSING,R_0026_0007__VOCABULARY)
      & r_0026_0007__vocabulary(R_0026_0007__VOCABULARY)
      & has_r_0026_0009__including(R_0026_0007__VOCABULARY,R_0026_0013__TERMINOLOGY)
      & r_0026_0013__terminology(R_0026_0013__TERMINOLOGY)
      & has_attrib(R_0026_0013__TERMINOLOGY,R_0026_0011__AND)
      & r_0026_0011__and(R_0026_0011__AND)
      & has_conj2(R_0026_0011__AND,R_0026_0012__LITERARY)
      & has_conj1(R_0026_0011__AND,R_0026_0010__LINGUISTIC)
      & has_attrib(R_0026_0007__VOCABULARY,R_0026_0006__AGE__HYPHEN__APPROPRIATE)
      & has_arg1(R_0026_0005__USE,R_0026_0007__VOCABULARY)
      & has_arg0(R_0026_0005__USE,R_0026_0001__THEY)
      & has_conj1(R_0026_0004__AND,R_0026_0003__UNDERSTAND)
      & r_0026_0003__understand(R_0026_0003__UNDERSTAND)
      & has_r_0026_0015__for__nim(R_0026_0003__UNDERSTAND,R_0026_0016__DISCUSSING)
      & has_arg1(R_0026_0003__UNDERSTAND,R_0026_0007__VOCABULARY)
      & has_arg0(R_0026_0003__UNDERSTAND,R_0026_0001__THEY) ) ).