TSPC 29_a_ks4

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

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

arc(r_0029_0002__should,r_0029_0003__build_r_0029_0004__on,scope).
arc(r_0029_0003__build_r_0029_0004__on,r_0029_0001__Teachers,arg0).
arc(r_0029_0003__build_r_0029_0004__on,r_0029_0005__the_r_0029_0006__knowledge_r_0029_0007__and_r_0029_0008__skills,arg1).
arc(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_0005__the_r_0029_0006__knowledge_r_0029_0007__and_r_0029_0008__skills,inv_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__nim).
arc(r_0029_0013__taught,z_0029_5009___star_,arg0).
arc(r_0029_0016__stage_r_0029_0017__3,r_0029_0015__key,attrib).

fof(formula,axiom,
    ? [R_0029_0001__TEACHERS,R_0029_0010__PUPILS,R_0029_0015__KEY,R_0029_0016__STAGE_R_0029_0017__3,Z_0029_5009___STAR_,R_0029_0011__HAVE_R_0029_0012__BEEN_R_0029_0013__TAUGHT,R_0029_0005__THE_R_0029_0006__KNOWLEDGE_R_0029_0007__AND_R_0029_0008__SKILLS,R_0029_0002__SHOULD_R_0029_0003__BUILD_R_0029_0004__ON] :
      ( r_0029_0001__Teachers(R_0029_0001__TEACHERS)
      & r_0029_0010__pupils(R_0029_0010__PUPILS)
      & r_0029_0015__key(R_0029_0015__KEY)
      & z_0029_5009___star_(Z_0029_5009___STAR_)
      & r_0029_0002__should_r_0029_0003__build_r_0029_0004__on(R_0029_0002__SHOULD_R_0029_0003__BUILD_R_0029_0004__ON)
      & has_arg1(R_0029_0002__SHOULD_R_0029_0003__BUILD_R_0029_0004__ON,R_0029_0005__THE_R_0029_0006__KNOWLEDGE_R_0029_0007__AND_R_0029_0008__SKILLS)
      & r_0029_0005__the_r_0029_0006__knowledge_r_0029_0007__and_r_0029_0008__skills(R_0029_0005__THE_R_0029_0006__KNOWLEDGE_R_0029_0007__AND_R_0029_0008__SKILLS)
      & has_inv_arg1(R_0029_0005__THE_R_0029_0006__KNOWLEDGE_R_0029_0007__AND_R_0029_0008__SKILLS,R_0029_0011__HAVE_R_0029_0012__BEEN_R_0029_0013__TAUGHT)
      & r_0029_0011__have_r_0029_0012__been_r_0029_0013__taught(R_0029_0011__HAVE_R_0029_0012__BEEN_R_0029_0013__TAUGHT)
      & has_arg0(R_0029_0011__HAVE_R_0029_0012__BEEN_R_0029_0013__TAUGHT,Z_0029_5009___STAR_)
      & has_r_0029_0014__at__nim(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_attrib(R_0029_0016__STAGE_R_0029_0017__3,R_0029_0015__KEY)
      & has_arg2(R_0029_0011__HAVE_R_0029_0012__BEEN_R_0029_0013__TAUGHT,R_0029_0010__PUPILS)
      & has_arg0(R_0029_0002__SHOULD_R_0029_0003__BUILD_R_0029_0004__ON,R_0029_0001__TEACHERS) ) ).