Context                Previous, Next                Top


112_a_law_h15a119
When a business operator handling personal information has an employee handle personal data, it shall exercise necessary and appropriate supervision over the employee to ensure the security control of the personal data.

n112_a_law_h15a119 n112_a_law_h15a119__1_1_1_1 When n112_a_law_h15a119__1_1_2_1_1_1 a n112_a_law_h15a119__1_1_2_1_2_1 business n112_a_law_h15a119__1_1_2_1_3_1 operator n112_a_law_h15a119__1_1_2_1_4_1_1 handling n112_a_law_h15a119__1_1_2_1_4_2_1_1_1 personal n112_a_law_h15a119__1_1_2_1_4_2_2_1 information n112_a_law_h15a119__1_1_2_2_1 has n112_a_law_h15a119__1_1_2_3_1_1 an n112_a_law_h15a119__1_1_2_3_2_1 employee n112_a_law_h15a119__1_1_2_4_1_1 handle n112_a_law_h15a119__1_1_2_4_2_1_1_1 personal n112_a_law_h15a119__1_1_2_4_2_2_1 data n112_a_law_h15a119__1_2_1 , n112_a_law_h15a119__1_3_1_1 it n112_a_law_h15a119__1_4_1 shall n112_a_law_h15a119__1_5_1_1 exercise n112_a_law_h15a119__1_5_2_1_1_1_1_1 necessary n112_a_law_h15a119__1_5_2_1_1_2_1_1 and n112_a_law_h15a119__1_5_2_1_1_2_2_1_1 appropriate n112_a_law_h15a119__1_5_2_2_1 supervision n112_a_law_h15a119__1_5_2_3_1_1 over n112_a_law_h15a119__1_5_2_3_2_1_1 the n112_a_law_h15a119__1_5_2_3_2_2_1 employee n112_a_law_h15a119__1_5_3_1_1_1 to n112_a_law_h15a119__1_5_3_1_2_1 ensure n112_a_law_h15a119__1_5_3_1_3_1_1 the n112_a_law_h15a119__1_5_3_1_3_2_1 security n112_a_law_h15a119__1_5_3_1_3_3_1 control n112_a_law_h15a119__1_5_3_1_3_4_1_1 of n112_a_law_h15a119__1_5_3_1_3_4_2_1_1 the n112_a_law_h15a119__1_5_3_1_3_4_2_2_1_1 personal n112_a_law_h15a119__1_5_3_1_3_4_2_3_1 data n112_a_law_h15a119__1_6_1 . n112_a_law_h15a119__1 IP-MAT n112_a_law_h15a119__1_1 PP-SCON n112_a_law_h15a119__1->n112_a_law_h15a119__1_1 n112_a_law_h15a119__1_2 PUNC n112_a_law_h15a119__1->n112_a_law_h15a119__1_2 n112_a_law_h15a119__1_3 NP-SBJ n112_a_law_h15a119__1->n112_a_law_h15a119__1_3 n112_a_law_h15a119__1_4 MD;_cat_Vi_ n112_a_law_h15a119__1->n112_a_law_h15a119__1_4 n112_a_law_h15a119__1_5 IP-INF-CAT n112_a_law_h15a119__1->n112_a_law_h15a119__1_5 n112_a_law_h15a119__1_6 PUNC n112_a_law_h15a119__1->n112_a_law_h15a119__1_6 n112_a_law_h15a119__1_1_1 P-CONN n112_a_law_h15a119__1_1->n112_a_law_h15a119__1_1_1 n112_a_law_h15a119__1_1_2 IP-ADV n112_a_law_h15a119__1_1->n112_a_law_h15a119__1_1_2 n112_a_law_h15a119__1_1_1->n112_a_law_h15a119__1_1_1_1 n112_a_law_h15a119__1_1_2_1 NP-SBJ n112_a_law_h15a119__1_1_2->n112_a_law_h15a119__1_1_2_1 n112_a_law_h15a119__1_1_2_2 HVP;_Cn.i_ n112_a_law_h15a119__1_1_2->n112_a_law_h15a119__1_1_2_2 n112_a_law_h15a119__1_1_2_3 NP-OB1 n112_a_law_h15a119__1_1_2->n112_a_law_h15a119__1_1_2_3 n112_a_law_h15a119__1_1_2_4 IP-INF-PRD n112_a_law_h15a119__1_1_2->n112_a_law_h15a119__1_1_2_4 n112_a_law_h15a119__1_1_2_1_1 D n112_a_law_h15a119__1_1_2_1->n112_a_law_h15a119__1_1_2_1_1 n112_a_law_h15a119__1_1_2_1_2 N n112_a_law_h15a119__1_1_2_1->n112_a_law_h15a119__1_1_2_1_2 n112_a_law_h15a119__1_1_2_1_3 N n112_a_law_h15a119__1_1_2_1->n112_a_law_h15a119__1_1_2_1_3 n112_a_law_h15a119__1_1_2_1_4 IP-PPL n112_a_law_h15a119__1_1_2_1->n112_a_law_h15a119__1_1_2_1_4 n112_a_law_h15a119__1_1_2_1_1->n112_a_law_h15a119__1_1_2_1_1_1 n112_a_law_h15a119__1_1_2_1_2->n112_a_law_h15a119__1_1_2_1_2_1 n112_a_law_h15a119__1_1_2_1_3->n112_a_law_h15a119__1_1_2_1_3_1 n112_a_law_h15a119__1_1_2_1_4_1 VAG;_Tn_ n112_a_law_h15a119__1_1_2_1_4->n112_a_law_h15a119__1_1_2_1_4_1 n112_a_law_h15a119__1_1_2_1_4_2 NP-OB1 n112_a_law_h15a119__1_1_2_1_4->n112_a_law_h15a119__1_1_2_1_4_2 n112_a_law_h15a119__1_1_2_1_4_1->n112_a_law_h15a119__1_1_2_1_4_1_1 n112_a_law_h15a119__1_1_2_1_4_2_1 ADJP n112_a_law_h15a119__1_1_2_1_4_2->n112_a_law_h15a119__1_1_2_1_4_2_1 n112_a_law_h15a119__1_1_2_1_4_2_2 N n112_a_law_h15a119__1_1_2_1_4_2->n112_a_law_h15a119__1_1_2_1_4_2_2 n112_a_law_h15a119__1_1_2_1_4_2_1_1 ADJ n112_a_law_h15a119__1_1_2_1_4_2_1->n112_a_law_h15a119__1_1_2_1_4_2_1_1 n112_a_law_h15a119__1_1_2_1_4_2_1_1->n112_a_law_h15a119__1_1_2_1_4_2_1_1_1 n112_a_law_h15a119__1_1_2_1_4_2_2->n112_a_law_h15a119__1_1_2_1_4_2_2_1 n112_a_law_h15a119__1_1_2_2->n112_a_law_h15a119__1_1_2_2_1 n112_a_law_h15a119__1_1_2_3_1 D n112_a_law_h15a119__1_1_2_3->n112_a_law_h15a119__1_1_2_3_1 n112_a_law_h15a119__1_1_2_3_2 N n112_a_law_h15a119__1_1_2_3->n112_a_law_h15a119__1_1_2_3_2 n112_a_law_h15a119__1_1_2_3_1->n112_a_law_h15a119__1_1_2_3_1_1 n112_a_law_h15a119__1_1_2_3_2->n112_a_law_h15a119__1_1_2_3_2_1 n112_a_law_h15a119__1_1_2_4_1 VB;_Tn_ n112_a_law_h15a119__1_1_2_4->n112_a_law_h15a119__1_1_2_4_1 n112_a_law_h15a119__1_1_2_4_2 NP-OB1 n112_a_law_h15a119__1_1_2_4->n112_a_law_h15a119__1_1_2_4_2 n112_a_law_h15a119__1_1_2_4_1->n112_a_law_h15a119__1_1_2_4_1_1 n112_a_law_h15a119__1_1_2_4_2_1 ADJP n112_a_law_h15a119__1_1_2_4_2->n112_a_law_h15a119__1_1_2_4_2_1 n112_a_law_h15a119__1_1_2_4_2_2 NS n112_a_law_h15a119__1_1_2_4_2->n112_a_law_h15a119__1_1_2_4_2_2 n112_a_law_h15a119__1_1_2_4_2_1_1 ADJ n112_a_law_h15a119__1_1_2_4_2_1->n112_a_law_h15a119__1_1_2_4_2_1_1 n112_a_law_h15a119__1_1_2_4_2_1_1->n112_a_law_h15a119__1_1_2_4_2_1_1_1 n112_a_law_h15a119__1_1_2_4_2_2->n112_a_law_h15a119__1_1_2_4_2_2_1 n112_a_law_h15a119__1_2->n112_a_law_h15a119__1_2_1 n112_a_law_h15a119__1_3_1 PRO n112_a_law_h15a119__1_3->n112_a_law_h15a119__1_3_1 n112_a_law_h15a119__1_3_1->n112_a_law_h15a119__1_3_1_1 n112_a_law_h15a119__1_4->n112_a_law_h15a119__1_4_1 n112_a_law_h15a119__1_5_1 VB;_Tn_ n112_a_law_h15a119__1_5->n112_a_law_h15a119__1_5_1 n112_a_law_h15a119__1_5_2 NP-OB1 n112_a_law_h15a119__1_5->n112_a_law_h15a119__1_5_2 n112_a_law_h15a119__1_5_3 PP-SCON n112_a_law_h15a119__1_5->n112_a_law_h15a119__1_5_3 n112_a_law_h15a119__1_5_1->n112_a_law_h15a119__1_5_1_1 n112_a_law_h15a119__1_5_2_1 ADJP n112_a_law_h15a119__1_5_2->n112_a_law_h15a119__1_5_2_1 n112_a_law_h15a119__1_5_2_2 N n112_a_law_h15a119__1_5_2->n112_a_law_h15a119__1_5_2_2 n112_a_law_h15a119__1_5_2_3 PP n112_a_law_h15a119__1_5_2->n112_a_law_h15a119__1_5_2_3 n112_a_law_h15a119__1_5_2_1_1 AJLYR n112_a_law_h15a119__1_5_2_1->n112_a_law_h15a119__1_5_2_1_1 n112_a_law_h15a119__1_5_2_1_1_1 AJLYR n112_a_law_h15a119__1_5_2_1_1->n112_a_law_h15a119__1_5_2_1_1_1 n112_a_law_h15a119__1_5_2_1_1_2 CONJP n112_a_law_h15a119__1_5_2_1_1->n112_a_law_h15a119__1_5_2_1_1_2 n112_a_law_h15a119__1_5_2_1_1_1_1 ADJ n112_a_law_h15a119__1_5_2_1_1_1->n112_a_law_h15a119__1_5_2_1_1_1_1 n112_a_law_h15a119__1_5_2_1_1_1_1->n112_a_law_h15a119__1_5_2_1_1_1_1_1 n112_a_law_h15a119__1_5_2_1_1_2_1 CONJ n112_a_law_h15a119__1_5_2_1_1_2->n112_a_law_h15a119__1_5_2_1_1_2_1 n112_a_law_h15a119__1_5_2_1_1_2_2 AJLYR n112_a_law_h15a119__1_5_2_1_1_2->n112_a_law_h15a119__1_5_2_1_1_2_2 n112_a_law_h15a119__1_5_2_1_1_2_1->n112_a_law_h15a119__1_5_2_1_1_2_1_1 n112_a_law_h15a119__1_5_2_1_1_2_2_1 ADJ n112_a_law_h15a119__1_5_2_1_1_2_2->n112_a_law_h15a119__1_5_2_1_1_2_2_1 n112_a_law_h15a119__1_5_2_1_1_2_2_1->n112_a_law_h15a119__1_5_2_1_1_2_2_1_1 n112_a_law_h15a119__1_5_2_2->n112_a_law_h15a119__1_5_2_2_1 n112_a_law_h15a119__1_5_2_3_1 P-ROLE n112_a_law_h15a119__1_5_2_3->n112_a_law_h15a119__1_5_2_3_1 n112_a_law_h15a119__1_5_2_3_2 NP n112_a_law_h15a119__1_5_2_3->n112_a_law_h15a119__1_5_2_3_2 n112_a_law_h15a119__1_5_2_3_1->n112_a_law_h15a119__1_5_2_3_1_1 n112_a_law_h15a119__1_5_2_3_2_1 D n112_a_law_h15a119__1_5_2_3_2->n112_a_law_h15a119__1_5_2_3_2_1 n112_a_law_h15a119__1_5_2_3_2_2 N n112_a_law_h15a119__1_5_2_3_2->n112_a_law_h15a119__1_5_2_3_2_2 n112_a_law_h15a119__1_5_2_3_2_1->n112_a_law_h15a119__1_5_2_3_2_1_1 n112_a_law_h15a119__1_5_2_3_2_2->n112_a_law_h15a119__1_5_2_3_2_2_1 n112_a_law_h15a119__1_5_3_1 IP-INF2 n112_a_law_h15a119__1_5_3->n112_a_law_h15a119__1_5_3_1 n112_a_law_h15a119__1_5_3_1_1 TO n112_a_law_h15a119__1_5_3_1->n112_a_law_h15a119__1_5_3_1_1 n112_a_law_h15a119__1_5_3_1_2 VB;_Tn_ n112_a_law_h15a119__1_5_3_1->n112_a_law_h15a119__1_5_3_1_2 n112_a_law_h15a119__1_5_3_1_3 NP-OB1 n112_a_law_h15a119__1_5_3_1->n112_a_law_h15a119__1_5_3_1_3 n112_a_law_h15a119__1_5_3_1_1->n112_a_law_h15a119__1_5_3_1_1_1 n112_a_law_h15a119__1_5_3_1_2->n112_a_law_h15a119__1_5_3_1_2_1 n112_a_law_h15a119__1_5_3_1_3_1 D n112_a_law_h15a119__1_5_3_1_3->n112_a_law_h15a119__1_5_3_1_3_1 n112_a_law_h15a119__1_5_3_1_3_2 N n112_a_law_h15a119__1_5_3_1_3->n112_a_law_h15a119__1_5_3_1_3_2 n112_a_law_h15a119__1_5_3_1_3_3 N n112_a_law_h15a119__1_5_3_1_3->n112_a_law_h15a119__1_5_3_1_3_3 n112_a_law_h15a119__1_5_3_1_3_4 PP n112_a_law_h15a119__1_5_3_1_3->n112_a_law_h15a119__1_5_3_1_3_4 n112_a_law_h15a119__1_5_3_1_3_1->n112_a_law_h15a119__1_5_3_1_3_1_1 n112_a_law_h15a119__1_5_3_1_3_2->n112_a_law_h15a119__1_5_3_1_3_2_1 n112_a_law_h15a119__1_5_3_1_3_3->n112_a_law_h15a119__1_5_3_1_3_3_1 n112_a_law_h15a119__1_5_3_1_3_4_1 P-ROLE n112_a_law_h15a119__1_5_3_1_3_4->n112_a_law_h15a119__1_5_3_1_3_4_1 n112_a_law_h15a119__1_5_3_1_3_4_2 NP n112_a_law_h15a119__1_5_3_1_3_4->n112_a_law_h15a119__1_5_3_1_3_4_2 n112_a_law_h15a119__1_5_3_1_3_4_1->n112_a_law_h15a119__1_5_3_1_3_4_1_1 n112_a_law_h15a119__1_5_3_1_3_4_2_1 D n112_a_law_h15a119__1_5_3_1_3_4_2->n112_a_law_h15a119__1_5_3_1_3_4_2_1 n112_a_law_h15a119__1_5_3_1_3_4_2_2 ADJP n112_a_law_h15a119__1_5_3_1_3_4_2->n112_a_law_h15a119__1_5_3_1_3_4_2_2 n112_a_law_h15a119__1_5_3_1_3_4_2_3 NS n112_a_law_h15a119__1_5_3_1_3_4_2->n112_a_law_h15a119__1_5_3_1_3_4_2_3 n112_a_law_h15a119__1_5_3_1_3_4_2_1->n112_a_law_h15a119__1_5_3_1_3_4_2_1_1 n112_a_law_h15a119__1_5_3_1_3_4_2_2_1 ADJ n112_a_law_h15a119__1_5_3_1_3_4_2_2->n112_a_law_h15a119__1_5_3_1_3_4_2_2_1 n112_a_law_h15a119__1_5_3_1_3_4_2_2_1->n112_a_law_h15a119__1_5_3_1_3_4_2_2_1_1 n112_a_law_h15a119__1_5_3_1_3_4_2_3->n112_a_law_h15a119__1_5_3_1_3_4_2_3_1 n112_a_law_h15a119__1_6->n112_a_law_h15a119__1_6_1 
( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ;{OPER} (D a;{a})
                                          (N business;{business})
                                          (N operator;{operator})
                                          (IP-PPL (VAG;_Tn_ handling;{handle})
                                                  (NP-OB1 (ADJP (ADJ personal;{personal}))
                                                          (N information;{information}))))
                           (HVP;_Cn.i_ has;{have})
                           (NP-OB1 (D an;{an})
                                   (N employee;{employee}))
                           (IP-INF-PRD (VB;_Tn_ handle;{handle})
                                       (NP-OB1 (ADJP (ADJ personal;{personal}))
                                               (NS data;{data})))))
          (PUNC ,)
          (NP-SBJ;{OPER} (PRO it;{it}))
          (MD;_cat_Vi_ shall;{shall})
          (IP-INF-CAT (VB;_Tn_ exercise;{exercise})
                      (NP-OB1 (ADJP (AJLYR (AJLYR (ADJ necessary;{necessary}))
                                           (CONJP (CONJ and;{and})
                                                  (AJLYR (ADJ appropriate;{appropriate})))))
                              (N supervision;{supervision})
                              (PP (P-ROLE over;{over})
                                  (NP (D the;{the})
                                      (N employee;{employee}))))
                      (PP-SCON (IP-INF2 (TO to;{to})
                                        (VB;_Tn_ ensure;{ensure})
                                        (NP-OB1 (D the;{the})
                                                (N security;{security})
                                                (N control;{control})
                                                (PP (P-ROLE of;{of})
                                                    (NP (D the;{the})
                                                        (ADJP (ADJ personal;{personal}))
                                                        (NS data;{data})))))))
          (PUNC .))
  (ID 112_a_law_h15a119;89_4_21))


