TSPC 57_a_alresford

57_a_alresford
Some students became keen enough for me to enter them as external candidates for the Guildhall School of Music and Drama exams, among them the Firths, who lived in Grange Road.

arc(r_0057_0003__became, r_0057_0001__Some_r_0057_0002__students, arg0).
arc(r_0057_0003__became, r_0057_0004__keen, prd).
arc(r_0057_0004__keen, r_0057_0005__enough, qual14).
arc(r_0057_0005__enough, r_0057_0006__for_r_0057_0008__to_r_0057_0009__enter, emb17).
arc(r_0057_0006__for_r_0057_0008__to_r_0057_0009__enter, r_0057_0001__Some_r_0057_0002__students, arg1).
arc(r_0057_0006__for_r_0057_0008__to_r_0057_0009__enter, r_0057_0007__me, arg0).
arc(r_0057_0006__for_r_0057_0008__to_r_0057_0009__enter, r_0057_0013__candidates, prd).
arc(r_0057_0013__candidates, r_0057_0012__external, attrib34).
arc(r_0057_0013__candidates, r_0057_0015__the_r_0057_0016__Guildhall_r_0057_0017__School_r_0057_0022__exams, r_0057_0014__for).
arc(r_0057_0015__the_r_0057_0016__Guildhall_r_0057_0017__School_r_0057_0022__exams, r_0057_0020__and, r_0057_0018__of).
arc(r_0057_0020__and, r_0057_0019__Music, conj1).
arc(r_0057_0020__and, r_0057_0021__Drama, conj2).
arc(r_0057_0030__lived, r_0057_0026__the_r_0057_0027__Firths, arg0).
arc(r_0057_0030__lived, r_0057_0032__Grange_r_0057_0033__Road, r_0057_0031__in_clr91).
arc(z_000_57_a_alresford_2, r_0057_0003__became, conj1).
arc(z_000_57_a_alresford_2, z_000_57_a_alresford_68, conj2).
arc(z_000_57_a_alresford_68, r_0057_0001__Some_r_0057_0002__students, r_0057_0024__among_nim72).
arc(z_000_57_a_alresford_68, r_0057_0026__the_r_0057_0027__Firths, arg0).

