28_a_ks4_english
It is important that pupils learn the correct grammatical terms in English and that these terms are integrated within teaching.
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_0028_0003__IMPORTANT,R_0028_0005__PUPILS,R_0028_0008__CORRECT,R_0028_0009__GRAMMATICAL,R_0028_0012__ENGLISH,R_0028_0007__THE_R_0028_0010__TERMS,R_0028_0004__THAT_R_0028_0006__LEARN,R_0028_0015__THESE_R_0028_0016__TERMS,R_0028_0020__TEACHING,Z_000_28_A_KS4_ENGLISH_52,R_0028_0014__THAT_R_0028_0017__ARE_R_0028_0018__INTEGRATED,R_0028_0013__AND,R_0028_0002__IS] :
( r_0028_0003__important(R_0028_0003__IMPORTANT)
& r_0028_0005__pupils(R_0028_0005__PUPILS)
& r_0028_0008__correct(R_0028_0008__CORRECT)
& r_0028_0009__grammatical(R_0028_0009__GRAMMATICAL)
& r_0028_0012__English(R_0028_0012__ENGLISH)
& r_0028_0015__these_r_0028_0016__terms(R_0028_0015__THESE_R_0028_0016__TERMS)
& r_0028_0020__teaching(R_0028_0020__TEACHING)
& z_000_28_a_ks4_english_52(Z_000_28_A_KS4_ENGLISH_52)
& r_0028_0002__is(R_0028_0002__IS)
& has_arg0(R_0028_0002__IS,R_0028_0013__AND)
& r_0028_0013__and(R_0028_0013__AND)
& has_conj2(R_0028_0013__AND,R_0028_0014__THAT_R_0028_0017__ARE_R_0028_0018__INTEGRATED)
& r_0028_0014__that_r_0028_0017__are_r_0028_0018__integrated(R_0028_0014__THAT_R_0028_0017__ARE_R_0028_0018__INTEGRATED)
& has_arg0(R_0028_0014__THAT_R_0028_0017__ARE_R_0028_0018__INTEGRATED,Z_000_28_A_KS4_ENGLISH_52)
& has_r_0028_0019__within_nim59(R_0028_0014__THAT_R_0028_0017__ARE_R_0028_0018__INTEGRATED,R_0028_0020__TEACHING)
& has_arg1(R_0028_0014__THAT_R_0028_0017__ARE_R_0028_0018__INTEGRATED,R_0028_0015__THESE_R_0028_0016__TERMS)
& has_conj1(R_0028_0013__AND,R_0028_0004__THAT_R_0028_0006__LEARN)
& r_0028_0004__that_r_0028_0006__learn(R_0028_0004__THAT_R_0028_0006__LEARN)
& has_arg1(R_0028_0004__THAT_R_0028_0006__LEARN,R_0028_0007__THE_R_0028_0010__TERMS)
& r_0028_0007__the_r_0028_0010__terms(R_0028_0007__THE_R_0028_0010__TERMS)
& has_r_0028_0011__in(R_0028_0007__THE_R_0028_0010__TERMS,R_0028_0012__ENGLISH)
& has_attrib27(R_0028_0007__THE_R_0028_0010__TERMS,R_0028_0009__GRAMMATICAL)
& has_attrib24(R_0028_0007__THE_R_0028_0010__TERMS,R_0028_0008__CORRECT)
& has_arg0(R_0028_0004__THAT_R_0028_0006__LEARN,R_0028_0005__PUPILS)
& has_prd(R_0028_0002__IS,R_0028_0003__IMPORTANT) ) ).
( (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))