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:
( (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))
arc(r_0317_0005__falls_r_0317_0006__under,r_0317_0001__A_r_0317_0002__business_r_0317_0003__operator,arg0).
arc(r_0317_0005__falls_r_0317_0006__under,r_0317_0007__any,arg1).
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,attrib).
arc(r_0317_0012__shall,r_0317_0013__be,scope).
arc(r_0317_0013__be,r_0317_0014__sentenced_r_0317_0015__to,scope).
arc(r_0317_0014__sentenced_r_0317_0015__to,r_0317_0001__A_r_0317_0002__business_r_0317_0003__operator,arg1).
arc(r_0317_0014__sentenced_r_0317_0015__to,r_0317_0016__a_r_0317_0018__fine,arg2).
arc(r_0317_0014__sentenced_r_0317_0015__to,z_0317_5012___star_,arg0).
arc(r_0317_0016__a_r_0317_0018__fine,r_0317_0017__civil,attrib).
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,attrib).
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_0006__UNDER,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_0317_5012___STAR_,R_0317_0012__SHALL_R_0317_0013__BE_R_0317_0014__SENTENCED_R_0317_0015__TO] :
( 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_0317_5012___star_(Z_0317_5012___STAR_)
& r_0317_0012__shall_r_0317_0013__be_r_0317_0014__sentenced_r_0317_0015__to(R_0317_0012__SHALL_R_0317_0013__BE_R_0317_0014__SENTENCED_R_0317_0015__TO)
& has_arg0(R_0317_0012__SHALL_R_0317_0013__BE_R_0317_0014__SENTENCED_R_0317_0015__TO,Z_0317_5012___STAR_)
& has_arg2(R_0317_0012__SHALL_R_0317_0013__BE_R_0317_0014__SENTENCED_R_0317_0015__TO,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_attrib(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_attrib(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_0015__TO,R_0317_0001__A_R_0317_0002__BUSINESS_R_0317_0003__OPERATOR)
& r_0317_0005__falls_r_0317_0006__under(R_0317_0005__FALLS_R_0317_0006__UNDER)
& has_arg1(R_0317_0005__FALLS_R_0317_0006__UNDER,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_attrib(R_0317_0009__THE_R_0317_0011__ITEMS,R_0317_0010__FOLLOWING)
& has_arg0(R_0317_0005__FALLS_R_0317_0006__UNDER,R_0317_0001__A_R_0317_0002__BUSINESS_R_0317_0003__OPERATOR) ) ).