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_0002__should_r_0029_0003__build should build r_0029_0001__Teachers Teachers r_0029_0002__should_r_0029_0003__build->r_0029_0001__Teachers [arg0] r_0029_0007__and and r_0029_0002__should_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_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_0007__and [arg1] 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_0016__stage_r_0029_0017__3 stage 3 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_0015__key key r_0029_0016__stage_r_0029_0017__3->r_0029_0015__key [attrib] 
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_4 Teachers n29_a_ks4_english_6 should n29_a_ks4_english_9 build n29_a_ks4_english_12 on n29_a_ks4_english_15 the n29_a_ks4_english_19 knowledge n29_a_ks4_english_22 and n29_a_ks4_english_25 skills n29_a_ks4_english_28 that n29_a_ks4_english_31 pupils n29_a_ks4_english_33 have n29_a_ks4_english_36 been n29_a_ks4_english_41 * n29_a_ks4_english_43 taught n29_a_ks4_english_46 at n29_a_ks4_english_50 key n29_a_ks4_english_52 stage n29_a_ks4_english_54 3 n29_a_ks4_english_56 . n29_a_ks4_english_1 IP-MAT n29_a_ks4_english_2 NP-SBJ n29_a_ks4_english_1->n29_a_ks4_english_2 n29_a_ks4_english_5 MD;_cat_Vi_ n29_a_ks4_english_1->n29_a_ks4_english_5 n29_a_ks4_english_7 IP-INF-CAT n29_a_ks4_english_1->n29_a_ks4_english_7 n29_a_ks4_english_55 PUNC n29_a_ks4_english_1->n29_a_ks4_english_55 n29_a_ks4_english_3 NS n29_a_ks4_english_2->n29_a_ks4_english_3 n29_a_ks4_english_3->n29_a_ks4_english_4 n29_a_ks4_english_5->n29_a_ks4_english_6 n29_a_ks4_english_8 VB;_Ipr_ n29_a_ks4_english_7->n29_a_ks4_english_8 n29_a_ks4_english_10 PP-CLR n29_a_ks4_english_7->n29_a_ks4_english_10 n29_a_ks4_english_8->n29_a_ks4_english_9 n29_a_ks4_english_11 P-ROLE n29_a_ks4_english_10->n29_a_ks4_english_11 n29_a_ks4_english_13 NP n29_a_ks4_english_10->n29_a_ks4_english_13 n29_a_ks4_english_11->n29_a_ks4_english_12 n29_a_ks4_english_14 D n29_a_ks4_english_13->n29_a_ks4_english_14 n29_a_ks4_english_16 NLYR n29_a_ks4_english_13->n29_a_ks4_english_16 n29_a_ks4_english_26 IP-REL n29_a_ks4_english_13->n29_a_ks4_english_26 n29_a_ks4_english_14->n29_a_ks4_english_15 n29_a_ks4_english_17 NLYR n29_a_ks4_english_16->n29_a_ks4_english_17 n29_a_ks4_english_20 CONJP n29_a_ks4_english_16->n29_a_ks4_english_20 n29_a_ks4_english_18 N n29_a_ks4_english_17->n29_a_ks4_english_18 n29_a_ks4_english_18->n29_a_ks4_english_19 n29_a_ks4_english_21 CONJ n29_a_ks4_english_20->n29_a_ks4_english_21 n29_a_ks4_english_23 NLYR n29_a_ks4_english_20->n29_a_ks4_english_23 n29_a_ks4_english_21->n29_a_ks4_english_22 n29_a_ks4_english_24 NS n29_a_ks4_english_23->n29_a_ks4_english_24 n29_a_ks4_english_24->n29_a_ks4_english_25 n29_a_ks4_english_27 C n29_a_ks4_english_26->n29_a_ks4_english_27 n29_a_ks4_english_29 NP-SBJ n29_a_ks4_english_26->n29_a_ks4_english_29 n29_a_ks4_english_32 HVP;_cat_Ve_ n29_a_ks4_english_26->n29_a_ks4_english_32 n29_a_ks4_english_34 IP-PPL-CAT n29_a_ks4_english_26->n29_a_ks4_english_34 n29_a_ks4_english_27->n29_a_ks4_english_28 n29_a_ks4_english_30 NS n29_a_ks4_english_29->n29_a_ks4_english_30 n29_a_ks4_english_30->n29_a_ks4_english_31 n29_a_ks4_english_32->n29_a_ks4_english_33 n29_a_ks4_english_35 BEN;_cat_VePASS_ n29_a_ks4_english_34->n29_a_ks4_english_35 n29_a_ks4_english_37 IP-PPL-CAT n29_a_ks4_english_34->n29_a_ks4_english_37 n29_a_ks4_english_35->n29_a_ks4_english_36 n29_a_ks4_english_38 NP-OB1 n29_a_ks4_english_37->n29_a_ks4_english_38 n29_a_ks4_english_40 NP-LGS n29_a_ks4_english_37->n29_a_ks4_english_40 n29_a_ks4_english_42 VVN;_Tn_ n29_a_ks4_english_37->n29_a_ks4_english_42 n29_a_ks4_english_44 PP-NIM n29_a_ks4_english_37->n29_a_ks4_english_44 n29_a_ks4_english_39 *T* n29_a_ks4_english_38->n29_a_ks4_english_39 n29_a_ks4_english_40->n29_a_ks4_english_41 n29_a_ks4_english_42->n29_a_ks4_english_43 n29_a_ks4_english_45 P-ROLE n29_a_ks4_english_44->n29_a_ks4_english_45 n29_a_ks4_english_47 NP n29_a_ks4_english_44->n29_a_ks4_english_47 n29_a_ks4_english_45->n29_a_ks4_english_46 n29_a_ks4_english_48 ADJP n29_a_ks4_english_47->n29_a_ks4_english_48 n29_a_ks4_english_51 N n29_a_ks4_english_47->n29_a_ks4_english_51 n29_a_ks4_english_53 NUM n29_a_ks4_english_47->n29_a_ks4_english_53 n29_a_ks4_english_49 ADJ n29_a_ks4_english_48->n29_a_ks4_english_49 n29_a_ks4_english_49->n29_a_ks4_english_50 n29_a_ks4_english_51->n29_a_ks4_english_52 n29_a_ks4_english_53->n29_a_ks4_english_54 n29_a_ks4_english_55->n29_a_ks4_english_56 
( (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))