( (NP (NLYR (NLYR (NS Schools;{school}))
            (CONJP (CONJ and;{and})
                   (NLYR (NS Seminars;{seminar})))))
  (ID 81_a_ibm_1401))

arc(r_0081_0002__and,r_0081_0001__Schools,conj1).
arc(r_0081_0002__and,r_0081_0003__Seminars,conj2).
arc(z_0081_5006,r_0081_0002__and,z_0081_5002).

fof(formula,axiom,
    ? [R_0081_0001__SCHOOLS,R_0081_0003__SEMINARS,R_0081_0002__AND,Z_0081_5006] :
      ( r_0081_0001__Schools(R_0081_0001__SCHOOLS)
      & r_0081_0003__Seminars(R_0081_0003__SEMINARS)
      & z_0081_5006(Z_0081_5006)
      & has_z_0081_5002(Z_0081_5006,R_0081_0002__AND)
      & r_0081_0002__and(R_0081_0002__AND)
      & has_conj2(R_0081_0002__AND,R_0081_0003__SEMINARS)
      & has_conj1(R_0081_0002__AND,R_0081_0001__SCHOOLS) ) ).