TSPC 23_a_ks4

23_a_ks4_english
Opportunities for teachers to enhance pupils' vocabulary will arise naturally from their reading and writing.

( (IP-MAT (NP-SBJ (NS Opportunities;{opportunity})
                  (IP-INF (P-CONN for;{for})
                          (NP-SBJ (NS teachers;{teacher}))
                          (TO to;{to})
                          (VB;_Tn_ enhance;{enhance})
                          (NP-OB1 (NP-GEN;{PUPILS} (NS pupils;{pupil})
                                                   (GENM <apos>))
                                  (N vocabulary;{vocabulary}))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_I_ arise;{arise})
                      (ADVP-NIM (ADV naturally;{naturally}))
                      (PP-NIM (P-ROLE from;{from})
                              (NP (NP-GEN;{PUPILS} (PRO;_genm_ their;{their}))
                                  (NLYR (NLYR (N reading;{reading}))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (N writing;{writing})))))))
          (PUNC .))
  (ID 23_a_ks4_english))

arc(r_0023_0001__Opportunities,r_0023_0005__enhance,emb).
arc(r_0023_0005__enhance,r_0023_0003__teachers,arg0).
arc(r_0023_0005__enhance,r_0023_0008__vocabulary,arg1).
arc(r_0023_0008__vocabulary,r_0023_0006__pupils,gen).
arc(r_0023_0009__will,r_0023_0010__arise,scope).
arc(r_0023_0010__arise,r_0023_0001__Opportunities,arg0).
arc(r_0023_0010__arise,r_0023_0011__naturally,nim).
arc(r_0023_0010__arise,r_0023_0015__and,r_0023_0012__from__nim).
arc(r_0023_0015__and,r_0023_0006__pupils,gen).
arc(r_0023_0015__and,r_0023_0014__reading,conj1).
arc(r_0023_0015__and,r_0023_0016__writing,conj2).

fof(formula,axiom,
    ? [R_0023_0003__TEACHERS,R_0023_0006__PUPILS,R_0023_0008__VOCABULARY,R_0023_0005__ENHANCE,R_0023_0001__OPPORTUNITIES,R_0023_0011__NATURALLY,R_0023_0014__READING,R_0023_0016__WRITING,R_0023_0015__AND,R_0023_0009__WILL_R_0023_0010__ARISE] :
      ( r_0023_0003__teachers(R_0023_0003__TEACHERS)
      & r_0023_0006__pupils(R_0023_0006__PUPILS)
      & r_0023_0011__naturally(R_0023_0011__NATURALLY)
      & r_0023_0014__reading(R_0023_0014__READING)
      & r_0023_0016__writing(R_0023_0016__WRITING)
      & r_0023_0009__will_r_0023_0010__arise(R_0023_0009__WILL_R_0023_0010__ARISE)
      & has_r_0023_0012__from__nim(R_0023_0009__WILL_R_0023_0010__ARISE,R_0023_0015__AND)
      & r_0023_0015__and(R_0023_0015__AND)
      & has_conj2(R_0023_0015__AND,R_0023_0016__WRITING)
      & has_conj1(R_0023_0015__AND,R_0023_0014__READING)
      & has_gen(R_0023_0015__AND,R_0023_0006__PUPILS)
      & has_nim(R_0023_0009__WILL_R_0023_0010__ARISE,R_0023_0011__NATURALLY)
      & has_arg0(R_0023_0009__WILL_R_0023_0010__ARISE,R_0023_0001__OPPORTUNITIES)
      & r_0023_0001__Opportunities(R_0023_0001__OPPORTUNITIES)
      & has_emb(R_0023_0001__OPPORTUNITIES,R_0023_0005__ENHANCE)
      & r_0023_0005__enhance(R_0023_0005__ENHANCE)
      & has_arg1(R_0023_0005__ENHANCE,R_0023_0008__VOCABULARY)
      & r_0023_0008__vocabulary(R_0023_0008__VOCABULARY)
      & has_gen(R_0023_0008__VOCABULARY,R_0023_0006__PUPILS)
      & has_arg0(R_0023_0005__ENHANCE,R_0023_0003__TEACHERS) ) ).