TSPC 176_a_law

176_a_law_h15a119
(4) When a business operator determine the procedures for meeting requests for disclosure and others under the provisions of the preceding three paragraphs, the business operator shall take into consideration that the procedures will not impose excessively heavy burden on the persons making requests for disclosure and others.

( (IP-MAT (LST (PULB -LRB-)
               (LS 4)
               (PURB -RRB-))
          (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ;{OPER} (D a;{a})
                                          (N business;{business})
                                          (N operator;{operator}))
                           (VBP;_Tn_ determine;{determine})
                           (NP-OB1 (D the;{the})
                                   (NS procedures;{procedure})
                                   (PP (P-ROLE for;{for})
                                       (IP-PPL (VAG;_Tn_ meeting;{meet})
                                               (NP-OB1 (NS requests;{request})
                                                       (PP (P-ROLE for;{for})
                                                           (NP (NLYR (NLYR (N disclosure;{disclosure}))
                                                                     (CONJP (CONJ and;{and})
                                                                            (NLYR (NS others;{other})))))))
                                               (PP-NIM (P-ROLE under;{under})
                                                       (NP (D the;{the})
                                                           (NS provisions;{provision})
                                                           (PP (P-ROLE of;{of})
                                                               (NP (D the;{the})
                                                                   (ADJP (ADJ preceding;{preceding}))
                                                                   (NUM three;{three})
                                                                   (NS paragraphs;{paragraph}))))))))))
          (PUNC ,)
          (NP-SBJ;{OPER} (D the;{the})
                         (N business;{business})
                         (N operator;{operator}))
          (MD;_cat_Vi_ shall;{shall})
          (IP-INF-CAT (VB;_Tn.pr_ take;{take})
                      (PP-CLR (P-ROLE into;{into})
                              (NP (N consideration;{consideration})))
                      (CP-THT-NOB1 (IP-SUB (C that;{that})
                                           (NP-SBJ (D the;{the})
                                                   (NS procedures;{procedure}))
                                           (MD;_cat_Vi_ will;{will})
                                           (NEG not;{not})
                                           (IP-INF-CAT (VB;_Tn.pr_ impose;{impose[on]})
                                                       (NP-OB1 (ADJP (ADVP (ADV excessively;{excessively}))
                                                                     (ADJ heavy;{heavy}))
                                                               (N burden;{burden}))
                                                       (PP-CLR (P-ROLE on;{on})
                                                               (NP (D the;{the})
                                                                   (NS persons;{person})
                                                                   (IP-PPL (VAG;_Tn_ making;{make})
                                                                           (NP-OB1 (NS requests;{request})
                                                                                   (PP (P-ROLE for;{for})
                                                                                       (NP (NLYR (NLYR (N disclosure;{disclosure}))
                                                                                                 (CONJP (CONJ and;{and})
                                                                                                        (NLYR (NS others;{other}))))))))))))))
          (PUNC .))
  (ID 176_a_law_h15a119;139_4_29_4))

