( (IP-MAT (ILYR (ILYR (NP-SBJ (NLYR (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 (IP-PPL (NP-LGS *)
                                              (VVN;_Tn_ integrated;{integrate}))
                                      (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))

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_0003__and,attrib).
arc(r_0024_0007__pupils,r_0024_0006__year,nim).
arc(r_0024_0008__followed,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_0012__integrated,r_0024_0013__studies,inv_arg1).
arc(r_0024_0012__integrated,z_0024_5008___star_,arg0).
arc(r_0024_0019__and,r_0024_0008__followed,conj1).
arc(r_0024_0019__and,z_0024_5012,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_0025__on,r_0024_0020__both_r_0024_0022__and,arg0).
arc(r_0024_0024__were_r_0024_0025__on,r_0024_0026__offer,arg1).
arc(r_0024_0029__students,r_0024_0028__few,attrib).
arc(r_0024_0030__left,r_0024_0029__students,arg0).
arc(r_0024_0030__left,r_0024_0033__qualifications,r_0024_0031__without__nim).
arc(r_0024_0033__qualifications,r_0024_0032__academic,attrib).
arc(z_0024_5012,r_0024_0024__were_r_0024_0025__on,conj1).
arc(z_0024_5012,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,Z_0024_5008___STAR_,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_0025__ON,R_0024_0028__FEW,R_0024_0029__STUDENTS,R_0024_0032__ACADEMIC,R_0024_0033__QUALIFICATIONS,R_0024_0030__LEFT,Z_0024_5012,R_0024_0019__AND] :
      ( r_0024_0001__First(R_0024_0001__FIRST)
      & r_0024_0004__second(R_0024_0004__SECOND)
      & 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)
      & z_0024_5008___star_(Z_0024_5008___STAR_)
      & r_0024_0019__and(R_0024_0019__AND)
      & has_conj2(R_0024_0019__AND,Z_0024_5012)
      & z_0024_5012(Z_0024_5012)
      & has_conj2(Z_0024_5012,R_0024_0030__LEFT)
      & r_0024_0030__left(R_0024_0030__LEFT)
      & has_r_0024_0031__without__nim(R_0024_0030__LEFT,R_0024_0033__QUALIFICATIONS)
      & r_0024_0033__qualifications(R_0024_0033__QUALIFICATIONS)
      & has_attrib(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_attrib(R_0024_0029__STUDENTS,R_0024_0028__FEW)
      & has_conj1(Z_0024_5012,R_0024_0024__WERE_R_0024_0025__ON)
      & r_0024_0024__were_r_0024_0025__on(R_0024_0024__WERE_R_0024_0025__ON)
      & has_arg1(R_0024_0024__WERE_R_0024_0025__ON,R_0024_0026__OFFER)
      & has_arg0(R_0024_0024__WERE_R_0024_0025__ON,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_inv_arg1(R_0024_0013__STUDIES,R_0024_0012__INTEGRATED)
      & r_0024_0012__integrated(R_0024_0012__INTEGRATED)
      & has_arg0(R_0024_0012__INTEGRATED,Z_0024_5008___STAR_)
      & has_arg0(R_0024_0008__FOLLOWED,R_0024_0007__PUPILS)
      & r_0024_0007__pupils(R_0024_0007__PUPILS)
      & has_nim(R_0024_0007__PUPILS,R_0024_0006__YEAR)
      & r_0024_0006__year(R_0024_0006__YEAR)
      & has_attrib(R_0024_0006__YEAR,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) ) ).