107_a_law_h15a119
(Security Control Measures)
arc(z_000_107_a_law_h15a119_1, r_0107_0002__Security_r_0107_0003__Control_r_0107_0004__Measures, nim4).
fof(formula,axiom,
? [R_0107_0002__SECURITY_R_0107_0003__CONTROL_R_0107_0004__MEASURES,Z_000_107_A_LAW_H15A119_1] :
( r_0107_0002__Security_r_0107_0003__Control_r_0107_0004__Measures(R_0107_0002__SECURITY_R_0107_0003__CONTROL_R_0107_0004__MEASURES)
& z_000_107_a_law_h15a119_1(Z_000_107_A_LAW_H15A119_1)
& has_nim4(Z_000_107_A_LAW_H15A119_1,R_0107_0002__SECURITY_R_0107_0003__CONTROL_R_0107_0004__MEASURES) ) ).
( (FRAG (PULB -LRB-)
(NP (N Security;{security})
(N Control;{control})
(NS Measures;{measure}))
(PURB -RRB-))
(ID 107_a_law_h15a119;86_4))