TSPC 136_a_law

136_a_law_h15a119
(1) With respect to the retained personal data, a business operator handling personal information shall put the matters listed in the following items in an accessible condition for the person (such condition includes cases in which a response is made without delay at the request of the person):

( (IP-MAT (LST (PULB -LRB-)
               (LS 1)
               (PURB -RRB-))
          (PP-NIM (P-ROLE With_respect_to;{with_respect_to})
                  (NP (D the;{the})
                      (ADJP (ADJ retained;{retained}))
                      (ADJP (ADJ personal;{personal}))
                      (NS data;{data})))
          (PUNC ,)
          (NP-SBJ (D a;{a})
                  (N business;{business})
                  (N operator;{operator})
                  (IP-PPL (VAG;_Tn_ handling;{handle})
                          (NP-OB1 (ADJP (ADJ personal;{personal}))
                                  (N information;{information}))))
          (MD;_cat_Vi_ shall;{shall})
          (IP-INF-CAT (VB;__ put;{put})
                      (NP-OB1 (D the;{the})
                              (NS matters;{matter})
                              (IP-PPL (NP-LGS *)
                                      (VVN;_Tn.pr_ listed;{list})
                                      (PP-NIM (P-ROLE in;{in})
                                              (NP (D the;{the})
                                                  (ADJP (ADJ following;{following}))
                                                  (NS items;{item})
                                                  (PP (P-ROLE in;{in})
                                                      (NP (D an;{an})
                                                          (ADJP (ADJ accessible;{accessible}))
                                                          (N condition;{condition})
                                                          (PP (P-ROLE for;{for})
                                                              (NP (D the;{the})
                                                                  (N person;{person})))
                                                          (PULB -LRB-)
                                                          (PRN (IP-MAT (NP-SBJ (ADJP (ADJ;_such_ such;{such}))
                                                                               (N condition;{condition}))
                                                                       (VBP;__ includes;{include})
                                                                       (NP-OB1 (NS cases;{case})
                                                                               (IP-REL (PP-NIM (P-ROLE in;{in})
                                                                                               (NP (RPRO which;{which})))
                                                                                       (NP-SBJ (D a;{a})
                                                                                               (N response;{response}))
                                                                                       (BEP;_cat_VePASS_ is;{be})
                                                                                       (IP-PPL-CAT (NP-LGS *)
                                                                                                   (VVN;__ made;{make})
                                                                                                   (PP-NIM (P-ROLE without;{without})
                                                                                                           (NP (N delay;{delay})))
                                                                                                   (PP-NIM (P-ROLE at;{at})
                                                                                                           (NP (D the;{the})
                                                                                                               (N request;{request})
                                                                                                               (PP (P-ROLE of;{of})
                                                                                                                   (NP (D the;{the})
                                                                                                                       (N person;{person}))))))))))
                                                          (PURB -RRB-))))))))
          (PUNC :))
  (ID 136_a_law_h15a119;110_4_24_1))

