23_a_ks4_english
Opportunities for teachers to enhance pupils' vocabulary will arise naturally from their reading and writing.
arc(r_0023_0001__Opportunities, r_0023_0002__for_r_0023_0004__to_r_0023_0005__enhance, emb5).
arc(r_0023_0002__for_r_0023_0004__to_r_0023_0005__enhance, r_0023_0003__teachers, arg0).
arc(r_0023_0002__for_r_0023_0004__to_r_0023_0005__enhance, r_0023_0008__vocabulary, arg1).
arc(r_0023_0008__vocabulary, r_0023_0006__pupils_r_0023_0007___apos_, 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, nim28).
arc(r_0023_0010__arise, r_0023_0015__and, r_0023_0012__from_nim34).
arc(r_0023_0015__and, r_0023_0006__pupils_r_0023_0007___apos_, 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_23_9_WILL_ARISE,R_23_1_OPPORTUNITIES,R_23_2_FOR_TO_ENHANCE,R_23_3_TEACHERS,R_23_8_VOCABULARY,R_23_11_NATURALLY,R_23_15_AND,R_23_14_READING,R_23_16_WRITING,R_23_6_PUPILS_APOS_] :
( teachers(R_23_3_TEACHERS)
& naturally(R_23_11_NATURALLY)
& reading(R_23_14_READING)
& writing(R_23_16_WRITING)
& pupils_apos_(R_23_6_PUPILS_APOS_)
& will_arise(R_23_9_WILL_ARISE,R_23_1_OPPORTUNITIES)
& opportunities(R_23_1_OPPORTUNITIES)
& emb5(R_23_1_OPPORTUNITIES,R_23_2_FOR_TO_ENHANCE)
& for_to_enhance(R_23_2_FOR_TO_ENHANCE,R_23_3_TEACHERS,R_23_8_VOCABULARY)
& vocabulary(R_23_8_VOCABULARY)
& gen(R_23_8_VOCABULARY,R_23_6_PUPILS_APOS_)
& nim28(R_23_9_WILL_ARISE,R_23_11_NATURALLY)
& from_nim34(R_23_9_WILL_ARISE,R_23_15_AND)
& and(R_23_15_AND)
& conj1(R_23_15_AND,R_23_14_READING)
& conj2(R_23_15_AND,R_23_16_WRITING)
& gen(R_23_15_AND,R_23_6_PUPILS_APOS_) ) ).
( (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))