28_a_ks4_english
It is important that pupils learn the correct grammatical terms in English and that these terms are integrated within teaching.

%3 r_0028_0002__is is r_0028_0003__important important r_0028_0002__is->r_0028_0003__important [prd] r_0028_0013__and and r_0028_0002__is->r_0028_0013__and [arg0] r_0028_0004__that_r_0028_0006__learn that learn r_0028_0013__and->r_0028_0004__that_r_0028_0006__learn [conj1] r_0028_0014__that_r_0028_0017__are that are r_0028_0013__and->r_0028_0014__that_r_0028_0017__are [conj2] r_0028_0005__pupils pupils r_0028_0004__that_r_0028_0006__learn->r_0028_0005__pupils [arg0] r_0028_0007__the_r_0028_0010__terms the terms r_0028_0004__that_r_0028_0006__learn->r_0028_0007__the_r_0028_0010__terms [arg1] r_0028_0008__correct correct r_0028_0007__the_r_0028_0010__terms->r_0028_0008__correct [attrib] r_0028_0009__grammatical grammatical r_0028_0007__the_r_0028_0010__terms->r_0028_0009__grammatical [attrib] r_0028_0012__English English r_0028_0007__the_r_0028_0010__terms->r_0028_0012__English in r_0028_0018__integrated integrated r_0028_0014__that_r_0028_0017__are->r_0028_0018__integrated [scope] r_0028_0015__these_r_0028_0016__terms these terms r_0028_0018__integrated->r_0028_0015__these_r_0028_0016__terms [arg1] r_0028_0020__teaching teaching r_0028_0018__integrated->r_0028_0020__teaching within [nim] z_000_28_a_ks4_english_52 r_0028_0018__integrated->z_000_28_a_ks4_english_52 [arg0]
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).



%3 r_0028_0002__is is r_0028_0003__important important r_0028_0002__is->r_0028_0003__important [prd] r_0028_0013__and and r_0028_0002__is->r_0028_0013__and [arg0] r_0028_0004__that_r_0028_0006__learn that learn r_0028_0013__and->r_0028_0004__that_r_0028_0006__learn [conj1] r_0028_0014__that_r_0028_0017__are_r_0028_0018__integrated that are integrated r_0028_0013__and->r_0028_0014__that_r_0028_0017__are_r_0028_0018__integrated [conj2] r_0028_0005__pupils pupils r_0028_0004__that_r_0028_0006__learn->r_0028_0005__pupils [arg0] r_0028_0007__the_r_0028_0010__terms the terms r_0028_0004__that_r_0028_0006__learn->r_0028_0007__the_r_0028_0010__terms [arg1] r_0028_0008__correct correct r_0028_0007__the_r_0028_0010__terms->r_0028_0008__correct [attrib] r_0028_0009__grammatical grammatical r_0028_0007__the_r_0028_0010__terms->r_0028_0009__grammatical [attrib] r_0028_0012__English English r_0028_0007__the_r_0028_0010__terms->r_0028_0012__English in r_0028_0015__these_r_0028_0016__terms these terms r_0028_0014__that_r_0028_0017__are_r_0028_0018__integrated->r_0028_0015__these_r_0028_0016__terms [arg1] r_0028_0020__teaching teaching r_0028_0014__that_r_0028_0017__are_r_0028_0018__integrated->r_0028_0020__teaching within [nim] z_000_28_a_ks4_english_52 r_0028_0014__that_r_0028_0017__are_r_0028_0018__integrated->z_000_28_a_ks4_english_52 [arg0]
fof(formula,axiom,
    ? [R_28_2_IS,R_28_13_AND,R_28_4_THAT_LEARN,R_28_5_PUPILS,R_28_7_THE_TERMS,R_28_8_CORRECT,R_28_9_GRAMMATICAL,R_28_12_ENGLISH,R_28_14_THAT_ARE_INTEGRATED,Z_28_A_KS4_ENGLISH_52,R_28_15_THESE_TERMS,R_28_20_TEACHING,R_28_3_IMPORTANT] :
      ( pupils(R_28_5_PUPILS)
      & correct(R_28_8_CORRECT)
      & grammatical(R_28_9_GRAMMATICAL)
      & english(R_28_12_ENGLISH)
      & these_terms(R_28_15_THESE_TERMS)
      & teaching(R_28_20_TEACHING)
      & important(R_28_3_IMPORTANT)
      & is(R_28_2_IS,R_28_13_AND,R_28_3_IMPORTANT)
      & and(R_28_13_AND)
      & conj1(R_28_13_AND,R_28_4_THAT_LEARN)
      & that_learn(R_28_4_THAT_LEARN,R_28_5_PUPILS,R_28_7_THE_TERMS)
      & the_terms(R_28_7_THE_TERMS)
      & attrib24(R_28_7_THE_TERMS,R_28_8_CORRECT)
      & attrib27(R_28_7_THE_TERMS,R_28_9_GRAMMATICAL)
      & in(R_28_7_THE_TERMS,R_28_12_ENGLISH)
      & conj2(R_28_13_AND,R_28_14_THAT_ARE_INTEGRATED)
      & that_are_integrated(R_28_14_THAT_ARE_INTEGRATED,Z_28_A_KS4_ENGLISH_52,R_28_15_THESE_TERMS)
      & within_nim59(R_28_14_THAT_ARE_INTEGRATED,R_28_20_TEACHING) ) ).



