216_a_law_h15a119
(3) When having granted authorization under paragraph (1), the competent minister shall publicly notice that effect.
arc(r_0216_0004__When, r_0216_0005__having, restriction).
arc(r_0216_0004__When, r_0216_0017__shall, scope).
arc(r_0216_0005__having, r_0216_0006__granted, scope).
arc(r_0216_0006__granted, r_0216_0007__authorization, arg1).
arc(r_0216_0006__granted, r_0216_0009__paragraph_r_0216_0011__1, r_0216_0008__under_nim24).
arc(r_0216_0006__granted, r_0216_0014__the_r_0216_0016__minister, arg0).
arc(r_0216_0014__the_r_0216_0016__minister, r_0216_0015__competent, attrib38).
arc(r_0216_0017__shall, r_0216_0019__notice, scope).
arc(r_0216_0019__notice, r_0216_0014__the_r_0216_0016__minister, arg0).
arc(r_0216_0019__notice, r_0216_0018__publicly, nim46).
arc(r_0216_0019__notice, r_0216_0020__that_r_0216_0021__effect, arg1).
fof(formula,axiom,
! [R_216_5_HAVING_GRANTED,R_216_14_THE_MINISTER,R_216_15_COMPETENT,R_216_7_AUTHORIZATION,R_216_9_PARAGRAPH_1] :
( ( competent(R_216_15_COMPETENT)
& authorization(R_216_7_AUTHORIZATION)
& paragraph_1(R_216_9_PARAGRAPH_1)
& having_granted(R_216_5_HAVING_GRANTED,R_216_14_THE_MINISTER,R_216_7_AUTHORIZATION)
& the_minister(R_216_14_THE_MINISTER)
& attrib38(R_216_14_THE_MINISTER,R_216_15_COMPETENT)
& under_nim24(R_216_5_HAVING_GRANTED,R_216_9_PARAGRAPH_1) )
=> ? [R_216_17_SHALL_NOTICE,R_216_20_THAT_EFFECT,R_216_18_PUBLICLY] :
( that_effect(R_216_20_THAT_EFFECT)
& publicly(R_216_18_PUBLICLY)
& shall_notice(R_216_17_SHALL_NOTICE,R_216_14_THE_MINISTER,R_216_20_THAT_EFFECT)
& nim46(R_216_17_SHALL_NOTICE,R_216_18_PUBLICLY) ) ) ).
( (IP-MAT (LST (PULB -LRB-)
(LS 3)
(PURB -RRB-))
(PP-SCON (P-CONN When;{when})
(IP-PPL2 (HAG;_cat_Ve_ having;{have})
(IP-PPL-CAT (VVN;_Tn_ granted;{grant})
(NP-OB1 (N authorization;{authorization}))
(PP-NIM (P-ROLE under;{under})
(NP (N paragraph;{paragraph})
(PULB -LRB-)
(NUM 1)
(PURB -RRB-))))))
(PUNC ,)
(NP-SBJ (D the;{the})
(ADJP (ADJ competent;{competent}))
(N minister;{minister}))
(MD;_cat_Vi_ shall;{shall})
(IP-INF-CAT (ADVP-NIM (ADV publicly;{publicly}))
(VB;_Tn_ notice;{notice})
(NP-OB1 (D that;{that})
(N effect;{effect})))
(PUNC .))
(ID 216_a_law_h15a119;170_4_37_3))