323_a_law_h15a119
This Act shall come into force as from the day of promulgation.
( (IP-MAT (NP-SBJ (D This;{this})
(N Act;{act}))
(MD;_cat_Vi_ shall;{shall})
(IP-INF-CAT (VB;_Ipr_ come;{come[into]})
(PP-CLR (P-ROLE into;{into})
(NP (N force;{force})))
(PP-NIM (P-ROLE as_from;{as_from})
(NP (D the;{the})
(N day;{day})
(PP (P-ROLE of;{of})
(NP (N promulgation;{promulgation}))))))
(PUNC .))
(ID 323_a_law_h15a119;248_Supp_1))
arc(r_0323_0003__shall,r_0323_0004__come_r_0323_0005__into,scope).
arc(r_0323_0004__come_r_0323_0005__into,r_0323_0001__This_r_0323_0002__Act,arg0).
arc(r_0323_0004__come_r_0323_0005__into,r_0323_0006__force,arg1).
arc(r_0323_0004__come_r_0323_0005__into,r_0323_0008__the_r_0323_0009__day,r_0323_0007__as_from__nim).
arc(r_0323_0008__the_r_0323_0009__day,r_0323_0011__promulgation,r_0323_0010__of).
fof(formula,axiom,
? [R_0323_0001__THIS_R_0323_0002__ACT,R_0323_0006__FORCE,R_0323_0011__PROMULGATION,R_0323_0008__THE_R_0323_0009__DAY,R_0323_0003__SHALL_R_0323_0004__COME_R_0323_0005__INTO] :
( r_0323_0001__This_r_0323_0002__Act(R_0323_0001__THIS_R_0323_0002__ACT)
& r_0323_0006__force(R_0323_0006__FORCE)
& r_0323_0011__promulgation(R_0323_0011__PROMULGATION)
& r_0323_0003__shall_r_0323_0004__come_r_0323_0005__into(R_0323_0003__SHALL_R_0323_0004__COME_R_0323_0005__INTO)
& has_r_0323_0007__as_from__nim(R_0323_0003__SHALL_R_0323_0004__COME_R_0323_0005__INTO,R_0323_0008__THE_R_0323_0009__DAY)
& r_0323_0008__the_r_0323_0009__day(R_0323_0008__THE_R_0323_0009__DAY)
& has_r_0323_0010__of(R_0323_0008__THE_R_0323_0009__DAY,R_0323_0011__PROMULGATION)
& has_arg1(R_0323_0003__SHALL_R_0323_0004__COME_R_0323_0005__INTO,R_0323_0006__FORCE)
& has_arg0(R_0323_0003__SHALL_R_0323_0004__COME_R_0323_0005__INTO,R_0323_0001__THIS_R_0323_0002__ACT) ) ).