TSPC 102_a_law

102_a_law_h15a119
(iii) Cases in which it is necessary to cooperate with a state organ or a local government in executing the affairs prescribed by laws and regulations and in which notifying the person of the Purpose of Utilization or publicly announcing it are likely to impede the execution of the affairs

( (FRAG (LST (PULB -LRB-)
             (LS iii)
             (PURB -RRB-))
        (NP (NS Cases;{case})
            (IP-REL (ILYR (ILYR (PP-NIM (P-ROLE in;{in})
                                        (NP (RPRO which;{which})))
                                (NP-SBJ (PRO;_provisional_ it;{it}))
                                (BEP;_La_ is;{be})
                                (ADJP-PRD (ADJ necessary;{necessary}))
                                (IP-INF-NSBJ (TO to;{to})
                                             (VB;_I_ cooperate;{cooperate})
                                             (PP-NIM (P-ROLE with;{with})
                                                     (NP (NLYR (NLYR (D a;{a})
                                                                     (N state;{state})
                                                                     (N organ;{organ}))
                                                               (CONJP (CONJ or;{or})
                                                                      (NLYR (D a;{a})
                                                                            (ADJP (ADJ local;{local}))
                                                                            (N government;{government}))))))
                                             (PP-NIM (P-ROLE in;{in})
                                                     (IP-PPL (VAG;_Tn_ executing;{execute})
                                                             (NP-OB1 (D the;{the})
                                                                     (NS affairs;{affair})
                                                                     (IP-PPL (VVN;_Tn_ prescribed;{prescribe})
                                                                             (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                     (NP (NLYR (NLYR (NS laws;{law}))
                                                                                               (CONJP (CONJ and;{and})
                                                                                                      (NLYR (NS regulations;{regulation}))))))))))))
                          (CONJP (CONJ and;{and})
                                 (ILYR (PP-NIM (P-ROLE in;{in})
                                               (NP (RPRO which;{which})))
                                       (IP-PPL-SBJ (ILYR (ILYR (VAG;_Tn.pr_ notifying;{notify[of]})
                                                               (NP-OB1 (D the;{the})
                                                                       (N person;{person}))
                                                               (PP-CLR (P-ROLE of;{of})
                                                                       (NP (D the;{the})
                                                                           (N Purpose;{purpose})
                                                                           (PP (P-ROLE of;{of})
                                                                               (NP (N Utilization;{utilization}))))))
                                                         (CONJP (CONJ or;{or})
                                                                (ILYR (ADVP-NIM (ADV publicly;{publicly}))
                                                                      (VAG;_Tn_ announcing;{announce})
                                                                      (NP-OB1 (PRO it;{it}))))))
                                       (BEP;_La_ are;{be})
                                       (ADJP-PRD (ADJ;_cat_ likely;{likely})
                                                 (IP-INF (TO to;{to})
                                                         (VB;_Tn_ impede;{impede})
                                                         (NP-OB1 (D the;{the})
                                                                 (N execution;{execution})
                                                                 (PP (P-ROLE of;{of})
                                                                     (NP (D the;{the})
                                                                         (NS affairs;{affair}))))))))))))
  (ID 102_a_law_h15a119;82_4_18_4iii))