%3 z_0112_5021 r_0112_0026__ensure ensure z_0112_5021->r_0112_0026__ensure [restriction] r_0112_0017__exercise exercise z_0112_5021->r_0112_0017__exercise [scope] r_0112_0027__the_r_0112_0028__security_r_0112_0029__control the security control r_0112_0026__ensure->r_0112_0027__the_r_0112_0028__security_r_0112_0029__control [arg1] r_0112_0002__a_r_0112_0003__business_r_0112_0004__operator a business operator r_0112_0026__ensure->r_0112_0002__a_r_0112_0003__business_r_0112_0004__operator [arg0] r_0112_0017__exercise->r_0112_0002__a_r_0112_0003__business_r_0112_0004__operator [arg0] r_0112_0021__supervision supervision r_0112_0017__exercise->r_0112_0021__supervision [arg1] r_0112_0031__the_r_0112_0033__data the data r_0112_0032__personal personal r_0112_0031__the_r_0112_0033__data->r_0112_0032__personal [attrib] r_0112_0027__the_r_0112_0028__security_r_0112_0029__control->r_0112_0031__the_r_0112_0033__data of r_0112_0023__the_r_0112_0024__employee the employee r_0112_0021__supervision->r_0112_0023__the_r_0112_0024__employee over r_0112_0019__and and r_0112_0021__supervision->r_0112_0019__and [attrib] r_0112_0020__appropriate appropriate r_0112_0019__and->r_0112_0020__appropriate [conj2] r_0112_0018__necessary necessary r_0112_0019__and->r_0112_0018__necessary [conj1] r_0112_0016__shall shall r_0112_0016__shall->z_0112_5021 [scope] r_0112_0013__data data r_0112_0012__personal personal r_0112_0013__data->r_0112_0012__personal [attrib] r_0112_0011__handle handle r_0112_0011__handle->r_0112_0013__data [arg1] z_0112_5009 r_0112_0011__handle->z_0112_5009 [arg0] r_0112_0008__has has r_0112_0008__has->r_0112_0002__a_r_0112_0003__business_r_0112_0004__operator [arg0] r_0112_0008__has->r_0112_0011__handle [prd] r_0112_0009__an_r_0112_0010__employee an employee r_0112_0008__has->r_0112_0009__an_r_0112_0010__employee [arg1] r_0112_0007__information information r_0112_0006__personal personal r_0112_0007__information->r_0112_0006__personal [attrib] r_0112_0005__handling handling r_0112_0005__handling->r_0112_0002__a_r_0112_0003__business_r_0112_0004__operator [inv_arg0] r_0112_0005__handling->r_0112_0007__information [arg1] r_0112_0001__When When r_0112_0001__When->r_0112_0016__shall [scope] r_0112_0001__When->r_0112_0008__has [restriction] 
arc(r_0112_0001__When,r_0112_0008__has,restriction).
arc(r_0112_0001__When,r_0112_0016__shall,scope).
arc(r_0112_0005__handling,r_0112_0002__a_r_0112_0003__business_r_0112_0004__operator,inv_arg0).
arc(r_0112_0005__handling,r_0112_0007__information,arg1).
arc(r_0112_0007__information,r_0112_0006__personal,attrib).
arc(r_0112_0008__has,r_0112_0002__a_r_0112_0003__business_r_0112_0004__operator,arg0).
arc(r_0112_0008__has,r_0112_0009__an_r_0112_0010__employee,arg1).
arc(r_0112_0008__has,r_0112_0011__handle,prd).
arc(r_0112_0011__handle,r_0112_0013__data,arg1).
arc(r_0112_0011__handle,z_0112_5009,arg0).
arc(r_0112_0013__data,r_0112_0012__personal,attrib).
arc(r_0112_0016__shall,z_0112_5021,scope).
arc(r_0112_0017__exercise,r_0112_0002__a_r_0112_0003__business_r_0112_0004__operator,arg0).
arc(r_0112_0017__exercise,r_0112_0021__supervision,arg1).
arc(r_0112_0019__and,r_0112_0018__necessary,conj1).
arc(r_0112_0019__and,r_0112_0020__appropriate,conj2).
arc(r_0112_0021__supervision,r_0112_0019__and,attrib).
arc(r_0112_0021__supervision,r_0112_0023__the_r_0112_0024__employee,r_0112_0022__over).
arc(r_0112_0026__ensure,r_0112_0002__a_r_0112_0003__business_r_0112_0004__operator,arg0).
arc(r_0112_0026__ensure,r_0112_0027__the_r_0112_0028__security_r_0112_0029__control,arg1).
arc(r_0112_0027__the_r_0112_0028__security_r_0112_0029__control,r_0112_0031__the_r_0112_0033__data,r_0112_0030__of).
arc(r_0112_0031__the_r_0112_0033__data,r_0112_0032__personal,attrib).
arc(z_0112_5021,r_0112_0017__exercise,scope).
arc(z_0112_5021,r_0112_0026__ensure,restriction).