arc(r_0136_0005__the_r_0136_0008__data,r_0136_0006__retained,attrib).
arc(r_0136_0005__the_r_0136_0008__data,r_0136_0007__personal,attrib).
arc(r_0136_0013__handling,r_0136_0010__a_r_0136_0011__business_r_0136_0012__operator,inv_arg0).
arc(r_0136_0013__handling,r_0136_0015__information,arg1).
arc(r_0136_0015__information,r_0136_0014__personal,attrib).
arc(r_0136_0016__shall,r_0136_0005__the_r_0136_0008__data,r_0136_0004__With_respect_to__nim).
arc(r_0136_0016__shall,r_0136_0017__put,scope).
arc(r_0136_0017__put,r_0136_0010__a_r_0136_0011__business_r_0136_0012__operator,arg0).
arc(r_0136_0017__put,r_0136_0018__the_r_0136_0019__matters,arg1).
arc(r_0136_0020__listed,r_0136_0018__the_r_0136_0019__matters,inv_arg1).
arc(r_0136_0020__listed,r_0136_0022__the_r_0136_0024__items,r_0136_0021__in__nim).
arc(r_0136_0020__listed,z_0136_5028___star_,arg0).
arc(r_0136_0022__the_r_0136_0024__items,r_0136_0023__following,attrib).
arc(r_0136_0022__the_r_0136_0024__items,r_0136_0026__an_r_0136_0028__condition,r_0136_0025__in).
arc(r_0136_0026__an_r_0136_0028__condition,r_0136_0027__accessible,attrib).
arc(r_0136_0026__an_r_0136_0028__condition,r_0136_0030__the_r_0136_0031__person,r_0136_0029__for).
arc(r_0136_0026__an_r_0136_0028__condition,r_0136_0035__includes,prn).
arc(r_0136_0034__condition,r_0136_0033__such,attrib).
arc(r_0136_0035__includes,r_0136_0034__condition,arg0).
arc(r_0136_0035__includes,r_0136_0036__cases,arg1).
arc(r_0136_0041__is,r_0136_0036__cases,r_0136_0037__in__nim).
arc(r_0136_0041__is,r_0136_0042__made,scope).
arc(r_0136_0042__made,r_0136_0039__a_r_0136_0040__response,arg1).
arc(r_0136_0042__made,r_0136_0044__delay,r_0136_0043__without__nim).
arc(r_0136_0042__made,r_0136_0046__the_r_0136_0047__request,r_0136_0045__at__nim).
arc(r_0136_0042__made,z_0136_5024___star_,arg0).
arc(r_0136_0046__the_r_0136_0047__request,r_0136_0049__the_r_0136_0050__person,r_0136_0048__of).

