arc(r_0024_0003__and, r_0024_0001__First, conj1).
arc(r_0024_0003__and, r_0024_0004__second, conj2).
arc(r_0024_0006__year_r_0024_0007__pupils, r_0024_0003__and, attrib5).
arc(r_0024_0008__followed, r_0024_0006__year_r_0024_0007__pupils, arg0).
arc(r_0024_0008__followed, r_0024_0009__a_r_0024_0010__course, arg1).
arc(r_0024_0009__a_r_0024_0010__course, r_0024_0013__studies, r_0024_0011__of).
arc(r_0024_0009__a_r_0024_0010__course, r_0024_0016__team_r_0024_0017__teaching, r_0024_0015__with).
arc(r_0024_0013__studies, r_0024_0012__integrated, attrib35).
arc(r_0024_0019__and, r_0024_0008__followed, conj1).
arc(r_0024_0019__and, z_000_24_a_alresford_56, conj2).
arc(r_0024_0020__both_r_0024_0022__and, r_0024_0021__GCE, conj1).
arc(r_0024_0020__both_r_0024_0022__and, r_0024_0023__CSE, conj2).
arc(r_0024_0024__were, r_0024_0020__both_r_0024_0022__and, arg0).
arc(r_0024_0024__were, r_0024_0026__offer, r_0024_0025__on_clr76).
arc(r_0024_0029__students, r_0024_0028__few, attrib84).
arc(r_0024_0030__left, r_0024_0029__students, arg0).
arc(r_0024_0030__left, r_0024_0033__qualifications, r_0024_0031__without_nim94).
arc(r_0024_0033__qualifications, r_0024_0032__academic, attrib95).
arc(z_000_24_a_alresford_56, r_0024_0024__were, conj1).
arc(z_000_24_a_alresford_56, r_0024_0030__left, conj2).