%3 r_0112_0001__When When r_0112_0008__has has r_0112_0001__When->r_0112_0008__has [restriction] r_0112_0016__shall shall r_0112_0001__When->r_0112_0016__shall [scope] r_0112_0002__a_r_0112_0003__business_r_0112_0004__operator a business operator r_0112_0008__has->r_0112_0002__a_r_0112_0003__business_r_0112_0004__operator [arg0] r_0112_0009__an_r_0112_0010__employee an employee r_0112_0008__has->r_0112_0009__an_r_0112_0010__employee [arg1] r_0112_0011__handle handle r_0112_0008__has->r_0112_0011__handle [prd] z_0112_5021 r_0112_0016__shall->z_0112_5021 [keep_scope] r_0112_0005__handling handling r_0112_0002__a_r_0112_0003__business_r_0112_0004__operator->r_0112_0005__handling [inv_arg0] r_0112_0007__information information r_0112_0005__handling->r_0112_0007__information [arg1] r_0112_0006__personal personal r_0112_0007__information->r_0112_0006__personal [attrib] r_0112_0013__data data r_0112_0011__handle->r_0112_0013__data [arg1] z_0112_5009 r_0112_0011__handle->z_0112_5009 [arg0] r_0112_0012__personal personal r_0112_0013__data->r_0112_0012__personal [attrib] r_0112_0017__exercise exercise r_0112_0017__exercise->r_0112_0002__a_r_0112_0003__business_r_0112_0004__operator [arg0] r_0112_0021__supervision supervision r_0112_0017__exercise->r_0112_0021__supervision [arg1] r_0112_0019__and and r_0112_0021__supervision->r_0112_0019__and [attrib] r_0112_0023__the_r_0112_0024__employee the employee r_0112_0021__supervision->r_0112_0023__the_r_0112_0024__employee over r_0112_0018__necessary necessary r_0112_0019__and->r_0112_0018__necessary [conj1] r_0112_0020__appropriate appropriate r_0112_0019__and->r_0112_0020__appropriate [conj2] r_0112_0026__ensure ensure r_0112_0026__ensure->r_0112_0002__a_r_0112_0003__business_r_0112_0004__operator [arg0] r_0112_0027__the_r_0112_0028__security_r_0112_0029__control the security control r_0112_0026__ensure->r_0112_0027__the_r_0112_0028__security_r_0112_0029__control [arg1] r_0112_0031__the_r_0112_0033__data the data r_0112_0027__the_r_0112_0028__security_r_0112_0029__control->r_0112_0031__the_r_0112_0033__data of r_0112_0032__personal personal r_0112_0031__the_r_0112_0033__data->r_0112_0032__personal [attrib] z_0112_5021->r_0112_0017__exercise [conj2] z_0112_5021->r_0112_0026__ensure [conj1] 
fof(formula,axiom,
    ! [R_0112_0008__HAS,R_0112_0006__PERSONAL,R_0112_0007__INFORMATION,R_0112_0005__HANDLING,R_0112_0002__A_R_0112_0003__BUSINESS_R_0112_0004__OPERATOR,R_0112_0009__AN_R_0112_0010__EMPLOYEE,R_0112_0012__PERSONAL,R_0112_0013__DATA,Z_0112_5009,R_0112_0011__HANDLE] :
      ( ( r_0112_0006__personal(R_0112_0006__PERSONAL)
        & r_0112_0009__an_r_0112_0010__employee(R_0112_0009__AN_R_0112_0010__EMPLOYEE)
        & r_0112_0012__personal(R_0112_0012__PERSONAL)
        & z_0112_5009(Z_0112_5009)
        & r_0112_0008__has(R_0112_0008__HAS)
        & has_prd(R_0112_0008__HAS,R_0112_0011__HANDLE)
        & r_0112_0011__handle(R_0112_0011__HANDLE)
        & has_arg0(R_0112_0011__HANDLE,Z_0112_5009)
        & has_arg1(R_0112_0011__HANDLE,R_0112_0013__DATA)
        & r_0112_0013__data(R_0112_0013__DATA)
        & has_attrib(R_0112_0013__DATA,R_0112_0012__PERSONAL)
        & has_arg1(R_0112_0008__HAS,R_0112_0009__AN_R_0112_0010__EMPLOYEE)
        & has_arg0(R_0112_0008__HAS,R_0112_0002__A_R_0112_0003__BUSINESS_R_0112_0004__OPERATOR)
        & r_0112_0002__a_r_0112_0003__business_r_0112_0004__operator(R_0112_0002__A_R_0112_0003__BUSINESS_R_0112_0004__OPERATOR)
        & has_inv_arg0(R_0112_0002__A_R_0112_0003__BUSINESS_R_0112_0004__OPERATOR,R_0112_0005__HANDLING)
        & r_0112_0005__handling(R_0112_0005__HANDLING)
        & has_arg1(R_0112_0005__HANDLING,R_0112_0007__INFORMATION)
        & r_0112_0007__information(R_0112_0007__INFORMATION)
        & has_attrib(R_0112_0007__INFORMATION,R_0112_0006__PERSONAL) )
     => ? [R_0112_0018__NECESSARY,R_0112_0020__APPROPRIATE,R_0112_0019__AND,R_0112_0023__THE_R_0112_0024__EMPLOYEE,R_0112_0021__SUPERVISION,R_0112_0017__EXERCISE,R_0112_0032__PERSONAL,R_0112_0031__THE_R_0112_0033__DATA,R_0112_0027__THE_R_0112_0028__SECURITY_R_0112_0029__CONTROL,R_0112_0026__ENSURE,Z_0112_5021,R_0112_0016__SHALL] :
          ( r_0112_0018__necessary(R_0112_0018__NECESSARY)
          & r_0112_0020__appropriate(R_0112_0020__APPROPRIATE)
          & r_0112_0023__the_r_0112_0024__employee(R_0112_0023__THE_R_0112_0024__EMPLOYEE)
          & r_0112_0032__personal(R_0112_0032__PERSONAL)
          & r_0112_0016__shall(R_0112_0016__SHALL)
          & has_keep_scope(R_0112_0016__SHALL,Z_0112_5021)
          & z_0112_5021(Z_0112_5021)
          & has_conj1(Z_0112_5021,R_0112_0026__ENSURE)
          & r_0112_0026__ensure(R_0112_0026__ENSURE)
          & has_arg1(R_0112_0026__ENSURE,R_0112_0027__THE_R_0112_0028__SECURITY_R_0112_0029__CONTROL)
          & r_0112_0027__the_r_0112_0028__security_r_0112_0029__control(R_0112_0027__THE_R_0112_0028__SECURITY_R_0112_0029__CONTROL)
          & has_r_0112_0030__of(R_0112_0027__THE_R_0112_0028__SECURITY_R_0112_0029__CONTROL,R_0112_0031__THE_R_0112_0033__DATA)
          & r_0112_0031__the_r_0112_0033__data(R_0112_0031__THE_R_0112_0033__DATA)
          & has_attrib(R_0112_0031__THE_R_0112_0033__DATA,R_0112_0032__PERSONAL)
          & has_arg0(R_0112_0026__ENSURE,R_0112_0002__A_R_0112_0003__BUSINESS_R_0112_0004__OPERATOR)
          & has_conj2(Z_0112_5021,R_0112_0017__EXERCISE)
          & r_0112_0017__exercise(R_0112_0017__EXERCISE)
          & has_arg1(R_0112_0017__EXERCISE,R_0112_0021__SUPERVISION)
          & r_0112_0021__supervision(R_0112_0021__SUPERVISION)
          & has_r_0112_0022__over(R_0112_0021__SUPERVISION,R_0112_0023__THE_R_0112_0024__EMPLOYEE)
          & has_attrib(R_0112_0021__SUPERVISION,R_0112_0019__AND)
          & r_0112_0019__and(R_0112_0019__AND)
          & has_conj2(R_0112_0019__AND,R_0112_0020__APPROPRIATE)
          & has_conj1(R_0112_0019__AND,R_0112_0018__NECESSARY)
          & has_arg0(R_0112_0017__EXERCISE,R_0112_0002__A_R_0112_0003__BUSINESS_R_0112_0004__OPERATOR) ) ) ).