TSPC 100_a_law

100_a_law_h15a119
(i) Cases in which notifying the person of the Purpose of Utilization or publicly announcing it are likely to harm the life, body, property, or other rights or interests of the person or a third party

( (FRAG (LST (PULB -LRB-)
             (LS i)
             (PURB -RRB-))
        (NP (NS Cases;{case})
            (IP-REL (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_ harm;{harm})
                                      (NP-OB1 (D the;{the})
                                              (NLYR (NLYR (N life;{life}))
                                                    (PUNC ,)
                                                    (CONJP (NLYR (N body;{body})))
                                                    (PUNC ,)
                                                    (CONJP (NLYR (N property;{property})))
                                                    (PUNC ,)
                                                    (CONJP (CONJ or;{or})
                                                           (NLYR (ADJP (ADJ other;{other}))
                                                                 (NLYR (NLYR (NS rights;{right}))
                                                                       (CONJP (CONJ or;{or})
                                                                              (NLYR (NS interests;{interest})))))))
                                              (PP (P-ROLE of;{of})
                                                  (NP (NLYR (NLYR (D the;{the})
                                                                  (N person;{person}))
                                                            (CONJP (CONJ or;{or})
                                                                   (NLYR (D a;{a})
                                                                         (NUM third;{third})
                                                                         (N party;{party}))))))))))))
  (ID 100_a_law_h15a119;80_4_18_4i))

arc(r_0100_0007__notifying_r_0100_0010__of,r_0100_0008__the_r_0100_0009__person,arg1).
arc(r_0100_0007__notifying_r_0100_0010__of,r_0100_0011__the_r_0100_0012__Purpose,arg2).
arc(r_0100_0007__notifying_r_0100_0010__of,z_0100_5006,arg0).
arc(r_0100_0011__the_r_0100_0012__Purpose,r_0100_0014__Utilization,r_0100_0013__of).
arc(r_0100_0015__or,r_0100_0007__notifying_r_0100_0010__of,conj1).
arc(r_0100_0015__or,r_0100_0017__announcing,conj2).
arc(r_0100_0017__announcing,r_0100_0016__publicly,nim).
arc(r_0100_0017__announcing,r_0100_0018__it,arg1).
arc(r_0100_0017__announcing,z_0100_5006,arg0).
arc(r_0100_0019__are,r_0100_0004__Cases,r_0100_0005__in__nim).
arc(r_0100_0019__are,r_0100_0020__likely,scope).
arc(r_0100_0020__likely,r_0100_0022__harm,scope).
arc(r_0100_0022__harm,r_0100_0015__or,arg0).
arc(r_0100_0022__harm,r_0100_0023__the_r_0100_0024__life_r_0100_0026__body_r_0100_0028__property_r_0100_0030__or_r_0100_0031__other_r_0100_0032__rights_r_0100_0033__or_r_0100_0034__interests,arg1).
arc(r_0100_0023__the_r_0100_0024__life_r_0100_0026__body_r_0100_0028__property_r_0100_0030__or_r_0100_0031__other_r_0100_0032__rights_r_0100_0033__or_r_0100_0034__interests,r_0100_0038__or,r_0100_0035__of).
arc(r_0100_0038__or,r_0100_0036__the_r_0100_0037__person,conj1).
arc(r_0100_0038__or,r_0100_0039__a_r_0100_0040__third_r_0100_0041__party,conj2).
arc(z_0100_5023,r_0100_0004__Cases,z_0100_5002).