arc(r_0176_0004__When,r_0176_0008__determine,restriction).
arc(r_0176_0004__When,r_0176_0030__shall,scope).
arc(r_0176_0008__determine,r_0176_0005__a_r_0176_0006__business_r_0176_0007__operator,arg0).
arc(r_0176_0008__determine,r_0176_0009__the_r_0176_0010__procedures,arg1).
arc(r_0176_0009__the_r_0176_0010__procedures,r_0176_0012__meeting,r_0176_0011__for).
arc(r_0176_0012__meeting,r_0176_0013__requests,arg1).
arc(r_0176_0012__meeting,r_0176_0019__the_r_0176_0020__provisions,r_0176_0018__under__nim).
arc(r_0176_0012__meeting,z_0176_5006,arg0).
arc(r_0176_0013__requests,r_0176_0016__and,r_0176_0014__for).
arc(r_0176_0016__and,r_0176_0015__disclosure,conj1).
arc(r_0176_0016__and,r_0176_0017__others,conj2).
arc(r_0176_0019__the_r_0176_0020__provisions,r_0176_0022__the_r_0176_0024__three_r_0176_0025__paragraphs,r_0176_0021__of).
arc(r_0176_0022__the_r_0176_0024__three_r_0176_0025__paragraphs,r_0176_0023__preceding,attrib).
arc(r_0176_0030__shall,r_0176_0031__take_r_0176_0032__into,scope).
arc(r_0176_0031__take_r_0176_0032__into,r_0176_0005__a_r_0176_0006__business_r_0176_0007__operator,arg0).
arc(r_0176_0031__take_r_0176_0032__into,r_0176_0033__consideration,arg2).
arc(r_0176_0031__take_r_0176_0032__into,r_0176_0038__not,arg1).
arc(r_0176_0037__will,r_0176_0039__impose_r_0176_0043__on,scope).
arc(r_0176_0038__not,r_0176_0037__will,keep_scope).
arc(r_0176_0039__impose_r_0176_0043__on,r_0176_0035__the_r_0176_0036__procedures,arg0).
arc(r_0176_0039__impose_r_0176_0043__on,r_0176_0042__burden,arg1).
arc(r_0176_0039__impose_r_0176_0043__on,r_0176_0044__the_r_0176_0045__persons,arg2).
arc(r_0176_0041__heavy,r_0176_0040__excessively,qual).
arc(r_0176_0042__burden,r_0176_0041__heavy,attrib).
arc(r_0176_0046__making,r_0176_0044__the_r_0176_0045__persons,inv_arg0).
arc(r_0176_0046__making,r_0176_0047__requests,arg1).
arc(r_0176_0047__requests,r_0176_0050__and,r_0176_0048__for).
arc(r_0176_0050__and,r_0176_0049__disclosure,conj1).
arc(r_0176_0050__and,r_0176_0051__others,conj2).

