302_a_law_h15a119
(Liaison and Cooperation)
( (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))
arc(r_0302_0003__and,r_0302_0002__Liaison,conj1).
arc(r_0302_0003__and,r_0302_0004__Cooperation,conj2).
arc(z_0302_5006,r_0302_0003__and,z_0302_5002).
fof(formula,axiom,
? [R_0302_0002__LIAISON,R_0302_0004__COOPERATION,R_0302_0003__AND,Z_0302_5006] :
( r_0302_0002__Liaison(R_0302_0002__LIAISON)
& r_0302_0004__Cooperation(R_0302_0004__COOPERATION)
& z_0302_5006(Z_0302_5006)
& has_z_0302_5002(Z_0302_5006,R_0302_0003__AND)
& r_0302_0003__and(R_0302_0003__AND)
& has_conj2(R_0302_0003__AND,R_0302_0004__COOPERATION)
& has_conj1(R_0302_0003__AND,R_0302_0002__LIAISON) ) ).