Context                Previous, Next                Top


29_a_ks4_english
Teachers should build on the knowledge and skills that pupils have been taught at key stage 3.

%3 r_0029_0002__should should r_0029_0003__build build r_0029_0002__should->r_0029_0003__build [scope] r_0029_0001__Teachers Teachers r_0029_0003__build->r_0029_0001__Teachers [arg0] r_0029_0007__and and r_0029_0003__build->r_0029_0007__and on [clr] r_0029_0006__knowledge knowledge r_0029_0007__and->r_0029_0006__knowledge [conj1] r_0029_0008__skills skills r_0029_0007__and->r_0029_0008__skills [conj2] r_0029_0009__that_r_0029_0011__have that have r_0029_0012__been been r_0029_0009__that_r_0029_0011__have->r_0029_0012__been [scope] r_0029_0013__taught taught r_0029_0012__been->r_0029_0013__taught [scope] r_0029_0013__taught->r_0029_0007__and [arg1] r_0029_0010__pupils pupils r_0029_0013__taught->r_0029_0010__pupils [arg2] r_0029_0016__stage_r_0029_0017__3 stage 3 r_0029_0013__taught->r_0029_0016__stage_r_0029_0017__3 at [nim] z_000_29_a_ks4_english_40 r_0029_0013__taught->z_000_29_a_ks4_english_40 [arg0] r_0029_0015__key key r_0029_0016__stage_r_0029_0017__3->r_0029_0015__key [attrib] 
arc(r_0029_0002__should, r_0029_0003__build, scope).
arc(r_0029_0003__build, r_0029_0001__Teachers, arg0).
arc(r_0029_0003__build, r_0029_0007__and, r_0029_0004__on_clr13).
arc(r_0029_0007__and, r_0029_0006__knowledge, conj1).
arc(r_0029_0007__and, r_0029_0008__skills, conj2).
arc(r_0029_0009__that_r_0029_0011__have, r_0029_0012__been, scope).
arc(r_0029_0012__been, r_0029_0013__taught, scope).
arc(r_0029_0013__taught, r_0029_0007__and, arg1).
arc(r_0029_0013__taught, r_0029_0010__pupils, arg2).
arc(r_0029_0013__taught, r_0029_0016__stage_r_0029_0017__3, r_0029_0014__at_nim47).
arc(r_0029_0013__taught, z_000_29_a_ks4_english_40, arg0).
arc(r_0029_0016__stage_r_0029_0017__3, r_0029_0015__key, attrib48).


%3 r_0029_0016__stage_r_0029_0017__3 stage 3 r_0029_0015__key key r_0029_0016__stage_r_0029_0017__3->r_0029_0015__key [attrib] r_0029_0009__that_r_0029_0011__have_r_0029_0012__been_r_0029_0013__taught that have been taught r_0029_0009__that_r_0029_0011__have_r_0029_0012__been_r_0029_0013__taught->r_0029_0016__stage_r_0029_0017__3 at [nim] z_000_29_a_ks4_english_40 r_0029_0009__that_r_0029_0011__have_r_0029_0012__been_r_0029_0013__taught->z_000_29_a_ks4_english_40 [arg0] r_0029_0010__pupils pupils r_0029_0009__that_r_0029_0011__have_r_0029_0012__been_r_0029_0013__taught->r_0029_0010__pupils [arg2] r_0029_0007__and and r_0029_0009__that_r_0029_0011__have_r_0029_0012__been_r_0029_0013__taught->r_0029_0007__and [arg1] r_0029_0008__skills skills r_0029_0007__and->r_0029_0008__skills [conj2] r_0029_0006__knowledge knowledge r_0029_0007__and->r_0029_0006__knowledge [conj1] r_0029_0002__should_r_0029_0003__build should build r_0029_0002__should_r_0029_0003__build->r_0029_0007__and on [clr] r_0029_0001__Teachers Teachers r_0029_0002__should_r_0029_0003__build->r_0029_0001__Teachers [arg0] 
fof(formula,axiom,
    ? [R_29_2_SHOULD_BUILD,R_29_1_TEACHERS,R_29_9_THAT_HAVE_BEEN_TAUGHT,Z_29_A_KS4_ENGLISH_40,R_29_7_AND,R_29_6_KNOWLEDGE,R_29_8_SKILLS,R_29_10_PUPILS,R_29_16_STAGE_3,R_29_15_KEY] :
      ( teachers(R_29_1_TEACHERS)
      & knowledge(R_29_6_KNOWLEDGE)
      & skills(R_29_8_SKILLS)
      & pupils(R_29_10_PUPILS)
      & key(R_29_15_KEY)
      & should_build(R_29_2_SHOULD_BUILD,R_29_1_TEACHERS)
      & on_clr13(R_29_2_SHOULD_BUILD,R_29_7_AND)
      & and(R_29_7_AND)
      & conj1(R_29_7_AND,R_29_6_KNOWLEDGE)
      & conj2(R_29_7_AND,R_29_8_SKILLS)
      & that_have_been_taught(R_29_9_THAT_HAVE_BEEN_TAUGHT,Z_29_A_KS4_ENGLISH_40,R_29_7_AND,R_29_10_PUPILS)
      & at_nim47(R_29_9_THAT_HAVE_BEEN_TAUGHT,R_29_16_STAGE_3)
      & stage_3(R_29_16_STAGE_3)
      & attrib48(R_29_16_STAGE_3,R_29_15_KEY) ) ).


