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_32_3_ARE,R_32_5_FLUENT,R_32_4_LESS,R_32_6_SHOULD_CONSOLIDATE,R_32_12_AND,R_32_9_KNOWLEDGE,R_32_11_UNDERSTANDING,R_32_13_SKILLS,R_32_1_THOSE,R_32_17_PRACTICE,R_32_16_ADDITIONAL] :
( less(R_32_4_LESS)
& knowledge(R_32_9_KNOWLEDGE)
& understanding(R_32_11_UNDERSTANDING)
& skills(R_32_13_SKILLS)
& those(R_32_1_THOSE)
& additional(R_32_16_ADDITIONAL)
& are(R_32_3_ARE,R_32_1_THOSE,R_32_5_FLUENT)
& fluent(R_32_5_FLUENT)
& qual12(R_32_5_FLUENT,R_32_4_LESS)
& should_consolidate(R_32_6_SHOULD_CONSOLIDATE,R_32_1_THOSE,R_32_12_AND)
& and(R_32_12_AND)
& conj1(R_32_12_AND,R_32_9_KNOWLEDGE)
& conj2(R_32_12_AND,R_32_11_UNDERSTANDING)
& conj3(R_32_12_AND,R_32_13_SKILLS)
& gen(R_32_12_AND,R_32_1_THOSE)
& including_through_nim47(R_32_6_SHOULD_CONSOLIDATE,R_32_17_PRACTICE)
& practice(R_32_17_PRACTICE)
& attrib48(R_32_17_PRACTICE,R_32_16_ADDITIONAL) ) ).
( (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))