TSPC 92_a_law

92_a_law_h15a119
A business operator handling personal information shall not acquire personal information by a deception or other wrongful means.

( (IP-MAT (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})
          (NEG not;{not})
          (IP-INF-CAT (VB;_Tn_ acquire;{acquire})
                      (NP-OB1 (ADJP (ADJ personal;{personal}))
                              (N information;{information}))
                      (PP-NIM (P-ROLE by;{by})
                              (NP (NLYR (NLYR (D a;{a})
                                              (N deception;{deception}))
                                        (CONJP (CONJ or;{or})
                                               (NLYR (ADJP (ADJ other;{other}))
                                                     (ADJP (ADJ wrongful;{wrongful}))
                                                     (NS means;{mean})))))))
          (PUNC .))
  (ID 92_a_law_h15a119;74_4_17))

arc(r_0092_0004__handling,r_0092_0001__A_r_0092_0002__business_r_0092_0003__operator,inv_arg0).
arc(r_0092_0004__handling,r_0092_0006__information,arg1).
arc(r_0092_0006__information,r_0092_0005__personal,attrib).
arc(r_0092_0007__shall,r_0092_0009__acquire,scope).
arc(r_0092_0008__not,r_0092_0007__shall,keep_scope).
arc(r_0092_0009__acquire,r_0092_0001__A_r_0092_0002__business_r_0092_0003__operator,arg0).
arc(r_0092_0009__acquire,r_0092_0011__information,arg1).
arc(r_0092_0009__acquire,r_0092_0015__or,r_0092_0012__by__nim).
arc(r_0092_0011__information,r_0092_0010__personal,attrib).
arc(r_0092_0015__or,r_0092_0013__a_r_0092_0014__deception,conj1).
arc(r_0092_0015__or,r_0092_0018__means,conj2).
arc(r_0092_0018__means,r_0092_0016__other,attrib).
arc(r_0092_0018__means,r_0092_0017__wrongful,attrib).

fof(formula,axiom,
    ~ ? [R_0092_0005__PERSONAL,R_0092_0006__INFORMATION,R_0092_0004__HANDLING,R_0092_0001__A_R_0092_0002__BUSINESS_R_0092_0003__OPERATOR,R_0092_0010__PERSONAL,R_0092_0011__INFORMATION,R_0092_0013__A_R_0092_0014__DECEPTION,R_0092_0016__OTHER,R_0092_0017__WRONGFUL,R_0092_0018__MEANS,R_0092_0015__OR,R_0092_0007__SHALL_R_0092_0009__ACQUIRE] :
        ( r_0092_0005__personal(R_0092_0005__PERSONAL)
        & r_0092_0010__personal(R_0092_0010__PERSONAL)
        & r_0092_0013__a_r_0092_0014__deception(R_0092_0013__A_R_0092_0014__DECEPTION)
        & r_0092_0016__other(R_0092_0016__OTHER)
        & r_0092_0017__wrongful(R_0092_0017__WRONGFUL)
        & r_0092_0007__shall_r_0092_0009__acquire(R_0092_0007__SHALL_R_0092_0009__ACQUIRE)
        & has_r_0092_0012__by__nim(R_0092_0007__SHALL_R_0092_0009__ACQUIRE,R_0092_0015__OR)
        & r_0092_0015__or(R_0092_0015__OR)
        & has_conj2(R_0092_0015__OR,R_0092_0018__MEANS)
        & r_0092_0018__means(R_0092_0018__MEANS)
        & has_attrib(R_0092_0018__MEANS,R_0092_0017__WRONGFUL)
        & has_attrib(R_0092_0018__MEANS,R_0092_0016__OTHER)
        & has_conj1(R_0092_0015__OR,R_0092_0013__A_R_0092_0014__DECEPTION)
        & has_arg1(R_0092_0007__SHALL_R_0092_0009__ACQUIRE,R_0092_0011__INFORMATION)
        & r_0092_0011__information(R_0092_0011__INFORMATION)
        & has_attrib(R_0092_0011__INFORMATION,R_0092_0010__PERSONAL)
        & has_arg0(R_0092_0007__SHALL_R_0092_0009__ACQUIRE,R_0092_0001__A_R_0092_0002__BUSINESS_R_0092_0003__OPERATOR)
        & r_0092_0001__A_r_0092_0002__business_r_0092_0003__operator(R_0092_0001__A_R_0092_0002__BUSINESS_R_0092_0003__OPERATOR)
        & has_inv_arg0(R_0092_0001__A_R_0092_0002__BUSINESS_R_0092_0003__OPERATOR,R_0092_0004__HANDLING)
        & r_0092_0004__handling(R_0092_0004__HANDLING)
        & has_arg1(R_0092_0004__HANDLING,R_0092_0006__INFORMATION)
        & r_0092_0006__information(R_0092_0006__INFORMATION)
        & has_attrib(R_0092_0006__INFORMATION,R_0092_0005__PERSONAL) ) ).