Context                Previous, Next                Top


302_a_law_h15a119
(Liaison and Cooperation)

%3 r_0302_0003__and and r_0302_0002__Liaison Liaison r_0302_0003__and->r_0302_0002__Liaison [conj1] r_0302_0004__Cooperation Cooperation r_0302_0003__and->r_0302_0004__Cooperation [conj2] z_000_302_a_law_h15a119_1 z_000_302_a_law_h15a119_1->r_0302_0003__and [nim] 
arc(r_0302_0003__and, r_0302_0002__Liaison, conj1).
arc(r_0302_0003__and, r_0302_0004__Cooperation, conj2).
arc(z_000_302_a_law_h15a119_1, r_0302_0003__and, nim4).


%3 z_000_302_a_law_h15a119_1 r_0302_0003__and and z_000_302_a_law_h15a119_1->r_0302_0003__and [nim] r_0302_0004__Cooperation Cooperation r_0302_0003__and->r_0302_0004__Cooperation [conj2] r_0302_0002__Liaison Liaison r_0302_0003__and->r_0302_0002__Liaison [conj1] 
fof(formula,axiom,
    ? [Z_302_A_LAW_H15A119_1,R_302_3_AND,R_302_2_LIAISON,R_302_4_COOPERATION] :
      ( liaison(R_302_2_LIAISON)
      & cooperation(R_302_4_COOPERATION)
      & z_302_a_law_h15a119_1(Z_302_A_LAW_H15A119_1)
      & nim4(Z_302_A_LAW_H15A119_1,R_302_3_AND)
      & and(R_302_3_AND)
      & conj1(R_302_3_AND,R_302_2_LIAISON)
      & conj2(R_302_3_AND,R_302_4_COOPERATION) ) ).


n302_a_law_h15a119 n302_a_law_h15a119__1_1_1 -LRB- n302_a_law_h15a119__1_2_1_1_1_1 Liaison n302_a_law_h15a119__1_2_1_2_1_1 and n302_a_law_h15a119__1_2_1_2_2_1_1 Cooperation n302_a_law_h15a119__1_3_1 -RRB- n302_a_law_h15a119__1 FRAG n302_a_law_h15a119__1_1 PULB n302_a_law_h15a119__1->n302_a_law_h15a119__1_1 n302_a_law_h15a119__1_2 NP n302_a_law_h15a119__1->n302_a_law_h15a119__1_2 n302_a_law_h15a119__1_3 PURB n302_a_law_h15a119__1->n302_a_law_h15a119__1_3 n302_a_law_h15a119__1_1->n302_a_law_h15a119__1_1_1 n302_a_law_h15a119__1_2_1 NLYR n302_a_law_h15a119__1_2->n302_a_law_h15a119__1_2_1 n302_a_law_h15a119__1_2_1_1 NLYR n302_a_law_h15a119__1_2_1->n302_a_law_h15a119__1_2_1_1 n302_a_law_h15a119__1_2_1_2 CONJP n302_a_law_h15a119__1_2_1->n302_a_law_h15a119__1_2_1_2 n302_a_law_h15a119__1_2_1_1_1 N n302_a_law_h15a119__1_2_1_1->n302_a_law_h15a119__1_2_1_1_1 n302_a_law_h15a119__1_2_1_1_1->n302_a_law_h15a119__1_2_1_1_1_1 n302_a_law_h15a119__1_2_1_2_1 CONJ n302_a_law_h15a119__1_2_1_2->n302_a_law_h15a119__1_2_1_2_1 n302_a_law_h15a119__1_2_1_2_2 NLYR n302_a_law_h15a119__1_2_1_2->n302_a_law_h15a119__1_2_1_2_2 n302_a_law_h15a119__1_2_1_2_1->n302_a_law_h15a119__1_2_1_2_1_1 n302_a_law_h15a119__1_2_1_2_2_1 N n302_a_law_h15a119__1_2_1_2_2->n302_a_law_h15a119__1_2_1_2_2_1 n302_a_law_h15a119__1_2_1_2_2_1->n302_a_law_h15a119__1_2_1_2_2_1_1 n302_a_law_h15a119__1_3->n302_a_law_h15a119__1_3_1 
( (FRAG (PULB -LRB-)
        (NP (NLYR (NLYR (N Liaison;{liaison}))
                  (CONJP (CONJ and;{and})
                         (NLYR (N Cooperation;{cooperation})))))
        (PURB -RRB-))
  (ID 302_a_law_h15a119;234_5))