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 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] 
fof(formula,axiom,
    ? [Z_81_A_IBM_1401_1,R_81_2_AND,R_81_1_SCHOOLS,R_81_3_SEMINARS] :
      ( schools(R_81_1_SCHOOLS)
      & seminars(R_81_3_SEMINARS)
      & z_81_a_ibm_1401_1(Z_81_A_IBM_1401_1)
      & nim2(Z_81_A_IBM_1401_1,R_81_2_AND)
      & and(R_81_2_AND)
      & conj1(R_81_2_AND,R_81_1_SCHOOLS)
      & conj2(R_81_2_AND,R_81_3_SEMINARS) ) ).


n81_a_ibm_1401 n81_a_ibm_1401_6 Schools n81_a_ibm_1401_9 and n81_a_ibm_1401_12 Seminars n81_a_ibm_1401_1 FRAG n81_a_ibm_1401_2 NP n81_a_ibm_1401_1->n81_a_ibm_1401_2 n81_a_ibm_1401_3 NLYR n81_a_ibm_1401_2->n81_a_ibm_1401_3 n81_a_ibm_1401_4 NLYR n81_a_ibm_1401_3->n81_a_ibm_1401_4 n81_a_ibm_1401_7 CONJP n81_a_ibm_1401_3->n81_a_ibm_1401_7 n81_a_ibm_1401_5 NS n81_a_ibm_1401_4->n81_a_ibm_1401_5 n81_a_ibm_1401_5->n81_a_ibm_1401_6 n81_a_ibm_1401_8 CONJ n81_a_ibm_1401_7->n81_a_ibm_1401_8 n81_a_ibm_1401_10 NLYR n81_a_ibm_1401_7->n81_a_ibm_1401_10 n81_a_ibm_1401_8->n81_a_ibm_1401_9 n81_a_ibm_1401_11 NS n81_a_ibm_1401_10->n81_a_ibm_1401_11 n81_a_ibm_1401_11->n81_a_ibm_1401_12 
( (FRAG (NP (NLYR (NLYR (NS Schools;{school}))
                  (CONJP (CONJ and;{and})
                         (NLYR (NS Seminars;{seminar}))))))
  (ID 81_a_ibm_1401))