TSPC 238_a_law

238_a_law_h15a119
(2) Each authorized personal information protection organization shall publicly announce the names of its target entities.

( (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))

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,attrib).
arc(r_0238_0007__information_r_0238_0008__protection_r_0238_0009__organization,r_0238_0006__personal,attrib).
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,nim).
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_0016__its,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_attrib(R_0238_0007__INFORMATION_R_0238_0008__PROTECTION_R_0238_0009__ORGANIZATION,R_0238_0006__PERSONAL)
        & has_attrib(R_0238_0007__INFORMATION_R_0238_0008__PROTECTION_R_0238_0009__ORGANIZATION,R_0238_0005__AUTHORIZED) )
     => ? [R_0238_0011__PUBLICLY,R_0238_0016__ITS,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_0016__its(R_0238_0016__ITS)
          & 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_0016__ITS)
          & has_nim(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) ) ) ).