32_a_ks4_english
Those who are less fluent should consolidate their knowledge, understanding and skills, including through additional practice.
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, qual12).
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_nim47).
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, attrib48).
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_nim47(R_0032_0006__SHOULD_R_0032_0007__CONSOLIDATE,R_0032_0017__PRACTICE)
& r_0032_0017__practice(R_0032_0017__PRACTICE)
& has_attrib48(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_qual12(R_0032_0005__FLUENT,R_0032_0004__LESS)
& has_arg0(R_0032_0003__ARE,R_0032_0001__THOSE) ) ).
( (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))