arc(r_0102_0008__is,r_0102_0004__Cases,r_0102_0005__in__nim).
arc(r_0102_0008__is,r_0102_0009__necessary,prd).
arc(r_0102_0008__is,r_0102_0011__cooperate,arg0).
arc(r_0102_0011__cooperate,r_0102_0016__or,r_0102_0012__with__nim).
arc(r_0102_0011__cooperate,r_0102_0021__executing,r_0102_0020__in__nim).
arc(r_0102_0011__cooperate,z_0102_5004,arg0).
arc(r_0102_0016__or,r_0102_0013__a_r_0102_0014__state_r_0102_0015__organ,conj1).
arc(r_0102_0016__or,r_0102_0017__a_r_0102_0019__government,conj2).
arc(r_0102_0017__a_r_0102_0019__government,r_0102_0018__local,attrib).
arc(r_0102_0021__executing,r_0102_0022__the_r_0102_0023__affairs,arg1).
arc(r_0102_0021__executing,z_0102_5004,arg0).
arc(r_0102_0024__prescribed,r_0102_0022__the_r_0102_0023__affairs,inv_arg1).
arc(r_0102_0024__prescribed,r_0102_0027__and,r_0102_0025__by_arg0).
arc(r_0102_0027__and,r_0102_0026__laws,conj1).
arc(r_0102_0027__and,r_0102_0028__regulations,conj2).
arc(r_0102_0029__and,r_0102_0008__is,conj1).
arc(r_0102_0029__and,r_0102_0044__are,conj2).
arc(r_0102_0032__notifying_r_0102_0035__of,r_0102_0033__the_r_0102_0034__person,arg1).
arc(r_0102_0032__notifying_r_0102_0035__of,r_0102_0036__the_r_0102_0037__Purpose,arg2).
arc(r_0102_0032__notifying_r_0102_0035__of,z_0102_5022,arg0).
arc(r_0102_0036__the_r_0102_0037__Purpose,r_0102_0039__Utilization,r_0102_0038__of).
arc(r_0102_0040__or,r_0102_0032__notifying_r_0102_0035__of,conj1).
arc(r_0102_0040__or,r_0102_0042__announcing,conj2).
arc(r_0102_0042__announcing,r_0102_0041__publicly,nim).
arc(r_0102_0042__announcing,r_0102_0043__it,arg1).
arc(r_0102_0042__announcing,z_0102_5022,arg0).
arc(r_0102_0044__are,r_0102_0004__Cases,r_0102_0030__in__nim).
arc(r_0102_0044__are,r_0102_0045__likely,scope).
arc(r_0102_0045__likely,r_0102_0047__impede,scope).
arc(r_0102_0047__impede,r_0102_0040__or,arg0).
arc(r_0102_0047__impede,r_0102_0048__the_r_0102_0049__execution,arg1).
arc(r_0102_0048__the_r_0102_0049__execution,r_0102_0051__the_r_0102_0052__affairs,r_0102_0050__of).
arc(z_0102_5038,r_0102_0004__Cases,z_0102_5002).