fof(formula,axiom,
    ? [R_0057_0026__THE_R_0057_0027__FIRTHS,R_0057_0032__GRANGE_R_0057_0033__ROAD,R_0057_0030__LIVED,R_0057_0001__SOME_R_0057_0002__STUDENTS,R_0057_0007__ME,R_0057_0012__EXTERNAL,R_0057_0019__MUSIC,R_0057_0021__DRAMA,R_0057_0020__AND,R_0057_0015__THE_R_0057_0016__GUILDHALL_R_0057_0017__SCHOOL_R_0057_0022__EXAMS,R_0057_0013__CANDIDATES,R_0057_0006__FOR_R_0057_0008__TO_R_0057_0009__ENTER,R_0057_0005__ENOUGH,R_0057_0004__KEEN,R_0057_0003__BECAME,Z_000_57_A_ALRESFORD_68,Z_000_57_A_ALRESFORD_2] :
      ( r_0057_0001__Some_r_0057_0002__students(R_0057_0001__SOME_R_0057_0002__STUDENTS)
      & r_0057_0007__me(R_0057_0007__ME)
      & r_0057_0012__external(R_0057_0012__EXTERNAL)
      & r_0057_0019__Music(R_0057_0019__MUSIC)
      & r_0057_0021__Drama(R_0057_0021__DRAMA)
      & r_0057_0026__the_r_0057_0027__Firths(R_0057_0026__THE_R_0057_0027__FIRTHS)
      & r_0057_0032__Grange_r_0057_0033__Road(R_0057_0032__GRANGE_R_0057_0033__ROAD)
      & z_000_57_a_alresford_2(Z_000_57_A_ALRESFORD_2)
      & has_conj2(Z_000_57_A_ALRESFORD_2,Z_000_57_A_ALRESFORD_68)
      & z_000_57_a_alresford_68(Z_000_57_A_ALRESFORD_68)
      & has_arg0(Z_000_57_A_ALRESFORD_68,R_0057_0026__THE_R_0057_0027__FIRTHS)
      & has_r_0057_0024__among_nim72(Z_000_57_A_ALRESFORD_68,R_0057_0001__SOME_R_0057_0002__STUDENTS)
      & has_conj1(Z_000_57_A_ALRESFORD_2,R_0057_0003__BECAME)
      & r_0057_0003__became(R_0057_0003__BECAME)
      & has_prd(R_0057_0003__BECAME,R_0057_0004__KEEN)
      & r_0057_0004__keen(R_0057_0004__KEEN)
      & has_qual14(R_0057_0004__KEEN,R_0057_0005__ENOUGH)
      & r_0057_0005__enough(R_0057_0005__ENOUGH)
      & has_emb17(R_0057_0005__ENOUGH,R_0057_0006__FOR_R_0057_0008__TO_R_0057_0009__ENTER)
      & r_0057_0006__for_r_0057_0008__to_r_0057_0009__enter(R_0057_0006__FOR_R_0057_0008__TO_R_0057_0009__ENTER)
      & has_prd(R_0057_0006__FOR_R_0057_0008__TO_R_0057_0009__ENTER,R_0057_0013__CANDIDATES)
      & r_0057_0013__candidates(R_0057_0013__CANDIDATES)
      & has_r_0057_0014__for(R_0057_0013__CANDIDATES,R_0057_0015__THE_R_0057_0016__GUILDHALL_R_0057_0017__SCHOOL_R_0057_0022__EXAMS)
      & r_0057_0015__the_r_0057_0016__Guildhall_r_0057_0017__School_r_0057_0022__exams(R_0057_0015__THE_R_0057_0016__GUILDHALL_R_0057_0017__SCHOOL_R_0057_0022__EXAMS)
      & has_r_0057_0018__of(R_0057_0015__THE_R_0057_0016__GUILDHALL_R_0057_0017__SCHOOL_R_0057_0022__EXAMS,R_0057_0020__AND)
      & r_0057_0020__and(R_0057_0020__AND)
      & has_conj2(R_0057_0020__AND,R_0057_0021__DRAMA)
      & has_conj1(R_0057_0020__AND,R_0057_0019__MUSIC)
      & has_attrib34(R_0057_0013__CANDIDATES,R_0057_0012__EXTERNAL)
      & has_arg0(R_0057_0006__FOR_R_0057_0008__TO_R_0057_0009__ENTER,R_0057_0007__ME)
      & has_arg1(R_0057_0006__FOR_R_0057_0008__TO_R_0057_0009__ENTER,R_0057_0001__SOME_R_0057_0002__STUDENTS)
      & has_arg0(R_0057_0003__BECAME,R_0057_0001__SOME_R_0057_0002__STUDENTS)
      & r_0057_0030__lived(R_0057_0030__LIVED)
      & has_r_0057_0031__in_clr91(R_0057_0030__LIVED,R_0057_0032__GRANGE_R_0057_0033__ROAD)
      & has_arg0(R_0057_0030__LIVED,R_0057_0026__THE_R_0057_0027__FIRTHS) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{STUDENTS} (D Some;{some})
                                         (NS students;{student}))
                      (VBD;_La_ became;{become})
                      (ADJP-PRD (ADJ keen;{keen})
                                (ADVP (ADV enough;{enough})
                                      (IP-INF (P-CONN for;{for})
                                              (NP-SBJ (PRO me;{I}))
                                              (TO to;{to})
                                              (VB;_Cn.n/a_ enter;{enter[as]})
                                              (NP-OB1;{STUDENTS} (PRO them;{they}))
                                              (PP-PRD (P-ROLE as;{as})
                                                      (NP (ADJP (ADJ external;{external}))
                                                          (NS candidates;{candidate})
                                                          (PP (P-ROLE for;{for})
                                                              (NP (D the;{the})
                                                                  (NPR Guildhall;{Guildhall})
                                                                  (NPR School;{School})
                                                                  (PP (P-ROLE of;{of})
                                                                      (NP (NLYR (NLYR (NPR Music;{Music}))
                                                                                (CONJP (CONJ and;{and})
                                                                                       (NLYR (NPR Drama;{Drama}))))))
                                                                  (NS exams;{exam})))))))))
                (PUNC ,)
                (CONJP (ILYR (PP-TPC-NIM (P-ROLE among;{among})
                                         (NP;{STUDENTS} (PRO them;{they})))
                             (NP-ESBJ (D the;{the})
                                      (NPRS Firths;{Firths})
                                      (PUNC ,)
                                      (IP-REL (NP-SBJ (RPRO who;{who}))
                                              (VBD;_Ipr_ lived;{live[in]})
                                              (PP-CLR (P-ROLE in;{in})
                                                      (NP (NPR Grange;{Grange})
                                                          (NPR Road;{Road}))))))))
          (PUNC .))
  (ID 57_a_alresford))