TSPC 79_a_law

79_a_law_h15a119
(1) When handling personal information, a business operator handling personal information shall specify the purpose of utilization of personal information (hereinafter referred to as “Purpose of Utilization”) as much as possible.

arc(r_0079_0004__When, r_0079_0005__handling, restriction).
arc(r_0079_0004__When, r_0079_0015__shall, scope).
arc(r_0079_0005__handling, r_0079_0007__information, arg1).
arc(r_0079_0005__handling, r_0079_0009__a_r_0079_0010__business_r_0079_0011__operator, arg0).
arc(r_0079_0007__information, r_0079_0006__personal, attrib16).
arc(r_0079_0012__handling, r_0079_0009__a_r_0079_0010__business_r_0079_0011__operator, arg0).
arc(r_0079_0012__handling, r_0079_0014__information, arg1).
arc(r_0079_0014__information, r_0079_0013__personal, attrib34).
arc(r_0079_0015__shall, r_0079_0016__specify, scope).
arc(r_0079_0016__specify, r_0079_0009__a_r_0079_0010__business_r_0079_0011__operator, arg0).
arc(r_0079_0016__specify, r_0079_0017__the_r_0079_0018__purpose, arg1).
arc(r_0079_0016__specify, r_0079_0036__much, nim95).
arc(r_0079_0017__the_r_0079_0018__purpose, r_0079_0020__utilization, r_0079_0019__of).
arc(r_0079_0020__utilization, r_0079_0023__information, r_0079_0021__of).
arc(r_0079_0023__information, r_0079_0022__personal, attrib59).
arc(r_0079_0026__referred, r_0079_0017__the_r_0079_0018__purpose, arg1).
arc(r_0079_0026__referred, r_0079_0025__hereinafter, nim69).
arc(r_0079_0026__referred, r_0079_0030__Purpose, prd).
arc(r_0079_0026__referred, z_000_79_a_law_h15a119_67, arg0).
arc(r_0079_0030__Purpose, r_0079_0032__Utilization, r_0079_0031__of).
arc(r_0079_0036__much, r_0079_0035__as, qual96).
arc(r_0079_0036__much, z_000_79_a_law_h15a119_104, r_0079_0037__as).
arc(z_000_79_a_law_h15a119_104, r_0079_0038__possible, attrib105).

fof(formula,axiom,
    ? [R_79_12_HANDLING,R_79_9_A_BUSINESS_OPERATOR,R_79_14_INFORMATION,R_79_13_PERSONAL,R_79_26_REFERRED,Z_79_A_LAW_H15A119_67,R_79_17_THE_PURPOSE,R_79_20_UTILIZATION,R_79_23_INFORMATION,R_79_22_PERSONAL,R_79_25_HEREINAFTER,R_79_30_PURPOSE,R_79_32_UTILIZATION] :
      ( a_business_operator(R_79_9_A_BUSINESS_OPERATOR)
      & personal(R_79_13_PERSONAL)
      & personal(R_79_22_PERSONAL)
      & hereinafter(R_79_25_HEREINAFTER)
      & utilization(R_79_32_UTILIZATION)
      & ! [R_79_5_HANDLING,R_79_7_INFORMATION,R_79_6_PERSONAL] :
          ( ( personal(R_79_6_PERSONAL)
            & handling(R_79_5_HANDLING,R_79_9_A_BUSINESS_OPERATOR,R_79_7_INFORMATION)
            & information(R_79_7_INFORMATION)
            & attrib16(R_79_7_INFORMATION,R_79_6_PERSONAL) )
         => ? [R_79_15_SHALL_SPECIFY,R_79_36_MUCH,R_79_35_AS,Z_79_A_LAW_H15A119_104,R_79_38_POSSIBLE] :
              ( as(R_79_35_AS)
              & possible(R_79_38_POSSIBLE)
              & shall_specify(R_79_15_SHALL_SPECIFY,R_79_9_A_BUSINESS_OPERATOR,R_79_17_THE_PURPOSE)
              & nim95(R_79_15_SHALL_SPECIFY,R_79_36_MUCH)
              & much(R_79_36_MUCH)
              & qual96(R_79_36_MUCH,R_79_35_AS)
              & as(R_79_36_MUCH,Z_79_A_LAW_H15A119_104)
              & z_79_a_law_h15a119_104(Z_79_A_LAW_H15A119_104)
              & attrib105(Z_79_A_LAW_H15A119_104,R_79_38_POSSIBLE) ) )
      & handling(R_79_12_HANDLING,R_79_9_A_BUSINESS_OPERATOR,R_79_14_INFORMATION)
      & information(R_79_14_INFORMATION)
      & attrib34(R_79_14_INFORMATION,R_79_13_PERSONAL)
      & referred(R_79_26_REFERRED,Z_79_A_LAW_H15A119_67,R_79_17_THE_PURPOSE,R_79_30_PURPOSE)
      & the_purpose(R_79_17_THE_PURPOSE)
      & of(R_79_17_THE_PURPOSE,R_79_20_UTILIZATION)
      & utilization(R_79_20_UTILIZATION)
      & of(R_79_20_UTILIZATION,R_79_23_INFORMATION)
      & information(R_79_23_INFORMATION)
      & attrib59(R_79_23_INFORMATION,R_79_22_PERSONAL)
      & purpose(R_79_30_PURPOSE)
      & of(R_79_30_PURPOSE,R_79_32_UTILIZATION)
      & nim69(R_79_26_REFERRED,R_79_25_HEREINAFTER) ) ).

( (IP-MAT (LST (PULB -LRB-)
               (LS 1)
               (PURB -RRB-))
          (PP-SCON (P-CONN When;{when})
                   (IP-PPL2 (VAG;_Tn_ handling;{handle})
                            (NP-OB1 (ADJP (ADJ personal;{personal}))
                                    (N information;{information}))))
          (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;_Tn_ specify;{specify})
                      (NP-OB1 (D the;{the})
                              (N purpose;{purpose})
                              (PP (P-ROLE of;{of})
                                  (NP (N utilization;{utilization})
                                      (PP (P-ROLE of;{of})
                                          (NP (ADJP (ADJ personal;{personal}))
                                              (N information;{information})))))
                              (IP-PPL (PULB -LRB-)
                                      (NP-LGS *)
                                      (ADVP-NIM (ADV hereinafter;{hereinafter}))
                                      (VVN;_phr_Vpr.n/a_ referred;{refer[to,as]})
                                      (PP-CLR (P-ROLE to;{to}))
                                      (PP-PRD (P-ROLE as;{as})
                                              (NP (PULQ <ldquo>)
                                                  (N Purpose;{purpose})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (N Utilization;{utilization})))
                                                  (PURQ <rdquo>)))
                                      (PURB -RRB-)))
                      (ADVP-NIM (ADVP (ADV as;{as}))
                                (ADV much;{much})
                                (PP (P-ROLE as;{as})
                                    (NP (ADJP (ADJ possible;{possible}))))))
          (PUNC .))
  (ID 79_a_law_h15a119;63_4_15_1))