fof(formula,axiom,
    ? [R_0136_0006__RETAINED,R_0136_0007__PERSONAL,R_0136_0005__THE_R_0136_0008__DATA,R_0136_0014__PERSONAL,R_0136_0015__INFORMATION,R_0136_0013__HANDLING,R_0136_0010__A_R_0136_0011__BUSINESS_R_0136_0012__OPERATOR,R_0136_0023__FOLLOWING,R_0136_0027__ACCESSIBLE,R_0136_0030__THE_R_0136_0031__PERSON,R_0136_0033__SUCH,R_0136_0034__CONDITION,R_0136_0036__CASES,R_0136_0035__INCLUDES,R_0136_0026__AN_R_0136_0028__CONDITION,R_0136_0022__THE_R_0136_0024__ITEMS,Z_0136_5028___STAR_,R_0136_0020__LISTED,R_0136_0018__THE_R_0136_0019__MATTERS,R_0136_0016__SHALL_R_0136_0017__PUT,R_0136_0039__A_R_0136_0040__RESPONSE,R_0136_0044__DELAY,R_0136_0049__THE_R_0136_0050__PERSON,R_0136_0046__THE_R_0136_0047__REQUEST,Z_0136_5024___STAR_,R_0136_0041__IS_R_0136_0042__MADE] :
      ( r_0136_0006__retained(R_0136_0006__RETAINED)
      & r_0136_0007__personal(R_0136_0007__PERSONAL)
      & r_0136_0014__personal(R_0136_0014__PERSONAL)
      & r_0136_0023__following(R_0136_0023__FOLLOWING)
      & r_0136_0027__accessible(R_0136_0027__ACCESSIBLE)
      & r_0136_0030__the_r_0136_0031__person(R_0136_0030__THE_R_0136_0031__PERSON)
      & r_0136_0033__such(R_0136_0033__SUCH)
      & r_0136_0036__cases(R_0136_0036__CASES)
      & r_0136_0039__a_r_0136_0040__response(R_0136_0039__A_R_0136_0040__RESPONSE)
      & r_0136_0044__delay(R_0136_0044__DELAY)
      & r_0136_0049__the_r_0136_0050__person(R_0136_0049__THE_R_0136_0050__PERSON)
      & z_0136_5024___star_(Z_0136_5024___STAR_)
      & z_0136_5028___star_(Z_0136_5028___STAR_)
      & r_0136_0041__is_r_0136_0042__made(R_0136_0041__IS_R_0136_0042__MADE)
      & has_arg0(R_0136_0041__IS_R_0136_0042__MADE,Z_0136_5024___STAR_)
      & has_r_0136_0045__at__nim(R_0136_0041__IS_R_0136_0042__MADE,R_0136_0046__THE_R_0136_0047__REQUEST)
      & r_0136_0046__the_r_0136_0047__request(R_0136_0046__THE_R_0136_0047__REQUEST)
      & has_r_0136_0048__of(R_0136_0046__THE_R_0136_0047__REQUEST,R_0136_0049__THE_R_0136_0050__PERSON)
      & has_r_0136_0043__without__nim(R_0136_0041__IS_R_0136_0042__MADE,R_0136_0044__DELAY)
      & has_arg1(R_0136_0041__IS_R_0136_0042__MADE,R_0136_0039__A_R_0136_0040__RESPONSE)
      & has_r_0136_0037__in__nim(R_0136_0041__IS_R_0136_0042__MADE,R_0136_0036__CASES)
      & r_0136_0016__shall_r_0136_0017__put(R_0136_0016__SHALL_R_0136_0017__PUT)
      & has_arg1(R_0136_0016__SHALL_R_0136_0017__PUT,R_0136_0018__THE_R_0136_0019__MATTERS)
      & r_0136_0018__the_r_0136_0019__matters(R_0136_0018__THE_R_0136_0019__MATTERS)
      & has_inv_arg1(R_0136_0018__THE_R_0136_0019__MATTERS,R_0136_0020__LISTED)
      & r_0136_0020__listed(R_0136_0020__LISTED)
      & has_arg0(R_0136_0020__LISTED,Z_0136_5028___STAR_)
      & has_r_0136_0021__in__nim(R_0136_0020__LISTED,R_0136_0022__THE_R_0136_0024__ITEMS)
      & r_0136_0022__the_r_0136_0024__items(R_0136_0022__THE_R_0136_0024__ITEMS)
      & has_r_0136_0025__in(R_0136_0022__THE_R_0136_0024__ITEMS,R_0136_0026__AN_R_0136_0028__CONDITION)
      & r_0136_0026__an_r_0136_0028__condition(R_0136_0026__AN_R_0136_0028__CONDITION)
      & has_prn(R_0136_0026__AN_R_0136_0028__CONDITION,R_0136_0035__INCLUDES)
      & r_0136_0035__includes(R_0136_0035__INCLUDES)
      & has_arg1(R_0136_0035__INCLUDES,R_0136_0036__CASES)
      & has_arg0(R_0136_0035__INCLUDES,R_0136_0034__CONDITION)
      & r_0136_0034__condition(R_0136_0034__CONDITION)
      & has_attrib(R_0136_0034__CONDITION,R_0136_0033__SUCH)
      & has_r_0136_0029__for(R_0136_0026__AN_R_0136_0028__CONDITION,R_0136_0030__THE_R_0136_0031__PERSON)
      & has_attrib(R_0136_0026__AN_R_0136_0028__CONDITION,R_0136_0027__ACCESSIBLE)
      & has_attrib(R_0136_0022__THE_R_0136_0024__ITEMS,R_0136_0023__FOLLOWING)
      & has_arg0(R_0136_0016__SHALL_R_0136_0017__PUT,R_0136_0010__A_R_0136_0011__BUSINESS_R_0136_0012__OPERATOR)
      & r_0136_0010__a_r_0136_0011__business_r_0136_0012__operator(R_0136_0010__A_R_0136_0011__BUSINESS_R_0136_0012__OPERATOR)
      & has_inv_arg0(R_0136_0010__A_R_0136_0011__BUSINESS_R_0136_0012__OPERATOR,R_0136_0013__HANDLING)
      & r_0136_0013__handling(R_0136_0013__HANDLING)
      & has_arg1(R_0136_0013__HANDLING,R_0136_0015__INFORMATION)
      & r_0136_0015__information(R_0136_0015__INFORMATION)
      & has_attrib(R_0136_0015__INFORMATION,R_0136_0014__PERSONAL)
      & has_r_0136_0004__With_respect_to__nim(R_0136_0016__SHALL_R_0136_0017__PUT,R_0136_0005__THE_R_0136_0008__DATA)
      & r_0136_0005__the_r_0136_0008__data(R_0136_0005__THE_R_0136_0008__DATA)
      & has_attrib(R_0136_0005__THE_R_0136_0008__DATA,R_0136_0007__PERSONAL)
      & has_attrib(R_0136_0005__THE_R_0136_0008__DATA,R_0136_0006__RETAINED) ) ).