fof(formula,axiom,
    ? [R_0100_0004__CASES,R_0100_0008__THE_R_0100_0009__PERSON,R_0100_0014__UTILIZATION,R_0100_0011__THE_R_0100_0012__PURPOSE,Z_0100_5006,R_0100_0007__NOTIFYING_R_0100_0010__OF,R_0100_0016__PUBLICLY,R_0100_0018__IT,R_0100_0017__ANNOUNCING,R_0100_0015__OR,R_0100_0036__THE_R_0100_0037__PERSON,R_0100_0039__A_R_0100_0040__THIRD_R_0100_0041__PARTY,R_0100_0038__OR,R_0100_0023__THE_R_0100_0024__LIFE_R_0100_0026__BODY_R_0100_0028__PROPERTY_R_0100_0030__OR_R_0100_0031__OTHER_R_0100_0032__RIGHTS_R_0100_0033__OR_R_0100_0034__INTERESTS,R_0100_0019__ARE_R_0100_0020__LIKELY_R_0100_0022__HARM,Z_0100_5023] :
      ( r_0100_0004__Cases(R_0100_0004__CASES)
      & r_0100_0008__the_r_0100_0009__person(R_0100_0008__THE_R_0100_0009__PERSON)
      & r_0100_0014__Utilization(R_0100_0014__UTILIZATION)
      & r_0100_0016__publicly(R_0100_0016__PUBLICLY)
      & r_0100_0018__it(R_0100_0018__IT)
      & r_0100_0036__the_r_0100_0037__person(R_0100_0036__THE_R_0100_0037__PERSON)
      & r_0100_0039__a_r_0100_0040__third_r_0100_0041__party(R_0100_0039__A_R_0100_0040__THIRD_R_0100_0041__PARTY)
      & z_0100_5006(Z_0100_5006)
      & z_0100_5023(Z_0100_5023)
      & has_z_0100_5002(Z_0100_5023,R_0100_0004__CASES)
      & r_0100_0019__are_r_0100_0020__likely_r_0100_0022__harm(R_0100_0019__ARE_R_0100_0020__LIKELY_R_0100_0022__HARM)
      & has_arg1(R_0100_0019__ARE_R_0100_0020__LIKELY_R_0100_0022__HARM,R_0100_0023__THE_R_0100_0024__LIFE_R_0100_0026__BODY_R_0100_0028__PROPERTY_R_0100_0030__OR_R_0100_0031__OTHER_R_0100_0032__RIGHTS_R_0100_0033__OR_R_0100_0034__INTERESTS)
      & r_0100_0023__the_r_0100_0024__life_r_0100_0026__body_r_0100_0028__property_r_0100_0030__or_r_0100_0031__other_r_0100_0032__rights_r_0100_0033__or_r_0100_0034__interests(R_0100_0023__THE_R_0100_0024__LIFE_R_0100_0026__BODY_R_0100_0028__PROPERTY_R_0100_0030__OR_R_0100_0031__OTHER_R_0100_0032__RIGHTS_R_0100_0033__OR_R_0100_0034__INTERESTS)
      & has_r_0100_0035__of(R_0100_0023__THE_R_0100_0024__LIFE_R_0100_0026__BODY_R_0100_0028__PROPERTY_R_0100_0030__OR_R_0100_0031__OTHER_R_0100_0032__RIGHTS_R_0100_0033__OR_R_0100_0034__INTERESTS,R_0100_0038__OR)
      & r_0100_0038__or(R_0100_0038__OR)
      & has_conj2(R_0100_0038__OR,R_0100_0039__A_R_0100_0040__THIRD_R_0100_0041__PARTY)
      & has_conj1(R_0100_0038__OR,R_0100_0036__THE_R_0100_0037__PERSON)
      & has_arg0(R_0100_0019__ARE_R_0100_0020__LIKELY_R_0100_0022__HARM,R_0100_0015__OR)
      & r_0100_0015__or(R_0100_0015__OR)
      & has_conj2(R_0100_0015__OR,R_0100_0017__ANNOUNCING)
      & r_0100_0017__announcing(R_0100_0017__ANNOUNCING)
      & has_arg0(R_0100_0017__ANNOUNCING,Z_0100_5006)
      & has_arg1(R_0100_0017__ANNOUNCING,R_0100_0018__IT)
      & has_nim(R_0100_0017__ANNOUNCING,R_0100_0016__PUBLICLY)
      & has_conj1(R_0100_0015__OR,R_0100_0007__NOTIFYING_R_0100_0010__OF)
      & ~ ( has_arg0(R_0100_0007__NOTIFYING_R_0100_0010__OF,Z_0100_5006)
          & has_arg2(R_0100_0007__NOTIFYING_R_0100_0010__OF,R_0100_0011__THE_R_0100_0012__PURPOSE)
          & r_0100_0011__the_r_0100_0012__Purpose(R_0100_0011__THE_R_0100_0012__PURPOSE)
          & has_r_0100_0013__of(R_0100_0011__THE_R_0100_0012__PURPOSE,R_0100_0014__UTILIZATION)
          & has_arg1(R_0100_0007__NOTIFYING_R_0100_0010__OF,R_0100_0008__THE_R_0100_0009__PERSON) )
      & has_r_0100_0005__in__nim(R_0100_0019__ARE_R_0100_0020__LIKELY_R_0100_0022__HARM,R_0100_0004__CASES) ) ).