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_0216_0005__HAVING_R_0216_0006__GRANTED,R_0216_0007__AUTHORIZATION,R_0216_0009__PARAGRAPH_R_0216_0011__1,R_0216_0015__COMPETENT,R_0216_0014__THE_R_0216_0016__MINISTER] :
( ( r_0216_0007__authorization(R_0216_0007__AUTHORIZATION)
& r_0216_0009__paragraph_r_0216_0011__1(R_0216_0009__PARAGRAPH_R_0216_0011__1)
& r_0216_0015__competent(R_0216_0015__COMPETENT)
& r_0216_0005__having_r_0216_0006__granted(R_0216_0005__HAVING_R_0216_0006__GRANTED)
& has_arg0(R_0216_0005__HAVING_R_0216_0006__GRANTED,R_0216_0014__THE_R_0216_0016__MINISTER)
& r_0216_0014__the_r_0216_0016__minister(R_0216_0014__THE_R_0216_0016__MINISTER)
& has_attrib38(R_0216_0014__THE_R_0216_0016__MINISTER,R_0216_0015__COMPETENT)
& has_r_0216_0008__under_nim24(R_0216_0005__HAVING_R_0216_0006__GRANTED,R_0216_0009__PARAGRAPH_R_0216_0011__1)
& has_arg1(R_0216_0005__HAVING_R_0216_0006__GRANTED,R_0216_0007__AUTHORIZATION) )
=> ? [R_0216_0018__PUBLICLY,R_0216_0020__THAT_R_0216_0021__EFFECT,R_0216_0017__SHALL_R_0216_0019__NOTICE] :
( r_0216_0018__publicly(R_0216_0018__PUBLICLY)
& r_0216_0020__that_r_0216_0021__effect(R_0216_0020__THAT_R_0216_0021__EFFECT)
& ~ ( has_arg1(R_0216_0017__SHALL_R_0216_0019__NOTICE,R_0216_0020__THAT_R_0216_0021__EFFECT)
& has_nim46(R_0216_0017__SHALL_R_0216_0019__NOTICE,R_0216_0018__PUBLICLY)
& has_arg0(R_0216_0017__SHALL_R_0216_0019__NOTICE,R_0216_0014__THE_R_0216_0016__MINISTER) ) ) ) ).
( (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))