Context                Previous, Next                Top


81_a_ibm_1401
Schools and Seminars

%3 r_0081_0002__and and r_0081_0001__Schools Schools r_0081_0002__and->r_0081_0001__Schools [conj1] r_0081_0003__Seminars Seminars r_0081_0002__and->r_0081_0003__Seminars [conj2] z_000_81_a_ibm_1401_1 z_000_81_a_ibm_1401_1->r_0081_0002__and [nim] 
arc(r_0081_0002__and, r_0081_0001__Schools, conj1).
arc(r_0081_0002__and, r_0081_0003__Seminars, conj2).
arc(z_000_81_a_ibm_1401_1, r_0081_0002__and, nim2).


%3 z_000_81_a_ibm_1401_1 r_0081_0002__and and z_000_81_a_ibm_1401_1->r_0081_0002__and [nim] r_0081_0003__Seminars Seminars r_0081_0002__and->r_0081_0003__Seminars [conj2] r_0081_0001__Schools Schools r_0081_0002__and->r_0081_0001__Schools [conj1] 
fof(formula,axiom,
    ? [R_0081_0001__SCHOOLS,R_0081_0003__SEMINARS,R_0081_0002__AND,Z_000_81_A_IBM_1401_1] :
      ( r_0081_0001__Schools(R_0081_0001__SCHOOLS)
      & r_0081_0003__Seminars(R_0081_0003__SEMINARS)
      & z_000_81_a_ibm_1401_1(Z_000_81_A_IBM_1401_1)
      & has_nim2(Z_000_81_A_IBM_1401_1,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) ) ).


n81_a_ibm_1401 n81_a_ibm_1401__1_1_1_1_1_1 Schools n81_a_ibm_1401__1_1_1_2_1_1 and n81_a_ibm_1401__1_1_1_2_2_1_1 Seminars n81_a_ibm_1401__1 FRAG n81_a_ibm_1401__1_1 NP n81_a_ibm_1401__1->n81_a_ibm_1401__1_1 n81_a_ibm_1401__1_1_1 NLYR n81_a_ibm_1401__1_1->n81_a_ibm_1401__1_1_1 n81_a_ibm_1401__1_1_1_1 NLYR n81_a_ibm_1401__1_1_1->n81_a_ibm_1401__1_1_1_1 n81_a_ibm_1401__1_1_1_2 CONJP n81_a_ibm_1401__1_1_1->n81_a_ibm_1401__1_1_1_2 n81_a_ibm_1401__1_1_1_1_1 NS n81_a_ibm_1401__1_1_1_1->n81_a_ibm_1401__1_1_1_1_1 n81_a_ibm_1401__1_1_1_1_1->n81_a_ibm_1401__1_1_1_1_1_1 n81_a_ibm_1401__1_1_1_2_1 CONJ n81_a_ibm_1401__1_1_1_2->n81_a_ibm_1401__1_1_1_2_1 n81_a_ibm_1401__1_1_1_2_2 NLYR n81_a_ibm_1401__1_1_1_2->n81_a_ibm_1401__1_1_1_2_2 n81_a_ibm_1401__1_1_1_2_1->n81_a_ibm_1401__1_1_1_2_1_1 n81_a_ibm_1401__1_1_1_2_2_1 NS n81_a_ibm_1401__1_1_1_2_2->n81_a_ibm_1401__1_1_1_2_2_1 n81_a_ibm_1401__1_1_1_2_2_1->n81_a_ibm_1401__1_1_1_2_2_1_1 
( (FRAG (NP (NLYR (NLYR (NS Schools;{school}))
                  (CONJP (CONJ and;{and})
                         (NLYR (NS Seminars;{seminar}))))))
  (ID 81_a_ibm_1401))