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_0029_0001__TEACHERS,R_0029_0006__KNOWLEDGE,R_0029_0008__SKILLS,R_0029_0007__AND,R_0029_0002__SHOULD_R_0029_0003__BUILD,R_0029_0010__PUPILS,R_0029_0015__KEY,R_0029_0016__STAGE_R_0029_0017__3,Z_000_29_A_KS4_ENGLISH_40,R_0029_0009__THAT_R_0029_0011__HAVE_R_0029_0012__BEEN_R_0029_0013__TAUGHT] :
      ( r_0029_0001__Teachers(R_0029_0001__TEACHERS)
      & r_0029_0006__knowledge(R_0029_0006__KNOWLEDGE)
      & r_0029_0008__skills(R_0029_0008__SKILLS)
      & r_0029_0010__pupils(R_0029_0010__PUPILS)
      & r_0029_0015__key(R_0029_0015__KEY)
      & z_000_29_a_ks4_english_40(Z_000_29_A_KS4_ENGLISH_40)
      & r_0029_0009__that_r_0029_0011__have_r_0029_0012__been_r_0029_0013__taught(R_0029_0009__THAT_R_0029_0011__HAVE_R_0029_0012__BEEN_R_0029_0013__TAUGHT)
      & has_arg0(R_0029_0009__THAT_R_0029_0011__HAVE_R_0029_0012__BEEN_R_0029_0013__TAUGHT,Z_000_29_A_KS4_ENGLISH_40)
      & has_r_0029_0014__at_nim47(R_0029_0009__THAT_R_0029_0011__HAVE_R_0029_0012__BEEN_R_0029_0013__TAUGHT,R_0029_0016__STAGE_R_0029_0017__3)
      & r_0029_0016__stage_r_0029_0017__3(R_0029_0016__STAGE_R_0029_0017__3)
      & has_attrib48(R_0029_0016__STAGE_R_0029_0017__3,R_0029_0015__KEY)
      & has_arg2(R_0029_0009__THAT_R_0029_0011__HAVE_R_0029_0012__BEEN_R_0029_0013__TAUGHT,R_0029_0010__PUPILS)
      & has_arg1(R_0029_0009__THAT_R_0029_0011__HAVE_R_0029_0012__BEEN_R_0029_0013__TAUGHT,R_0029_0007__AND)
      & r_0029_0007__and(R_0029_0007__AND)
      & has_conj2(R_0029_0007__AND,R_0029_0008__SKILLS)
      & has_conj1(R_0029_0007__AND,R_0029_0006__KNOWLEDGE)
      & r_0029_0002__should_r_0029_0003__build(R_0029_0002__SHOULD_R_0029_0003__BUILD)
      & has_r_0029_0004__on_clr13(R_0029_0002__SHOULD_R_0029_0003__BUILD,R_0029_0007__AND)
      & has_arg0(R_0029_0002__SHOULD_R_0029_0003__BUILD,R_0029_0001__TEACHERS) ) ).


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))