298_a_law_h15a119
(Public Announcement of the Status of 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))
arc(r_0298_0003__Announcement,r_0298_0002__Public,attrib).
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_0298_5007,r_0298_0003__Announcement,z_0298_5002).
fof(formula,axiom,
? [R_0298_0002__PUBLIC,R_0298_0008__ENFORCEMENT,R_0298_0005__THE_R_0298_0006__STATUS,R_0298_0003__ANNOUNCEMENT,Z_0298_5007] :
( r_0298_0002__Public(R_0298_0002__PUBLIC)
& r_0298_0008__Enforcement(R_0298_0008__ENFORCEMENT)
& z_0298_5007(Z_0298_5007)
& has_z_0298_5002(Z_0298_5007,R_0298_0003__ANNOUNCEMENT)
& r_0298_0003__Announcement(R_0298_0003__ANNOUNCEMENT)
& has_r_0298_0004__of(R_0298_0003__ANNOUNCEMENT,R_0298_0005__THE_R_0298_0006__STATUS)
& r_0298_0005__the_r_0298_0006__Status(R_0298_0005__THE_R_0298_0006__STATUS)
& has_r_0298_0007__of(R_0298_0005__THE_R_0298_0006__STATUS,R_0298_0008__ENFORCEMENT)
& has_attrib(R_0298_0003__ANNOUNCEMENT,R_0298_0002__PUBLIC) ) ).