fof(formula,axiom,
    ! [R_0176_0008__DETERMINE,R_0176_0005__A_R_0176_0006__BUSINESS_R_0176_0007__OPERATOR,R_0176_0015__DISCLOSURE,R_0176_0017__OTHERS,R_0176_0016__AND,R_0176_0013__REQUESTS,R_0176_0023__PRECEDING,R_0176_0022__THE_R_0176_0024__THREE_R_0176_0025__PARAGRAPHS,R_0176_0019__THE_R_0176_0020__PROVISIONS,Z_0176_5006,R_0176_0012__MEETING,R_0176_0009__THE_R_0176_0010__PROCEDURES] :
      ( ( r_0176_0005__a_r_0176_0006__business_r_0176_0007__operator(R_0176_0005__A_R_0176_0006__BUSINESS_R_0176_0007__OPERATOR)
        & r_0176_0015__disclosure(R_0176_0015__DISCLOSURE)
        & r_0176_0017__others(R_0176_0017__OTHERS)
        & r_0176_0023__preceding(R_0176_0023__PRECEDING)
        & z_0176_5006(Z_0176_5006)
        & r_0176_0008__determine(R_0176_0008__DETERMINE)
        & has_arg1(R_0176_0008__DETERMINE,R_0176_0009__THE_R_0176_0010__PROCEDURES)
        & r_0176_0009__the_r_0176_0010__procedures(R_0176_0009__THE_R_0176_0010__PROCEDURES)
        & has_r_0176_0011__for(R_0176_0009__THE_R_0176_0010__PROCEDURES,R_0176_0012__MEETING)
        & r_0176_0012__meeting(R_0176_0012__MEETING)
        & has_arg0(R_0176_0012__MEETING,Z_0176_5006)
        & has_r_0176_0018__under__nim(R_0176_0012__MEETING,R_0176_0019__THE_R_0176_0020__PROVISIONS)
        & r_0176_0019__the_r_0176_0020__provisions(R_0176_0019__THE_R_0176_0020__PROVISIONS)
        & has_r_0176_0021__of(R_0176_0019__THE_R_0176_0020__PROVISIONS,R_0176_0022__THE_R_0176_0024__THREE_R_0176_0025__PARAGRAPHS)
        & r_0176_0022__the_r_0176_0024__three_r_0176_0025__paragraphs(R_0176_0022__THE_R_0176_0024__THREE_R_0176_0025__PARAGRAPHS)
        & has_attrib(R_0176_0022__THE_R_0176_0024__THREE_R_0176_0025__PARAGRAPHS,R_0176_0023__PRECEDING)
        & has_arg1(R_0176_0012__MEETING,R_0176_0013__REQUESTS)
        & r_0176_0013__requests(R_0176_0013__REQUESTS)
        & has_r_0176_0014__for(R_0176_0013__REQUESTS,R_0176_0016__AND)
        & r_0176_0016__and(R_0176_0016__AND)
        & has_conj2(R_0176_0016__AND,R_0176_0017__OTHERS)
        & has_conj1(R_0176_0016__AND,R_0176_0015__DISCLOSURE)
        & has_arg0(R_0176_0008__DETERMINE,R_0176_0005__A_R_0176_0006__BUSINESS_R_0176_0007__OPERATOR) )
     => ? [R_0176_0033__CONSIDERATION,R_0176_0030__SHALL_R_0176_0031__TAKE_R_0176_0032__INTO] :
          ( r_0176_0033__consideration(R_0176_0033__CONSIDERATION)
          & r_0176_0030__shall_r_0176_0031__take_r_0176_0032__into(R_0176_0030__SHALL_R_0176_0031__TAKE_R_0176_0032__INTO)
          & has_arg1(R_0176_0030__SHALL_R_0176_0031__TAKE_R_0176_0032__INTO,R_0176_0038__NOT)
          & ~ ? [R_0176_0035__THE_R_0176_0036__PROCEDURES,R_0176_0040__EXCESSIVELY,R_0176_0041__HEAVY,R_0176_0042__BURDEN,R_0176_0049__DISCLOSURE,R_0176_0051__OTHERS,R_0176_0050__AND,R_0176_0047__REQUESTS,R_0176_0046__MAKING,R_0176_0044__THE_R_0176_0045__PERSONS,R_0176_0037__WILL_R_0176_0039__IMPOSE_R_0176_0043__ON] :
                ( r_0176_0035__the_r_0176_0036__procedures(R_0176_0035__THE_R_0176_0036__PROCEDURES)
                & r_0176_0040__excessively(R_0176_0040__EXCESSIVELY)
                & r_0176_0049__disclosure(R_0176_0049__DISCLOSURE)
                & r_0176_0051__others(R_0176_0051__OTHERS)
                & r_0176_0037__will_r_0176_0039__impose_r_0176_0043__on(R_0176_0037__WILL_R_0176_0039__IMPOSE_R_0176_0043__ON)
                & has_arg2(R_0176_0037__WILL_R_0176_0039__IMPOSE_R_0176_0043__ON,R_0176_0044__THE_R_0176_0045__PERSONS)
                & r_0176_0044__the_r_0176_0045__persons(R_0176_0044__THE_R_0176_0045__PERSONS)
                & has_inv_arg0(R_0176_0044__THE_R_0176_0045__PERSONS,R_0176_0046__MAKING)
                & r_0176_0046__making(R_0176_0046__MAKING)
                & has_arg1(R_0176_0046__MAKING,R_0176_0047__REQUESTS)
                & r_0176_0047__requests(R_0176_0047__REQUESTS)
                & has_r_0176_0048__for(R_0176_0047__REQUESTS,R_0176_0050__AND)
                & r_0176_0050__and(R_0176_0050__AND)
                & has_conj2(R_0176_0050__AND,R_0176_0051__OTHERS)
                & has_conj1(R_0176_0050__AND,R_0176_0049__DISCLOSURE)
                & has_arg1(R_0176_0037__WILL_R_0176_0039__IMPOSE_R_0176_0043__ON,R_0176_0042__BURDEN)
                & r_0176_0042__burden(R_0176_0042__BURDEN)
                & has_attrib(R_0176_0042__BURDEN,R_0176_0041__HEAVY)
                & r_0176_0041__heavy(R_0176_0041__HEAVY)
                & has_qual(R_0176_0041__HEAVY,R_0176_0040__EXCESSIVELY)
                & has_arg0(R_0176_0037__WILL_R_0176_0039__IMPOSE_R_0176_0043__ON,R_0176_0035__THE_R_0176_0036__PROCEDURES) )
          & has_arg2(R_0176_0030__SHALL_R_0176_0031__TAKE_R_0176_0032__INTO,R_0176_0033__CONSIDERATION)
          & has_arg0(R_0176_0030__SHALL_R_0176_0031__TAKE_R_0176_0032__INTO,R_0176_0005__A_R_0176_0006__BUSINESS_R_0176_0007__OPERATOR) ) ) ).