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_0312_0008__A_R_0312_0009__REPORT,R_0312_0012__ARTICLE_R_0312_0013__32,R_0312_0015__46,R_0312_0014__OR,R_0312_0010__REQUIRED,R_0312_0001__A_R_0312_0002__BUSINESS_R_0312_0003__OPERATOR,R_0312_0021__FALSE,R_0312_0020__A_R_0312_0022__REPORT,R_0312_0018__HAS_R_0312_0019__MADE,R_0312_0016__OR,R_0312_0033__300_COMMA_000,R_0312_0030__NOT_R_0312_0031__MORE,R_0312_0034__YEN,R_0312_0027__A_R_0312_0028__FINE,Z_000_312_A_LAW_H15A119_71,R_0312_0023__SHALL_R_0312_0024__BE_R_0312_0025__SENTENCED] :
      ( r_0312_0001__A_r_0312_0002__business_r_0312_0003__operator(R_0312_0001__A_R_0312_0002__BUSINESS_R_0312_0003__OPERATOR)
      & r_0312_0008__a_r_0312_0009__report(R_0312_0008__A_R_0312_0009__REPORT)
      & r_0312_0012__Article_r_0312_0013__32(R_0312_0012__ARTICLE_R_0312_0013__32)
      & r_0312_0015__46(R_0312_0015__46)
      & r_0312_0021__false(R_0312_0021__FALSE)
      & r_0312_0033__300_comma_000(R_0312_0033__300_COMMA_000)
      & z_000_312_a_law_h15a119_71(Z_000_312_A_LAW_H15A119_71)
      & r_0312_0023__shall_r_0312_0024__be_r_0312_0025__sentenced(R_0312_0023__SHALL_R_0312_0024__BE_R_0312_0025__SENTENCED)
      & has_arg0(R_0312_0023__SHALL_R_0312_0024__BE_R_0312_0025__SENTENCED,Z_000_312_A_LAW_H15A119_71)
      & has_r_0312_0026__to_clr78(R_0312_0023__SHALL_R_0312_0024__BE_R_0312_0025__SENTENCED,R_0312_0027__A_R_0312_0028__FINE)
      & r_0312_0027__a_r_0312_0028__fine(R_0312_0027__A_R_0312_0028__FINE)
      & has_r_0312_0029__of(R_0312_0027__A_R_0312_0028__FINE,R_0312_0034__YEN)
      & r_0312_0034__yen(R_0312_0034__YEN)
      & has_attrib87(R_0312_0034__YEN,R_0312_0030__NOT_R_0312_0031__MORE)
      & ~ has_r_0312_0032__than(R_0312_0030__NOT_R_0312_0031__MORE,R_0312_0033__300_COMMA_000)
      & has_arg1(R_0312_0023__SHALL_R_0312_0024__BE_R_0312_0025__SENTENCED,R_0312_0001__A_R_0312_0002__BUSINESS_R_0312_0003__OPERATOR)
      & r_0312_0016__or(R_0312_0016__OR)
      & has_conj2(R_0312_0016__OR,R_0312_0018__HAS_R_0312_0019__MADE)
      & r_0312_0018__has_r_0312_0019__made(R_0312_0018__HAS_R_0312_0019__MADE)
      & has_arg1(R_0312_0018__HAS_R_0312_0019__MADE,R_0312_0020__A_R_0312_0022__REPORT)
      & r_0312_0020__a_r_0312_0022__report(R_0312_0020__A_R_0312_0022__REPORT)
      & has_attrib60(R_0312_0020__A_R_0312_0022__REPORT,R_0312_0021__FALSE)
      & has_arg0(R_0312_0018__HAS_R_0312_0019__MADE,R_0312_0001__A_R_0312_0002__BUSINESS_R_0312_0003__OPERATOR)
      & has_conj1(R_0312_0016__OR,R_0312_0006__NOT)
      & ~ ? [R_0312_0005__DOES_R_0312_0007__MAKE] :
            ( r_0312_0005__does_r_0312_0007__make(R_0312_0005__DOES_R_0312_0007__MAKE)
            & has_arg1(R_0312_0005__DOES_R_0312_0007__MAKE,R_0312_0008__A_R_0312_0009__REPORT)
            & has_arg0(R_0312_0005__DOES_R_0312_0007__MAKE,R_0312_0001__A_R_0312_0002__BUSINESS_R_0312_0003__OPERATOR) )
      & r_0312_0010__required(R_0312_0010__REQUIRED)
      & has_arg0(R_0312_0010__REQUIRED,R_0312_0014__OR)
      & r_0312_0014__or(R_0312_0014__OR)
      & has_conj2(R_0312_0014__OR,R_0312_0015__46)
      & has_conj1(R_0312_0014__OR,R_0312_0012__ARTICLE_R_0312_0013__32)
      & has_arg1(R_0312_0010__REQUIRED,R_0312_0008__A_R_0312_0009__REPORT) ) ).

( (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))