n29_a_ks4_english n29_a_ks4_english__1_1_1_1 Teachers n29_a_ks4_english__1_2_1 should n29_a_ks4_english__1_3_1_1 build n29_a_ks4_english__1_3_2_1_1 on n29_a_ks4_english__1_3_2_2_1_1 the n29_a_ks4_english__1_3_2_2_2_1_1_1 knowledge n29_a_ks4_english__1_3_2_2_2_2_1_1 and n29_a_ks4_english__1_3_2_2_2_2_2_1_1 skills n29_a_ks4_english__1_3_2_2_3_1_1 that n29_a_ks4_english__1_3_2_2_3_2_1_1 pupils n29_a_ks4_english__1_3_2_2_3_3_1 have n29_a_ks4_english__1_3_2_2_3_4_1_1 been n29_a_ks4_english__1_3_2_2_3_4_2_1_1 *T* n29_a_ks4_english__1_3_2_2_3_4_2_2_1 * n29_a_ks4_english__1_3_2_2_3_4_2_3_1 taught n29_a_ks4_english__1_3_2_2_3_4_2_4_1_1 at n29_a_ks4_english__1_3_2_2_3_4_2_4_2_1_1_1 key n29_a_ks4_english__1_3_2_2_3_4_2_4_2_2_1 stage n29_a_ks4_english__1_3_2_2_3_4_2_4_2_3_1 3 n29_a_ks4_english__1_4_1 . n29_a_ks4_english__1 IP-MAT n29_a_ks4_english__1_1 NP-SBJ n29_a_ks4_english__1->n29_a_ks4_english__1_1 n29_a_ks4_english__1_2 MD;_cat_Vi_ n29_a_ks4_english__1->n29_a_ks4_english__1_2 n29_a_ks4_english__1_3 IP-INF-CAT n29_a_ks4_english__1->n29_a_ks4_english__1_3 n29_a_ks4_english__1_4 PUNC n29_a_ks4_english__1->n29_a_ks4_english__1_4 n29_a_ks4_english__1_1_1 NS n29_a_ks4_english__1_1->n29_a_ks4_english__1_1_1 n29_a_ks4_english__1_1_1->n29_a_ks4_english__1_1_1_1 n29_a_ks4_english__1_2->n29_a_ks4_english__1_2_1 n29_a_ks4_english__1_3_1 VB;_Ipr_ n29_a_ks4_english__1_3->n29_a_ks4_english__1_3_1 n29_a_ks4_english__1_3_2 PP-CLR n29_a_ks4_english__1_3->n29_a_ks4_english__1_3_2 n29_a_ks4_english__1_3_1->n29_a_ks4_english__1_3_1_1 n29_a_ks4_english__1_3_2_1 P-ROLE n29_a_ks4_english__1_3_2->n29_a_ks4_english__1_3_2_1 n29_a_ks4_english__1_3_2_2 NP n29_a_ks4_english__1_3_2->n29_a_ks4_english__1_3_2_2 n29_a_ks4_english__1_3_2_1->n29_a_ks4_english__1_3_2_1_1 n29_a_ks4_english__1_3_2_2_1 D n29_a_ks4_english__1_3_2_2->n29_a_ks4_english__1_3_2_2_1 n29_a_ks4_english__1_3_2_2_2 NLYR n29_a_ks4_english__1_3_2_2->n29_a_ks4_english__1_3_2_2_2 n29_a_ks4_english__1_3_2_2_3 IP-REL n29_a_ks4_english__1_3_2_2->n29_a_ks4_english__1_3_2_2_3 n29_a_ks4_english__1_3_2_2_1->n29_a_ks4_english__1_3_2_2_1_1 n29_a_ks4_english__1_3_2_2_2_1 NLYR n29_a_ks4_english__1_3_2_2_2->n29_a_ks4_english__1_3_2_2_2_1 n29_a_ks4_english__1_3_2_2_2_2 CONJP n29_a_ks4_english__1_3_2_2_2->n29_a_ks4_english__1_3_2_2_2_2 n29_a_ks4_english__1_3_2_2_2_1_1 N n29_a_ks4_english__1_3_2_2_2_1->n29_a_ks4_english__1_3_2_2_2_1_1 n29_a_ks4_english__1_3_2_2_2_1_1->n29_a_ks4_english__1_3_2_2_2_1_1_1 n29_a_ks4_english__1_3_2_2_2_2_1 CONJ n29_a_ks4_english__1_3_2_2_2_2->n29_a_ks4_english__1_3_2_2_2_2_1 n29_a_ks4_english__1_3_2_2_2_2_2 NLYR n29_a_ks4_english__1_3_2_2_2_2->n29_a_ks4_english__1_3_2_2_2_2_2 n29_a_ks4_english__1_3_2_2_2_2_1->n29_a_ks4_english__1_3_2_2_2_2_1_1 n29_a_ks4_english__1_3_2_2_2_2_2_1 NS n29_a_ks4_english__1_3_2_2_2_2_2->n29_a_ks4_english__1_3_2_2_2_2_2_1 n29_a_ks4_english__1_3_2_2_2_2_2_1->n29_a_ks4_english__1_3_2_2_2_2_2_1_1 n29_a_ks4_english__1_3_2_2_3_1 C n29_a_ks4_english__1_3_2_2_3->n29_a_ks4_english__1_3_2_2_3_1 n29_a_ks4_english__1_3_2_2_3_2 NP-SBJ n29_a_ks4_english__1_3_2_2_3->n29_a_ks4_english__1_3_2_2_3_2 n29_a_ks4_english__1_3_2_2_3_3 HVP;_cat_Ve_ n29_a_ks4_english__1_3_2_2_3->n29_a_ks4_english__1_3_2_2_3_3 n29_a_ks4_english__1_3_2_2_3_4 IP-PPL-CAT n29_a_ks4_english__1_3_2_2_3->n29_a_ks4_english__1_3_2_2_3_4 n29_a_ks4_english__1_3_2_2_3_1->n29_a_ks4_english__1_3_2_2_3_1_1 n29_a_ks4_english__1_3_2_2_3_2_1 NS n29_a_ks4_english__1_3_2_2_3_2->n29_a_ks4_english__1_3_2_2_3_2_1 n29_a_ks4_english__1_3_2_2_3_2_1->n29_a_ks4_english__1_3_2_2_3_2_1_1 n29_a_ks4_english__1_3_2_2_3_3->n29_a_ks4_english__1_3_2_2_3_3_1 n29_a_ks4_english__1_3_2_2_3_4_1 BEN;_cat_VePASS_ n29_a_ks4_english__1_3_2_2_3_4->n29_a_ks4_english__1_3_2_2_3_4_1 n29_a_ks4_english__1_3_2_2_3_4_2 IP-PPL-CAT n29_a_ks4_english__1_3_2_2_3_4->n29_a_ks4_english__1_3_2_2_3_4_2 n29_a_ks4_english__1_3_2_2_3_4_1->n29_a_ks4_english__1_3_2_2_3_4_1_1 n29_a_ks4_english__1_3_2_2_3_4_2_1 NP-OB1 n29_a_ks4_english__1_3_2_2_3_4_2->n29_a_ks4_english__1_3_2_2_3_4_2_1 n29_a_ks4_english__1_3_2_2_3_4_2_2 NP-LGS n29_a_ks4_english__1_3_2_2_3_4_2->n29_a_ks4_english__1_3_2_2_3_4_2_2 n29_a_ks4_english__1_3_2_2_3_4_2_3 VVN;_Tn_ n29_a_ks4_english__1_3_2_2_3_4_2->n29_a_ks4_english__1_3_2_2_3_4_2_3 n29_a_ks4_english__1_3_2_2_3_4_2_4 PP-NIM n29_a_ks4_english__1_3_2_2_3_4_2->n29_a_ks4_english__1_3_2_2_3_4_2_4 n29_a_ks4_english__1_3_2_2_3_4_2_1->n29_a_ks4_english__1_3_2_2_3_4_2_1_1 n29_a_ks4_english__1_3_2_2_3_4_2_2->n29_a_ks4_english__1_3_2_2_3_4_2_2_1 n29_a_ks4_english__1_3_2_2_3_4_2_3->n29_a_ks4_english__1_3_2_2_3_4_2_3_1 n29_a_ks4_english__1_3_2_2_3_4_2_4_1 P-ROLE n29_a_ks4_english__1_3_2_2_3_4_2_4->n29_a_ks4_english__1_3_2_2_3_4_2_4_1 n29_a_ks4_english__1_3_2_2_3_4_2_4_2 NP n29_a_ks4_english__1_3_2_2_3_4_2_4->n29_a_ks4_english__1_3_2_2_3_4_2_4_2 n29_a_ks4_english__1_3_2_2_3_4_2_4_1->n29_a_ks4_english__1_3_2_2_3_4_2_4_1_1 n29_a_ks4_english__1_3_2_2_3_4_2_4_2_1 ADJP n29_a_ks4_english__1_3_2_2_3_4_2_4_2->n29_a_ks4_english__1_3_2_2_3_4_2_4_2_1 n29_a_ks4_english__1_3_2_2_3_4_2_4_2_2 N n29_a_ks4_english__1_3_2_2_3_4_2_4_2->n29_a_ks4_english__1_3_2_2_3_4_2_4_2_2 n29_a_ks4_english__1_3_2_2_3_4_2_4_2_3 NUM n29_a_ks4_english__1_3_2_2_3_4_2_4_2->n29_a_ks4_english__1_3_2_2_3_4_2_4_2_3 n29_a_ks4_english__1_3_2_2_3_4_2_4_2_1_1 ADJ n29_a_ks4_english__1_3_2_2_3_4_2_4_2_1->n29_a_ks4_english__1_3_2_2_3_4_2_4_2_1_1 n29_a_ks4_english__1_3_2_2_3_4_2_4_2_1_1->n29_a_ks4_english__1_3_2_2_3_4_2_4_2_1_1_1 n29_a_ks4_english__1_3_2_2_3_4_2_4_2_2->n29_a_ks4_english__1_3_2_2_3_4_2_4_2_2_1 n29_a_ks4_english__1_3_2_2_3_4_2_4_2_3->n29_a_ks4_english__1_3_2_2_3_4_2_4_2_3_1 n29_a_ks4_english__1_4->n29_a_ks4_english__1_4_1 
( (IP-MAT (NP-SBJ (NS Teachers;{teacher}))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (VB;_Ipr_ build;{build[on]})
                      (PP-CLR (P-ROLE on;{on})
                              (NP (D the;{the})
                                  (NLYR (NLYR (N knowledge;{knowledge}))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (NS skills;{skill}))))
                                  (IP-REL (C that;{that})
                                          (NP-SBJ;{PUPILS} (NS pupils;{pupil}))
                                          (HVP;_cat_Ve_ have;{have})
                                          (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                                      (IP-PPL-CAT (NP-OB1 *T*)
                                                                  (NP-LGS *)
                                                                  (VVN;_Tn_ taught;{teach})
                                                                  (PP-NIM (P-ROLE at;{at})
                                                                          (NP (ADJP (ADJ key;{key}))
                                                                              (N stage;{stage})
                                                                              (NUM 3)))))))))
          (PUNC .))
  (ID 29_a_ks4_english))