191_a_law_h15a119
(Recommendations and Orders)
arc(r_0191_0003__and, r_0191_0002__Recommendations, conj1).
arc(r_0191_0003__and, r_0191_0004__Orders, conj2).
arc(z_000_191_a_law_h15a119_1, r_0191_0003__and, nim4).
fof(formula,axiom,
? [Z_191_A_LAW_H15A119_1,R_191_3_AND,R_191_2_RECOMMENDATIONS,R_191_4_ORDERS] :
( recommendations(R_191_2_RECOMMENDATIONS)
& orders(R_191_4_ORDERS)
& z_191_a_law_h15a119_1(Z_191_A_LAW_H15A119_1)
& nim4(Z_191_A_LAW_H15A119_1,R_191_3_AND)
& and(R_191_3_AND)
& conj1(R_191_3_AND,R_191_2_RECOMMENDATIONS)
& conj2(R_191_3_AND,R_191_4_ORDERS) ) ).
( (FRAG (PULB -LRB-)
(NP (NLYR (NLYR (NS Recommendations;{recommendation}))
(CONJP (CONJ and;{and})
(NLYR (NS Orders;{order})))))
(PURB -RRB-))
(ID 191_a_law_h15a119;150_4))