TSPC 267_a_law

267_a_law_h15a119
(v) Cases of having received the authorization in paragraph (1) of Article 37 by a dishonest means

( (FRAG (LST (PULB -LRB-)
             (LS v)
             (PURB -RRB-))
        (NP (NS Cases;{case})
            (PP (P-ROLE of;{of})
                (IP-PPL (HAG;_cat_Ve_ having;{have})
                        (IP-PPL-CAT (VVN;_Tn_ received;{receive})
                                    (NP-OB1 (D the;{the})
                                            (N authorization;{authorization})
                                            (PP (P-ROLE in;{in})
                                                (NP (N paragraph;{paragraph})
                                                    (PULB -LRB-)
                                                    (NUM 1)
                                                    (PURB -RRB-)
                                                    (PP (P-ROLE of;{of})
                                                        (NP (N Article;{article})
                                                            (NUM 37))))))
                                    (PP-NIM (P-ROLE by;{by})
                                            (NP (D a;{a})
                                                (ADJP (ADJ dishonest;{dishonest}))
                                                (N means;{mean}))))))))
  (ID 267_a_law_h15a119;210_4_48_1v))

arc(r_0267_0004__Cases,r_0267_0006__having,r_0267_0005__of).
arc(r_0267_0006__having,r_0267_0007__received,scope).
arc(r_0267_0007__received,r_0267_0008__the_r_0267_0009__authorization,arg1).
arc(r_0267_0007__received,r_0267_0019__a_r_0267_0021__means,r_0267_0018__by__nim).
arc(r_0267_0007__received,z_0267_5006,arg0).
arc(r_0267_0008__the_r_0267_0009__authorization,r_0267_0011__paragraph_r_0267_0013__1,r_0267_0010__in).
arc(r_0267_0011__paragraph_r_0267_0013__1,r_0267_0016__Article_r_0267_0017__37,r_0267_0015__of).
arc(r_0267_0019__a_r_0267_0021__means,r_0267_0020__dishonest,attrib).
arc(z_0267_5015,r_0267_0004__Cases,z_0267_5002).

fof(formula,axiom,
    ? [R_0267_0016__ARTICLE_R_0267_0017__37,R_0267_0011__PARAGRAPH_R_0267_0013__1,R_0267_0008__THE_R_0267_0009__AUTHORIZATION,R_0267_0020__DISHONEST,R_0267_0019__A_R_0267_0021__MEANS,Z_0267_5006,R_0267_0006__HAVING_R_0267_0007__RECEIVED,R_0267_0004__CASES,Z_0267_5015] :
      ( r_0267_0016__Article_r_0267_0017__37(R_0267_0016__ARTICLE_R_0267_0017__37)
      & r_0267_0020__dishonest(R_0267_0020__DISHONEST)
      & z_0267_5006(Z_0267_5006)
      & z_0267_5015(Z_0267_5015)
      & has_z_0267_5002(Z_0267_5015,R_0267_0004__CASES)
      & r_0267_0004__Cases(R_0267_0004__CASES)
      & has_r_0267_0005__of(R_0267_0004__CASES,R_0267_0006__HAVING_R_0267_0007__RECEIVED)
      & r_0267_0006__having_r_0267_0007__received(R_0267_0006__HAVING_R_0267_0007__RECEIVED)
      & has_arg0(R_0267_0006__HAVING_R_0267_0007__RECEIVED,Z_0267_5006)
      & has_r_0267_0018__by__nim(R_0267_0006__HAVING_R_0267_0007__RECEIVED,R_0267_0019__A_R_0267_0021__MEANS)
      & r_0267_0019__a_r_0267_0021__means(R_0267_0019__A_R_0267_0021__MEANS)
      & has_attrib(R_0267_0019__A_R_0267_0021__MEANS,R_0267_0020__DISHONEST)
      & has_arg1(R_0267_0006__HAVING_R_0267_0007__RECEIVED,R_0267_0008__THE_R_0267_0009__AUTHORIZATION)
      & r_0267_0008__the_r_0267_0009__authorization(R_0267_0008__THE_R_0267_0009__AUTHORIZATION)
      & has_r_0267_0010__in(R_0267_0008__THE_R_0267_0009__AUTHORIZATION,R_0267_0011__PARAGRAPH_R_0267_0013__1)
      & r_0267_0011__paragraph_r_0267_0013__1(R_0267_0011__PARAGRAPH_R_0267_0013__1)
      & has_r_0267_0015__of(R_0267_0011__PARAGRAPH_R_0267_0013__1,R_0267_0016__ARTICLE_R_0267_0017__37) ) ).