216_a_law_h15a119
(3) When having granted authorization under paragraph (1), the competent minister shall publicly notice that effect.
( (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))
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__nim).
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,attrib).
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,nim).
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_attrib(R_0216_0014__THE_R_0216_0016__MINISTER,R_0216_0015__COMPETENT)
& has_r_0216_0008__under__nim(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_nim(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) ) ) ) ).