n28_a_ks4_english n28_a_ks4_english_4 It n28_a_ks4_english_6 is n28_a_ks4_english_9 important n28_a_ks4_english_15 that n28_a_ks4_english_18 pupils n28_a_ks4_english_20 learn n28_a_ks4_english_23 the n28_a_ks4_english_26 correct n28_a_ks4_english_29 grammatical n28_a_ks4_english_31 terms n28_a_ks4_english_34 in n28_a_ks4_english_37 English n28_a_ks4_english_40 and n28_a_ks4_english_43 that n28_a_ks4_english_46 these n28_a_ks4_english_48 terms n28_a_ks4_english_50 are n28_a_ks4_english_53 * n28_a_ks4_english_55 integrated n28_a_ks4_english_58 within n28_a_ks4_english_61 teaching n28_a_ks4_english_63 . n28_a_ks4_english_1 IP-MAT n28_a_ks4_english_2 NP-SBJ n28_a_ks4_english_1->n28_a_ks4_english_2 n28_a_ks4_english_5 BEP;_La_ n28_a_ks4_english_1->n28_a_ks4_english_5 n28_a_ks4_english_7 ADJP-PRD n28_a_ks4_english_1->n28_a_ks4_english_7 n28_a_ks4_english_10 CP-THT-NSBJ n28_a_ks4_english_1->n28_a_ks4_english_10 n28_a_ks4_english_62 PUNC n28_a_ks4_english_1->n28_a_ks4_english_62 n28_a_ks4_english_3 PRO;_provisional_ n28_a_ks4_english_2->n28_a_ks4_english_3 n28_a_ks4_english_3->n28_a_ks4_english_4 n28_a_ks4_english_5->n28_a_ks4_english_6 n28_a_ks4_english_8 ADJ n28_a_ks4_english_7->n28_a_ks4_english_8 n28_a_ks4_english_8->n28_a_ks4_english_9 n28_a_ks4_english_11 IP-SUB n28_a_ks4_english_10->n28_a_ks4_english_11 n28_a_ks4_english_12 ILYR n28_a_ks4_english_11->n28_a_ks4_english_12 n28_a_ks4_english_13 ILYR n28_a_ks4_english_12->n28_a_ks4_english_13 n28_a_ks4_english_38 CONJP n28_a_ks4_english_12->n28_a_ks4_english_38 n28_a_ks4_english_14 C n28_a_ks4_english_13->n28_a_ks4_english_14 n28_a_ks4_english_16 NP-SBJ n28_a_ks4_english_13->n28_a_ks4_english_16 n28_a_ks4_english_19 VBP;_Tn_ n28_a_ks4_english_13->n28_a_ks4_english_19 n28_a_ks4_english_21 NP-OB1 n28_a_ks4_english_13->n28_a_ks4_english_21 n28_a_ks4_english_14->n28_a_ks4_english_15 n28_a_ks4_english_17 NS n28_a_ks4_english_16->n28_a_ks4_english_17 n28_a_ks4_english_17->n28_a_ks4_english_18 n28_a_ks4_english_19->n28_a_ks4_english_20 n28_a_ks4_english_22 D n28_a_ks4_english_21->n28_a_ks4_english_22 n28_a_ks4_english_24 ADJP n28_a_ks4_english_21->n28_a_ks4_english_24 n28_a_ks4_english_27 ADJP n28_a_ks4_english_21->n28_a_ks4_english_27 n28_a_ks4_english_30 NS n28_a_ks4_english_21->n28_a_ks4_english_30 n28_a_ks4_english_32 PP n28_a_ks4_english_21->n28_a_ks4_english_32 n28_a_ks4_english_22->n28_a_ks4_english_23 n28_a_ks4_english_25 ADJ n28_a_ks4_english_24->n28_a_ks4_english_25 n28_a_ks4_english_25->n28_a_ks4_english_26 n28_a_ks4_english_28 ADJ n28_a_ks4_english_27->n28_a_ks4_english_28 n28_a_ks4_english_28->n28_a_ks4_english_29 n28_a_ks4_english_30->n28_a_ks4_english_31 n28_a_ks4_english_33 P-ROLE n28_a_ks4_english_32->n28_a_ks4_english_33 n28_a_ks4_english_35 NP n28_a_ks4_english_32->n28_a_ks4_english_35 n28_a_ks4_english_33->n28_a_ks4_english_34 n28_a_ks4_english_36 NPR n28_a_ks4_english_35->n28_a_ks4_english_36 n28_a_ks4_english_36->n28_a_ks4_english_37 n28_a_ks4_english_39 CONJ n28_a_ks4_english_38->n28_a_ks4_english_39 n28_a_ks4_english_41 ILYR n28_a_ks4_english_38->n28_a_ks4_english_41 n28_a_ks4_english_39->n28_a_ks4_english_40 n28_a_ks4_english_42 C n28_a_ks4_english_41->n28_a_ks4_english_42 n28_a_ks4_english_44 NP-SBJ n28_a_ks4_english_41->n28_a_ks4_english_44 n28_a_ks4_english_49 BEP;_cat_VePASS_ n28_a_ks4_english_41->n28_a_ks4_english_49 n28_a_ks4_english_51 IP-PPL-CAT n28_a_ks4_english_41->n28_a_ks4_english_51 n28_a_ks4_english_42->n28_a_ks4_english_43 n28_a_ks4_english_45 D n28_a_ks4_english_44->n28_a_ks4_english_45 n28_a_ks4_english_47 NS n28_a_ks4_english_44->n28_a_ks4_english_47 n28_a_ks4_english_45->n28_a_ks4_english_46 n28_a_ks4_english_47->n28_a_ks4_english_48 n28_a_ks4_english_49->n28_a_ks4_english_50 n28_a_ks4_english_52 NP-LGS n28_a_ks4_english_51->n28_a_ks4_english_52 n28_a_ks4_english_54 VVN;_Tn_ n28_a_ks4_english_51->n28_a_ks4_english_54 n28_a_ks4_english_56 PP-NIM n28_a_ks4_english_51->n28_a_ks4_english_56 n28_a_ks4_english_52->n28_a_ks4_english_53 n28_a_ks4_english_54->n28_a_ks4_english_55 n28_a_ks4_english_57 P-ROLE n28_a_ks4_english_56->n28_a_ks4_english_57 n28_a_ks4_english_59 NP n28_a_ks4_english_56->n28_a_ks4_english_59 n28_a_ks4_english_57->n28_a_ks4_english_58 n28_a_ks4_english_60 N n28_a_ks4_english_59->n28_a_ks4_english_60 n28_a_ks4_english_60->n28_a_ks4_english_61 n28_a_ks4_english_62->n28_a_ks4_english_63
( (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))