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_24_19_AND,R_24_8_FOLLOWED,R_24_6_YEAR_PUPILS,R_24_3_AND,R_24_1_FIRST,R_24_4_SECOND,R_24_9_A_COURSE,R_24_13_STUDIES,R_24_12_INTEGRATED,R_24_16_TEAM_TEACHING,Z_24_A_ALRESFORD_56,R_24_24_WERE,R_24_20_BOTH_AND,R_24_21_GCE,R_24_23_CSE,R_24_26_OFFER,R_24_30_LEFT,R_24_29_STUDENTS,R_24_28_FEW,R_24_33_QUALIFICATIONS,R_24_32_ACADEMIC] :
      ( first(R_24_1_FIRST)
      & second(R_24_4_SECOND)
      & integrated(R_24_12_INTEGRATED)
      & team_teaching(R_24_16_TEAM_TEACHING)
      & gCE(R_24_21_GCE)
      & cSE(R_24_23_CSE)
      & offer(R_24_26_OFFER)
      & few(R_24_28_FEW)
      & academic(R_24_32_ACADEMIC)
      & and(R_24_19_AND)
      & conj1(R_24_19_AND,R_24_8_FOLLOWED)
      & followed(R_24_8_FOLLOWED,R_24_6_YEAR_PUPILS,R_24_9_A_COURSE)
      & year_pupils(R_24_6_YEAR_PUPILS)
      & attrib5(R_24_6_YEAR_PUPILS,R_24_3_AND)
      & and(R_24_3_AND)
      & conj1(R_24_3_AND,R_24_1_FIRST)
      & conj2(R_24_3_AND,R_24_4_SECOND)
      & a_course(R_24_9_A_COURSE)
      & of(R_24_9_A_COURSE,R_24_13_STUDIES)
      & studies(R_24_13_STUDIES)
      & attrib35(R_24_13_STUDIES,R_24_12_INTEGRATED)
      & with(R_24_9_A_COURSE,R_24_16_TEAM_TEACHING)
      & conj2(R_24_19_AND,Z_24_A_ALRESFORD_56)
      & z_24_a_alresford_56(Z_24_A_ALRESFORD_56)
      & conj1(Z_24_A_ALRESFORD_56,R_24_24_WERE)
      & were(R_24_24_WERE,R_24_20_BOTH_AND)
      & both_and(R_24_20_BOTH_AND)
      & conj1(R_24_20_BOTH_AND,R_24_21_GCE)
      & conj2(R_24_20_BOTH_AND,R_24_23_CSE)
      & on_clr76(R_24_24_WERE,R_24_26_OFFER)
      & conj2(Z_24_A_ALRESFORD_56,R_24_30_LEFT)
      & left(R_24_30_LEFT,R_24_29_STUDENTS)
      & students(R_24_29_STUDENTS)
      & attrib84(R_24_29_STUDENTS,R_24_28_FEW)
      & without_nim94(R_24_30_LEFT,R_24_33_QUALIFICATIONS)
      & qualifications(R_24_33_QUALIFICATIONS)
      & attrib95(R_24_33_QUALIFICATIONS,R_24_32_ACADEMIC) ) ).

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