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_0023_0003__TEACHERS,R_0023_0006__PUPILS_R_0023_0007___APOS_,R_0023_0008__VOCABULARY,R_0023_0002__FOR_R_0023_0004__TO_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_0007___apos_(R_0023_0006__PUPILS_R_0023_0007___APOS_)
      & 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_nim34(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_R_0023_0007___APOS_)
      & has_nim28(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_emb5(R_0023_0001__OPPORTUNITIES,R_0023_0002__FOR_R_0023_0004__TO_R_0023_0005__ENHANCE)
      & r_0023_0002__for_r_0023_0004__to_r_0023_0005__enhance(R_0023_0002__FOR_R_0023_0004__TO_R_0023_0005__ENHANCE)
      & has_arg1(R_0023_0002__FOR_R_0023_0004__TO_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_R_0023_0007___APOS_)
      & has_arg0(R_0023_0002__FOR_R_0023_0004__TO_R_0023_0005__ENHANCE,R_0023_0003__TEACHERS) ) ).

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