298_a_law_h15a119
(Public Announcement of the Status of Enforcement)
arc(r_0298_0003__Announcement, r_0298_0002__Public, attrib5).
arc(r_0298_0003__Announcement, r_0298_0005__the_r_0298_0006__Status, r_0298_0004__of).
arc(r_0298_0005__the_r_0298_0006__Status, r_0298_0008__Enforcement, r_0298_0007__of).
arc(z_000_298_a_law_h15a119_1, r_0298_0003__Announcement, nim4).
fof(formula,axiom,
? [Z_298_A_LAW_H15A119_1,R_298_3_ANNOUNCEMENT,R_298_2_PUBLIC,R_298_5_THE_STATUS,R_298_8_ENFORCEMENT] :
( public(R_298_2_PUBLIC)
& enforcement(R_298_8_ENFORCEMENT)
& z_298_a_law_h15a119_1(Z_298_A_LAW_H15A119_1)
& nim4(Z_298_A_LAW_H15A119_1,R_298_3_ANNOUNCEMENT)
& announcement(R_298_3_ANNOUNCEMENT)
& attrib5(R_298_3_ANNOUNCEMENT,R_298_2_PUBLIC)
& of(R_298_3_ANNOUNCEMENT,R_298_5_THE_STATUS)
& the_Status(R_298_5_THE_STATUS)
& of(R_298_5_THE_STATUS,R_298_8_ENFORCEMENT) ) ).
( (FRAG (PULB -LRB-)
(NP (ADJP (ADJ Public;{public}))
(N Announcement;{announcement})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N Status;{status})
(PP (P-ROLE of;{of})
(NP (N Enforcement;{enforcement}))))))
(PURB -RRB-))
(ID 298_a_law_h15a119;231_5))