TSPC 32_a_ks4

32_a_ks4_english
Those who are less fluent should consolidate their knowledge, understanding and skills, including through additional practice.

( (IP-MAT (NP-SBJ;{PUPILS} (D;_nphd_ Those;{those})
                           (IP-REL (NP-SBJ (RPRO who;{who}))
                                   (BEP;_La_ are;{be})
                                   (ADJP-PRD (ADVP (ADVR less;{less}))
                                             (ADJ fluent;{fluent}))))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (VB;_Tn_ consolidate;{consolidate})
                      (NP-OB1 (NP-GEN;{PUPILS} (PRO;_genm_ their;{their}))
                              (NLYR (NLYR (N knowledge;{knowledge}))
                                    (PUNC ,)
                                    (CONJP (NLYR (N understanding;{understanding})))
                                    (CONJP (CONJ and;{and})
                                           (NLYR (NS skills;{skill})))))
                      (PUNC ,)
                      (PP-NIM (P-ROLE including_through;{including_through})
                              (NP (ADJP (ADJ additional;{additional}))
                                  (N practice;{practice}))))
          (PUNC .))
  (ID 32_a_ks4_english))

arc(r_0032_0003__are,r_0032_0001__Those,arg0).
arc(r_0032_0003__are,r_0032_0005__fluent,prd).
arc(r_0032_0005__fluent,r_0032_0004__less,qual).
arc(r_0032_0006__should,r_0032_0007__consolidate,scope).
arc(r_0032_0007__consolidate,r_0032_0001__Those,arg0).
arc(r_0032_0007__consolidate,r_0032_0012__and,arg1).
arc(r_0032_0007__consolidate,r_0032_0017__practice,r_0032_0015__including_through__nim).
arc(r_0032_0012__and,r_0032_0001__Those,gen).
arc(r_0032_0012__and,r_0032_0009__knowledge,conj1).
arc(r_0032_0012__and,r_0032_0011__understanding,conj2).
arc(r_0032_0012__and,r_0032_0013__skills,conj3).
arc(r_0032_0017__practice,r_0032_0016__additional,attrib).

fof(formula,axiom,
    ? [R_0032_0001__THOSE,R_0032_0004__LESS,R_0032_0005__FLUENT,R_0032_0003__ARE,R_0032_0009__KNOWLEDGE,R_0032_0011__UNDERSTANDING,R_0032_0013__SKILLS,R_0032_0012__AND,R_0032_0016__ADDITIONAL,R_0032_0017__PRACTICE,R_0032_0006__SHOULD_R_0032_0007__CONSOLIDATE] :
      ( r_0032_0001__Those(R_0032_0001__THOSE)
      & r_0032_0004__less(R_0032_0004__LESS)
      & r_0032_0009__knowledge(R_0032_0009__KNOWLEDGE)
      & r_0032_0011__understanding(R_0032_0011__UNDERSTANDING)
      & r_0032_0013__skills(R_0032_0013__SKILLS)
      & r_0032_0016__additional(R_0032_0016__ADDITIONAL)
      & r_0032_0006__should_r_0032_0007__consolidate(R_0032_0006__SHOULD_R_0032_0007__CONSOLIDATE)
      & has_r_0032_0015__including_through__nim(R_0032_0006__SHOULD_R_0032_0007__CONSOLIDATE,R_0032_0017__PRACTICE)
      & r_0032_0017__practice(R_0032_0017__PRACTICE)
      & has_attrib(R_0032_0017__PRACTICE,R_0032_0016__ADDITIONAL)
      & has_arg1(R_0032_0006__SHOULD_R_0032_0007__CONSOLIDATE,R_0032_0012__AND)
      & r_0032_0012__and(R_0032_0012__AND)
      & has_conj3(R_0032_0012__AND,R_0032_0013__SKILLS)
      & has_conj2(R_0032_0012__AND,R_0032_0011__UNDERSTANDING)
      & has_conj1(R_0032_0012__AND,R_0032_0009__KNOWLEDGE)
      & has_gen(R_0032_0012__AND,R_0032_0001__THOSE)
      & has_arg0(R_0032_0006__SHOULD_R_0032_0007__CONSOLIDATE,R_0032_0001__THOSE)
      & r_0032_0003__are(R_0032_0003__ARE)
      & has_prd(R_0032_0003__ARE,R_0032_0005__FLUENT)
      & r_0032_0005__fluent(R_0032_0005__FLUENT)
      & has_qual(R_0032_0005__FLUENT,R_0032_0004__LESS)
      & has_arg0(R_0032_0003__ARE,R_0032_0001__THOSE) ) ).