fof(formula,axiom,
    ? [R_0102_0004__CASES,R_0102_0009__NECESSARY,R_0102_0013__A_R_0102_0014__STATE_R_0102_0015__ORGAN,R_0102_0018__LOCAL,R_0102_0017__A_R_0102_0019__GOVERNMENT,R_0102_0016__OR,R_0102_0026__LAWS,R_0102_0028__REGULATIONS,R_0102_0027__AND,R_0102_0024__PRESCRIBED,R_0102_0022__THE_R_0102_0023__AFFAIRS,Z_0102_5004,R_0102_0021__EXECUTING,R_0102_0011__COOPERATE,R_0102_0008__IS,R_0102_0033__THE_R_0102_0034__PERSON,R_0102_0039__UTILIZATION,R_0102_0036__THE_R_0102_0037__PURPOSE,Z_0102_5022,R_0102_0032__NOTIFYING_R_0102_0035__OF,R_0102_0041__PUBLICLY,R_0102_0043__IT,R_0102_0042__ANNOUNCING,R_0102_0040__OR,R_0102_0051__THE_R_0102_0052__AFFAIRS,R_0102_0048__THE_R_0102_0049__EXECUTION,R_0102_0044__ARE_R_0102_0045__LIKELY_R_0102_0047__IMPEDE,R_0102_0029__AND,Z_0102_5038] :
      ( r_0102_0004__Cases(R_0102_0004__CASES)
      & r_0102_0009__necessary(R_0102_0009__NECESSARY)
      & r_0102_0013__a_r_0102_0014__state_r_0102_0015__organ(R_0102_0013__A_R_0102_0014__STATE_R_0102_0015__ORGAN)
      & r_0102_0018__local(R_0102_0018__LOCAL)
      & r_0102_0026__laws(R_0102_0026__LAWS)
      & r_0102_0028__regulations(R_0102_0028__REGULATIONS)
      & r_0102_0033__the_r_0102_0034__person(R_0102_0033__THE_R_0102_0034__PERSON)
      & r_0102_0039__Utilization(R_0102_0039__UTILIZATION)
      & r_0102_0041__publicly(R_0102_0041__PUBLICLY)
      & r_0102_0043__it(R_0102_0043__IT)
      & r_0102_0051__the_r_0102_0052__affairs(R_0102_0051__THE_R_0102_0052__AFFAIRS)
      & z_0102_5004(Z_0102_5004)
      & z_0102_5022(Z_0102_5022)
      & z_0102_5038(Z_0102_5038)
      & has_z_0102_5002(Z_0102_5038,R_0102_0004__CASES)
      & r_0102_0029__and(R_0102_0029__AND)
      & has_conj2(R_0102_0029__AND,R_0102_0044__ARE_R_0102_0045__LIKELY_R_0102_0047__IMPEDE)
      & r_0102_0044__are_r_0102_0045__likely_r_0102_0047__impede(R_0102_0044__ARE_R_0102_0045__LIKELY_R_0102_0047__IMPEDE)
      & has_arg1(R_0102_0044__ARE_R_0102_0045__LIKELY_R_0102_0047__IMPEDE,R_0102_0048__THE_R_0102_0049__EXECUTION)
      & r_0102_0048__the_r_0102_0049__execution(R_0102_0048__THE_R_0102_0049__EXECUTION)
      & has_r_0102_0050__of(R_0102_0048__THE_R_0102_0049__EXECUTION,R_0102_0051__THE_R_0102_0052__AFFAIRS)
      & has_arg0(R_0102_0044__ARE_R_0102_0045__LIKELY_R_0102_0047__IMPEDE,R_0102_0040__OR)
      & r_0102_0040__or(R_0102_0040__OR)
      & has_conj2(R_0102_0040__OR,R_0102_0042__ANNOUNCING)
      & r_0102_0042__announcing(R_0102_0042__ANNOUNCING)
      & has_arg0(R_0102_0042__ANNOUNCING,Z_0102_5022)
      & has_arg1(R_0102_0042__ANNOUNCING,R_0102_0043__IT)
      & has_nim(R_0102_0042__ANNOUNCING,R_0102_0041__PUBLICLY)
      & has_conj1(R_0102_0040__OR,R_0102_0032__NOTIFYING_R_0102_0035__OF)
      & ~ ( has_arg0(R_0102_0032__NOTIFYING_R_0102_0035__OF,Z_0102_5022)
          & has_arg2(R_0102_0032__NOTIFYING_R_0102_0035__OF,R_0102_0036__THE_R_0102_0037__PURPOSE)
          & r_0102_0036__the_r_0102_0037__Purpose(R_0102_0036__THE_R_0102_0037__PURPOSE)
          & has_r_0102_0038__of(R_0102_0036__THE_R_0102_0037__PURPOSE,R_0102_0039__UTILIZATION)
          & has_arg1(R_0102_0032__NOTIFYING_R_0102_0035__OF,R_0102_0033__THE_R_0102_0034__PERSON) )
      & has_r_0102_0030__in__nim(R_0102_0044__ARE_R_0102_0045__LIKELY_R_0102_0047__IMPEDE,R_0102_0004__CASES)
      & has_conj1(R_0102_0029__AND,R_0102_0008__IS)
      & r_0102_0008__is(R_0102_0008__IS)
      & has_arg0(R_0102_0008__IS,R_0102_0011__COOPERATE)
      & r_0102_0011__cooperate(R_0102_0011__COOPERATE)
      & has_arg0(R_0102_0011__COOPERATE,Z_0102_5004)
      & has_r_0102_0020__in__nim(R_0102_0011__COOPERATE,R_0102_0021__EXECUTING)
      & r_0102_0021__executing(R_0102_0021__EXECUTING)
      & has_arg0(R_0102_0021__EXECUTING,Z_0102_5004)
      & has_arg1(R_0102_0021__EXECUTING,R_0102_0022__THE_R_0102_0023__AFFAIRS)
      & r_0102_0022__the_r_0102_0023__affairs(R_0102_0022__THE_R_0102_0023__AFFAIRS)
      & has_inv_arg1(R_0102_0022__THE_R_0102_0023__AFFAIRS,R_0102_0024__PRESCRIBED)
      & r_0102_0024__prescribed(R_0102_0024__PRESCRIBED)
      & has_r_0102_0025__by_arg0(R_0102_0024__PRESCRIBED,R_0102_0027__AND)
      & r_0102_0027__and(R_0102_0027__AND)
      & has_conj2(R_0102_0027__AND,R_0102_0028__REGULATIONS)
      & has_conj1(R_0102_0027__AND,R_0102_0026__LAWS)
      & has_r_0102_0012__with__nim(R_0102_0011__COOPERATE,R_0102_0016__OR)
      & r_0102_0016__or(R_0102_0016__OR)
      & has_conj2(R_0102_0016__OR,R_0102_0017__A_R_0102_0019__GOVERNMENT)
      & r_0102_0017__a_r_0102_0019__government(R_0102_0017__A_R_0102_0019__GOVERNMENT)
      & has_attrib(R_0102_0017__A_R_0102_0019__GOVERNMENT,R_0102_0018__LOCAL)
      & has_conj1(R_0102_0016__OR,R_0102_0013__A_R_0102_0014__STATE_R_0102_0015__ORGAN)
      & has_prd(R_0102_0008__IS,R_0102_0009__NECESSARY)
      & has_r_0102_0005__in__nim(R_0102_0008__IS,R_0102_0004__CASES) ) ).