TSPC 317_a_law

317_a_law_h15a119
A business operator who falls under any of the following items shall be sentenced to a civil fine of not more than 100,000 yen:

arc(r_0317_0005__falls, r_0317_0001__A_r_0317_0002__business_r_0317_0003__operator, arg0).
arc(r_0317_0005__falls, r_0317_0007__any, r_0317_0006__under_clr18).
arc(r_0317_0007__any, r_0317_0009__the_r_0317_0011__items, r_0317_0008__of).
arc(r_0317_0009__the_r_0317_0011__items, r_0317_0010__following, attrib27).
arc(r_0317_0012__shall, r_0317_0013__be, scope).
arc(r_0317_0013__be, r_0317_0014__sentenced, scope).
arc(r_0317_0014__sentenced, r_0317_0001__A_r_0317_0002__business_r_0317_0003__operator, arg1).
arc(r_0317_0014__sentenced, r_0317_0016__a_r_0317_0018__fine, r_0317_0015__to_clr45).
arc(r_0317_0014__sentenced, z_000_317_a_law_h15a119_38, arg0).
arc(r_0317_0016__a_r_0317_0018__fine, r_0317_0017__civil, attrib48).
arc(r_0317_0016__a_r_0317_0018__fine, r_0317_0024__yen, r_0317_0019__of).
arc(r_0317_0020__not_r_0317_0021__more, r_0317_0023__100_comma_000, r_0317_0022__than).
arc(r_0317_0024__yen, r_0317_0020__not_r_0317_0021__more, attrib57).

fof(formula,axiom,
    ? [R_317_5_FALLS,R_317_7_ANY,R_317_9_THE_ITEMS,R_317_10_FOLLOWING,R_317_12_SHALL_BE_SENTENCED,Z_317_A_LAW_H15A119_38,R_317_1_A_BUSINESS_OPERATOR,R_317_16_A_FINE,R_317_17_CIVIL,R_317_24_YEN,R_317_20_NOT_MORE,R_317_23_100_COMMA_] :
      ( following(R_317_10_FOLLOWING)
      & a_business_operator(R_317_1_A_BUSINESS_OPERATOR)
      & civil(R_317_17_CIVIL)
      & 100_comma_(R_317_23_100_COMMA_)
      & falls(R_317_5_FALLS,R_317_1_A_BUSINESS_OPERATOR)
      & under_clr18(R_317_5_FALLS,R_317_7_ANY)
      & any(R_317_7_ANY)
      & of(R_317_7_ANY,R_317_9_THE_ITEMS)
      & the_items(R_317_9_THE_ITEMS)
      & attrib27(R_317_9_THE_ITEMS,R_317_10_FOLLOWING)
      & shall_be_sentenced(R_317_12_SHALL_BE_SENTENCED,Z_317_A_LAW_H15A119_38,R_317_1_A_BUSINESS_OPERATOR)
      & to_clr45(R_317_12_SHALL_BE_SENTENCED,R_317_16_A_FINE)
      & a_fine(R_317_16_A_FINE)
      & attrib48(R_317_16_A_FINE,R_317_17_CIVIL)
      & of(R_317_16_A_FINE,R_317_24_YEN)
      & yen(R_317_24_YEN)
      & attrib57(R_317_24_YEN,R_317_20_NOT_MORE)
      & not_more(R_317_20_NOT_MORE)
      & than(R_317_20_NOT_MORE,R_317_23_100_COMMA_) ) ).

( (IP-MAT (NP-SBJ (D A;{a})
                  (N business;{business})
                  (N operator;{operator})
                  (IP-REL (NP-SBJ (RPRO who;{who}))
                          (VBP;_Ipr_ falls;{fall[under]})
                          (PP-CLR (P-ROLE under;{under})
                                  (NP (D;_nphd_ any;{any})
                                      (PP (P-ROLE of;{of})
                                          (NP (D the;{the})
                                              (ADJP (ADJ following;{following}))
                                              (NS items;{item})))))))
          (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})
                                              (ADJP (ADJ civil;{civil}))
                                              (N fine;{fine})
                                              (PP (P-ROLE of;{of})
                                                  (NP (ADJP (NEG not;{not})
                                                            (ADJR more;{more})
                                                            (PP (P-ROLE than;{than})
                                                                (NP (NUM 100,000))))
                                                      (NS yen;{yen})))))))
          (PUNC :))
  (ID 317_a_law_h15a119;243_6_59))