TSPC 312_a_law

312_a_law_h15a119
A business operator who does not make a report required by Article 32 or 46 or who has made a false report shall be sentenced to a fine of not more than 300,000 yen.

arc(r_0312_0005__does_r_0312_0007__make, r_0312_0001__A_r_0312_0002__business_r_0312_0003__operator, arg0).
arc(r_0312_0005__does_r_0312_0007__make, r_0312_0008__a_r_0312_0009__report, arg1).
arc(r_0312_0006__not, r_0312_0005__does_r_0312_0007__make, keep_scope).
arc(r_0312_0010__required, r_0312_0008__a_r_0312_0009__report, arg1).
arc(r_0312_0010__required, r_0312_0014__or, arg0).
arc(r_0312_0014__or, r_0312_0012__Article_r_0312_0013__32, conj1).
arc(r_0312_0014__or, r_0312_0015__46, conj2).
arc(r_0312_0016__or, r_0312_0006__not, conj1).
arc(r_0312_0016__or, r_0312_0018__has, conj2).
arc(r_0312_0018__has, r_0312_0019__made, scope).
arc(r_0312_0019__made, r_0312_0001__A_r_0312_0002__business_r_0312_0003__operator, arg0).
arc(r_0312_0019__made, r_0312_0020__a_r_0312_0022__report, arg1).
arc(r_0312_0020__a_r_0312_0022__report, r_0312_0021__false, attrib60).
arc(r_0312_0023__shall, r_0312_0024__be, scope).
arc(r_0312_0024__be, r_0312_0025__sentenced, scope).
arc(r_0312_0025__sentenced, r_0312_0001__A_r_0312_0002__business_r_0312_0003__operator, arg1).
arc(r_0312_0025__sentenced, r_0312_0027__a_r_0312_0028__fine, r_0312_0026__to_clr78).
arc(r_0312_0025__sentenced, z_000_312_a_law_h15a119_71, arg0).
arc(r_0312_0027__a_r_0312_0028__fine, r_0312_0034__yen, r_0312_0029__of).
arc(r_0312_0030__not_r_0312_0031__more, r_0312_0033__300_comma_000, r_0312_0032__than).
arc(r_0312_0034__yen, r_0312_0030__not_r_0312_0031__more, attrib87).

fof(formula,axiom,
    ? [R_312_10_REQUIRED,R_312_14_OR,R_312_12_ARTICLE_32,R_312_15_46,R_312_8_A_REPORT,R_312_16_OR,R_312_18_HAS_MADE,R_312_20_A_REPORT,R_312_21_FALSE,R_312_23_SHALL_BE_SENTENCED,Z_312_A_LAW_H15A119_71,R_312_1_A_BUSINESS_OPERATOR,R_312_27_A_FINE,R_312_34_YEN,R_312_30_NOT_MORE,R_312_33_300_COMMA_] :
      ( article_32(R_312_12_ARTICLE_32)
      & 46(R_312_15_46)
      & a_report(R_312_8_A_REPORT)
      & false(R_312_21_FALSE)
      & a_business_operator(R_312_1_A_BUSINESS_OPERATOR)
      & 300_comma_(R_312_33_300_COMMA_)
      & required(R_312_10_REQUIRED,R_312_14_OR,R_312_8_A_REPORT)
      & or(R_312_14_OR)
      & conj1(R_312_14_OR,R_312_12_ARTICLE_32)
      & conj2(R_312_14_OR,R_312_15_46)
      & or(R_312_16_OR)
      & conj1(R_312_16_OR,R_312_6_NOT)
      & ~ ? [R_312_5_DOES_MAKE] : does_make(R_312_5_DOES_MAKE,R_312_1_A_BUSINESS_OPERATOR,R_312_8_A_REPORT)
      & conj2(R_312_16_OR,R_312_18_HAS_MADE)
      & has_made(R_312_18_HAS_MADE,R_312_1_A_BUSINESS_OPERATOR,R_312_20_A_REPORT)
      & a_report(R_312_20_A_REPORT)
      & attrib60(R_312_20_A_REPORT,R_312_21_FALSE)
      & shall_be_sentenced(R_312_23_SHALL_BE_SENTENCED,Z_312_A_LAW_H15A119_71,R_312_1_A_BUSINESS_OPERATOR)
      & to_clr78(R_312_23_SHALL_BE_SENTENCED,R_312_27_A_FINE)
      & a_fine(R_312_27_A_FINE)
      & of(R_312_27_A_FINE,R_312_34_YEN)
      & yen(R_312_34_YEN)
      & attrib87(R_312_34_YEN,R_312_30_NOT_MORE)
      & not_more(R_312_30_NOT_MORE)
      & than(R_312_30_NOT_MORE,R_312_33_300_COMMA_) ) ).

( (IP-MAT (NP-SBJ (D A;{a})
                  (N business;{business})
                  (N operator;{operator})
                  (IP-REL (ILYR (ILYR (NP-SBJ (RPRO who;{who}))
                                      (DOP does;{do})
                                      (NEG not;{not})
                                      (VB;_Tn_ make;{make})
                                      (NP-OB1 (D a;{a})
                                              (N report;{report})
                                              (IP-PPL (VVN;_Tn_ required;{require})
                                                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                              (NP (NLYR (NLYR (N Article;{article})
                                                                              (NUM 32))
                                                                        (CONJP (CONJ or;{or})
                                                                               (NLYR (NUM 46)))))))))
                                (CONJP (CONJ or;{or})
                                       (ILYR (NP-SBJ (RPRO who;{who}))
                                             (HVP;_cat_Ve_ has;{have})
                                             (IP-PPL-CAT (VVN;_Tn_ made;{make})
                                                         (NP-OB1 (D a;{a})
                                                                 (ADJP (ADJ false;{false}))
                                                                 (N report;{report}))))))))
          (MD;_cat_Vi_ shall;{shall})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn.pr_ sentenced;{sentence[to]})
                                  (PP-CLR (P-ROLE to;{to})
                                          (NP (D a;{a})
                                              (N fine;{fine})
                                              (PP (P-ROLE of;{of})
                                                  (NP (ADJP (NEG not;{not})
                                                            (ADJR more;{more})
                                                            (PP (P-ROLE than;{than})
                                                                (NP (NUM 300,000))))
                                                      (NS yen;{yen})))))))
          (PUNC .))
  (ID 312_a_law_h15a119;240_6_57))