fof(formula,axiom,
    ? [R_0024_0001__FIRST,R_0024_0004__SECOND,R_0024_0003__AND,R_0024_0006__YEAR_R_0024_0007__PUPILS,R_0024_0012__INTEGRATED,R_0024_0013__STUDIES,R_0024_0016__TEAM_R_0024_0017__TEACHING,R_0024_0009__A_R_0024_0010__COURSE,R_0024_0008__FOLLOWED,R_0024_0021__GCE,R_0024_0023__CSE,R_0024_0020__BOTH_R_0024_0022__AND,R_0024_0026__OFFER,R_0024_0024__WERE,R_0024_0028__FEW,R_0024_0029__STUDENTS,R_0024_0032__ACADEMIC,R_0024_0033__QUALIFICATIONS,R_0024_0030__LEFT,Z_000_24_A_ALRESFORD_56,R_0024_0019__AND] :
      ( r_0024_0001__First(R_0024_0001__FIRST)
      & r_0024_0004__second(R_0024_0004__SECOND)
      & r_0024_0012__integrated(R_0024_0012__INTEGRATED)
      & r_0024_0016__team_r_0024_0017__teaching(R_0024_0016__TEAM_R_0024_0017__TEACHING)
      & r_0024_0021__GCE(R_0024_0021__GCE)
      & r_0024_0023__CSE(R_0024_0023__CSE)
      & r_0024_0026__offer(R_0024_0026__OFFER)
      & r_0024_0028__few(R_0024_0028__FEW)
      & r_0024_0032__academic(R_0024_0032__ACADEMIC)
      & r_0024_0019__and(R_0024_0019__AND)
      & has_conj2(R_0024_0019__AND,Z_000_24_A_ALRESFORD_56)
      & z_000_24_a_alresford_56(Z_000_24_A_ALRESFORD_56)
      & has_conj2(Z_000_24_A_ALRESFORD_56,R_0024_0030__LEFT)
      & r_0024_0030__left(R_0024_0030__LEFT)
      & has_r_0024_0031__without_nim94(R_0024_0030__LEFT,R_0024_0033__QUALIFICATIONS)
      & r_0024_0033__qualifications(R_0024_0033__QUALIFICATIONS)
      & has_attrib95(R_0024_0033__QUALIFICATIONS,R_0024_0032__ACADEMIC)
      & has_arg0(R_0024_0030__LEFT,R_0024_0029__STUDENTS)
      & r_0024_0029__students(R_0024_0029__STUDENTS)
      & has_attrib84(R_0024_0029__STUDENTS,R_0024_0028__FEW)
      & has_conj1(Z_000_24_A_ALRESFORD_56,R_0024_0024__WERE)
      & r_0024_0024__were(R_0024_0024__WERE)
      & has_r_0024_0025__on_clr76(R_0024_0024__WERE,R_0024_0026__OFFER)
      & has_arg0(R_0024_0024__WERE,R_0024_0020__BOTH_R_0024_0022__AND)
      & r_0024_0020__both_r_0024_0022__and(R_0024_0020__BOTH_R_0024_0022__AND)
      & has_conj2(R_0024_0020__BOTH_R_0024_0022__AND,R_0024_0023__CSE)
      & has_conj1(R_0024_0020__BOTH_R_0024_0022__AND,R_0024_0021__GCE)
      & has_conj1(R_0024_0019__AND,R_0024_0008__FOLLOWED)
      & r_0024_0008__followed(R_0024_0008__FOLLOWED)
      & has_arg1(R_0024_0008__FOLLOWED,R_0024_0009__A_R_0024_0010__COURSE)
      & r_0024_0009__a_r_0024_0010__course(R_0024_0009__A_R_0024_0010__COURSE)
      & has_r_0024_0015__with(R_0024_0009__A_R_0024_0010__COURSE,R_0024_0016__TEAM_R_0024_0017__TEACHING)
      & has_r_0024_0011__of(R_0024_0009__A_R_0024_0010__COURSE,R_0024_0013__STUDIES)
      & r_0024_0013__studies(R_0024_0013__STUDIES)
      & has_attrib35(R_0024_0013__STUDIES,R_0024_0012__INTEGRATED)
      & has_arg0(R_0024_0008__FOLLOWED,R_0024_0006__YEAR_R_0024_0007__PUPILS)
      & r_0024_0006__year_r_0024_0007__pupils(R_0024_0006__YEAR_R_0024_0007__PUPILS)
      & has_attrib5(R_0024_0006__YEAR_R_0024_0007__PUPILS,R_0024_0003__AND)
      & r_0024_0003__and(R_0024_0003__AND)
      & has_conj2(R_0024_0003__AND,R_0024_0004__SECOND)
      & has_conj1(R_0024_0003__AND,R_0024_0001__FIRST) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (ADJP (AJLYR (AJLYR (ADJ First;{first}))
                                           (PUNC <hyphen>)
                                           (CONJP (CONJ and;{and})
                                                  (AJLYR (ADJ second;{second})))))
                              (PUNC <hyphen>)
                              (N year;{year})
                              (NS pupils;{pupil}))
                      (VBD;_Tn_ followed;{follow})
                      (NP-OB1 (D a;{a})
                              (N course;{course})
                              (PP (P-ROLE of;{of})
                                  (NP (ADJP (ADJ integrated;{integrated}))
                                      (NS studies;{study})))
                              (PUNC ,)
                              (PP (P-ROLE with;{with})
                                  (NP (N team;{team})
                                      (N teaching;{teaching})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ILYR (ILYR (NP-SBJ (NLYR (CONJ both;{both})
                                                       (NLYR (NPR GCE;{GCE}))
                                                       (CONJP (CONJ and;{and})
                                                              (NLYR (NPR CSE;{CSE})))))
                                         (BED;_Ipr_ were;{be[on]})
                                         (PP-CLR (P-ROLE on;{on})
                                                 (NP (N offer;{offer}))))
                                   (PUNC ,)
                                   (CONJP (ILYR (NP-SBJ (ADJP (ADJ few;{few}))
                                                        (NS students;{student}))
                                                (VBD;_I_ left;{leave})
                                                (PP-NIM (P-ROLE without;{without})
                                                        (NP (ADJP (ADJ academic;{academic}))
                                                            (NS qualifications;{qualification})))))))))
          (PUNC .))
  (ID 24_a_alresford))