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_0317_0001__A_R_0317_0002__BUSINESS_R_0317_0003__OPERATOR,R_0317_0010__FOLLOWING,R_0317_0009__THE_R_0317_0011__ITEMS,R_0317_0007__ANY,R_0317_0005__FALLS,R_0317_0017__CIVIL,R_0317_0023__100_COMMA_000,R_0317_0020__NOT_R_0317_0021__MORE,R_0317_0024__YEN,R_0317_0016__A_R_0317_0018__FINE,Z_000_317_A_LAW_H15A119_38,R_0317_0012__SHALL_R_0317_0013__BE_R_0317_0014__SENTENCED] :
( r_0317_0001__A_r_0317_0002__business_r_0317_0003__operator(R_0317_0001__A_R_0317_0002__BUSINESS_R_0317_0003__OPERATOR)
& r_0317_0010__following(R_0317_0010__FOLLOWING)
& r_0317_0017__civil(R_0317_0017__CIVIL)
& r_0317_0023__100_comma_000(R_0317_0023__100_COMMA_000)
& z_000_317_a_law_h15a119_38(Z_000_317_A_LAW_H15A119_38)
& r_0317_0012__shall_r_0317_0013__be_r_0317_0014__sentenced(R_0317_0012__SHALL_R_0317_0013__BE_R_0317_0014__SENTENCED)
& has_arg0(R_0317_0012__SHALL_R_0317_0013__BE_R_0317_0014__SENTENCED,Z_000_317_A_LAW_H15A119_38)
& has_r_0317_0015__to_clr45(R_0317_0012__SHALL_R_0317_0013__BE_R_0317_0014__SENTENCED,R_0317_0016__A_R_0317_0018__FINE)
& r_0317_0016__a_r_0317_0018__fine(R_0317_0016__A_R_0317_0018__FINE)
& has_r_0317_0019__of(R_0317_0016__A_R_0317_0018__FINE,R_0317_0024__YEN)
& r_0317_0024__yen(R_0317_0024__YEN)
& has_attrib57(R_0317_0024__YEN,R_0317_0020__NOT_R_0317_0021__MORE)
& ~ has_r_0317_0022__than(R_0317_0020__NOT_R_0317_0021__MORE,R_0317_0023__100_COMMA_000)
& has_attrib48(R_0317_0016__A_R_0317_0018__FINE,R_0317_0017__CIVIL)
& has_arg1(R_0317_0012__SHALL_R_0317_0013__BE_R_0317_0014__SENTENCED,R_0317_0001__A_R_0317_0002__BUSINESS_R_0317_0003__OPERATOR)
& r_0317_0005__falls(R_0317_0005__FALLS)
& has_r_0317_0006__under_clr18(R_0317_0005__FALLS,R_0317_0007__ANY)
& r_0317_0007__any(R_0317_0007__ANY)
& has_r_0317_0008__of(R_0317_0007__ANY,R_0317_0009__THE_R_0317_0011__ITEMS)
& r_0317_0009__the_r_0317_0011__items(R_0317_0009__THE_R_0317_0011__ITEMS)
& has_attrib27(R_0317_0009__THE_R_0317_0011__ITEMS,R_0317_0010__FOLLOWING)
& has_arg0(R_0317_0005__FALLS,R_0317_0001__A_R_0317_0002__BUSINESS_R_0317_0003__OPERATOR) ) ).
( (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))