238_a_law_h15a119
(2) Each authorized personal information protection organization shall publicly announce the names of its target entities.
arc(r_0238_0004__Each_quant, r_0238_0007__information_r_0238_0008__protection_r_0238_0009__organization, restriction).
arc(r_0238_0004__Each_quant, r_0238_0010__shall, scope).
arc(r_0238_0007__information_r_0238_0008__protection_r_0238_0009__organization, r_0238_0005__authorized, attrib12).
arc(r_0238_0007__information_r_0238_0008__protection_r_0238_0009__organization, r_0238_0006__personal, attrib15).
arc(r_0238_0010__shall, r_0238_0012__announce, scope).
arc(r_0238_0012__announce, r_0238_0007__information_r_0238_0008__protection_r_0238_0009__organization, arg0).
arc(r_0238_0012__announce, r_0238_0011__publicly, nim27).
arc(r_0238_0012__announce, r_0238_0013__the_r_0238_0014__names, arg1).
arc(r_0238_0013__the_r_0238_0014__names, r_0238_0017__target_r_0238_0018__entities, r_0238_0015__of).
arc(r_0238_0017__target_r_0238_0018__entities, r_0238_0007__information_r_0238_0008__protection_r_0238_0009__organization, gen).
fof(formula,axiom,
! [R_0238_0007__INFORMATION_R_0238_0008__PROTECTION_R_0238_0009__ORGANIZATION,R_0238_0005__AUTHORIZED,R_0238_0006__PERSONAL] :
( ( r_0238_0005__authorized(R_0238_0005__AUTHORIZED)
& r_0238_0006__personal(R_0238_0006__PERSONAL)
& r_0238_0007__information_r_0238_0008__protection_r_0238_0009__organization(R_0238_0007__INFORMATION_R_0238_0008__PROTECTION_R_0238_0009__ORGANIZATION)
& has_attrib15(R_0238_0007__INFORMATION_R_0238_0008__PROTECTION_R_0238_0009__ORGANIZATION,R_0238_0006__PERSONAL)
& has_attrib12(R_0238_0007__INFORMATION_R_0238_0008__PROTECTION_R_0238_0009__ORGANIZATION,R_0238_0005__AUTHORIZED) )
=> ? [R_0238_0011__PUBLICLY,R_0238_0017__TARGET_R_0238_0018__ENTITIES,R_0238_0013__THE_R_0238_0014__NAMES,R_0238_0010__SHALL_R_0238_0012__ANNOUNCE] :
( r_0238_0011__publicly(R_0238_0011__PUBLICLY)
& r_0238_0010__shall_r_0238_0012__announce(R_0238_0010__SHALL_R_0238_0012__ANNOUNCE)
& has_arg1(R_0238_0010__SHALL_R_0238_0012__ANNOUNCE,R_0238_0013__THE_R_0238_0014__NAMES)
& r_0238_0013__the_r_0238_0014__names(R_0238_0013__THE_R_0238_0014__NAMES)
& has_r_0238_0015__of(R_0238_0013__THE_R_0238_0014__NAMES,R_0238_0017__TARGET_R_0238_0018__ENTITIES)
& r_0238_0017__target_r_0238_0018__entities(R_0238_0017__TARGET_R_0238_0018__ENTITIES)
& has_gen(R_0238_0017__TARGET_R_0238_0018__ENTITIES,R_0238_0007__INFORMATION_R_0238_0008__PROTECTION_R_0238_0009__ORGANIZATION)
& has_nim27(R_0238_0010__SHALL_R_0238_0012__ANNOUNCE,R_0238_0011__PUBLICLY)
& has_arg0(R_0238_0010__SHALL_R_0238_0012__ANNOUNCE,R_0238_0007__INFORMATION_R_0238_0008__PROTECTION_R_0238_0009__ORGANIZATION) ) ) ).
( (IP-MAT (LST (PULB -LRB-)
(LS 2)
(PURB -RRB-))
(NP-SBJ (Q Each;{each})
(ADJP (ADJ authorized;{authorized}))
(ADJP (ADJ personal;{personal}))
(N information;{information})
(N protection;{protection})
(N organization;{organization}))
(MD;_cat_Vi_ shall;{shall})
(IP-INF-CAT (ADVP-NIM (ADV publicly;{publicly}))
(VB;_Tn_ announce;{announce})
(NP-OB1 (D the;{the})
(NS names;{name})
(PP (P-ROLE of;{of})
(NP (NP-GEN (PRO;_genm_ its;{its}))
(N target;{target})
(NS entities;{entity})))))
(PUNC .))
(ID 238_a_law_h15a119;188_4_41_2))