28_a_ks4_english
It is important that pupils learn the correct grammatical terms in English and that these terms are integrated within teaching.
( (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))
arc(r_0028_0002__is,r_0028_0003__important,prd).
arc(r_0028_0002__is,r_0028_0013__and,arg0).
arc(r_0028_0006__learn,r_0028_0005__pupils,arg0).
arc(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,attrib).
arc(r_0028_0007__the_r_0028_0010__terms,r_0028_0009__grammatical,attrib).
arc(r_0028_0007__the_r_0028_0010__terms,r_0028_0012__English,r_0028_0011__in).
arc(r_0028_0013__and,r_0028_0006__learn,conj1).
arc(r_0028_0013__and,r_0028_0017__are,conj2).
arc(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__nim).
arc(r_0028_0018__integrated,z_0028_5011___star_,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_0006__LEARN,R_0028_0015__THESE_R_0028_0016__TERMS,R_0028_0020__TEACHING,Z_0028_5011___STAR_,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_0028_5011___star_(Z_0028_5011___STAR_)
& 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_0017__ARE_R_0028_0018__INTEGRATED)
& r_0028_0017__are_r_0028_0018__integrated(R_0028_0017__ARE_R_0028_0018__INTEGRATED)
& has_arg0(R_0028_0017__ARE_R_0028_0018__INTEGRATED,Z_0028_5011___STAR_)
& has_r_0028_0019__within__nim(R_0028_0017__ARE_R_0028_0018__INTEGRATED,R_0028_0020__TEACHING)
& has_arg1(R_0028_0017__ARE_R_0028_0018__INTEGRATED,R_0028_0015__THESE_R_0028_0016__TERMS)
& has_conj1(R_0028_0013__AND,R_0028_0006__LEARN)
& r_0028_0006__learn(R_0028_0006__LEARN)
& has_arg1(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_attrib(R_0028_0007__THE_R_0028_0010__TERMS,R_0028_0009__GRAMMATICAL)
& has_attrib(R_0028_0007__THE_R_0028_0010__TERMS,R_0028_0008__CORRECT)
& has_arg0(R_0028_0006__LEARN,R_0028_0005__PUPILS)
& has_prd(R_0028_0002__IS,R_0028_0003__IMPORTANT) ) ).