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_57_30_LIVED,R_57_32_GRANGE_ROAD,Z_57_A_ALRESFORD_2,R_57_3_BECAME,R_57_4_KEEN,R_57_5_ENOUGH,R_57_6_FOR_TO_ENTER,R_57_7_ME,R_57_13_CANDIDATES,R_57_12_EXTERNAL,R_57_15_THE_GUILDHALL_SCHOOL_EXAMS,R_57_20_AND,R_57_19_MUSIC,R_57_21_DRAMA,Z_57_A_ALRESFORD_68,R_57_26_THE_FIRTHS,R_57_1_SOME_STUDENTS] :
      ( grange_Road(R_57_32_GRANGE_ROAD)
      & me(R_57_7_ME)
      & external(R_57_12_EXTERNAL)
      & music(R_57_19_MUSIC)
      & drama(R_57_21_DRAMA)
      & the_Firths(R_57_26_THE_FIRTHS)
      & some_students(R_57_1_SOME_STUDENTS)
      & lived(R_57_30_LIVED,R_57_26_THE_FIRTHS)
      & in_clr91(R_57_30_LIVED,R_57_32_GRANGE_ROAD)
      & z_57_a_alresford_2(Z_57_A_ALRESFORD_2)
      & conj1(Z_57_A_ALRESFORD_2,R_57_3_BECAME)
      & became(R_57_3_BECAME,R_57_1_SOME_STUDENTS,R_57_4_KEEN)
      & keen(R_57_4_KEEN)
      & qual14(R_57_4_KEEN,R_57_5_ENOUGH)
      & enough(R_57_5_ENOUGH)
      & emb17(R_57_5_ENOUGH,R_57_6_FOR_TO_ENTER)
      & for_to_enter(R_57_6_FOR_TO_ENTER,R_57_7_ME,R_57_1_SOME_STUDENTS,R_57_13_CANDIDATES)
      & candidates(R_57_13_CANDIDATES)
      & attrib34(R_57_13_CANDIDATES,R_57_12_EXTERNAL)
      & for(R_57_13_CANDIDATES,R_57_15_THE_GUILDHALL_SCHOOL_EXAMS)
      & the_Guildhall_School_exams(R_57_15_THE_GUILDHALL_SCHOOL_EXAMS)
      & of(R_57_15_THE_GUILDHALL_SCHOOL_EXAMS,R_57_20_AND)
      & and(R_57_20_AND)
      & conj1(R_57_20_AND,R_57_19_MUSIC)
      & conj2(R_57_20_AND,R_57_21_DRAMA)
      & conj2(Z_57_A_ALRESFORD_2,Z_57_A_ALRESFORD_68)
      & z_57_a_alresford_68(Z_57_A_ALRESFORD_68,R_57_26_THE_FIRTHS)
      & among_nim72(Z_57_A_ALRESFORD_68,R_57_1_SOME_STUDENTS) ) ).

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