r1 :: should_change( obj=juvenile_act , age=12 ) <= 
	has_problem( obj=juvenile_act(age=12) ),
	less_effect( obj=juvenile_act ),
	can_judge( agt=junior_high,obj=good_evil ).
r2 :: has_problem( obj=juvenile_act( age=12 ) ) <= 
	keishi( agt=fact,obj=crime( agt=boy ) ),
	large_influence( agt=social,obj=crime( agt=boy ) ),
	increase( agt=junior_high,obj= heinous_crime ).
r3 :: less_effect( obj=juvenile_act ) <= 
	saihannritsu( agt=boy,percent='42.5' ).
r4 :: can_judge( agt=junior_high,obj=good_evil ) <= .
r5 :: keishi( agt=fact,obj=crime( agt=boy ) ) <= .
r6 :: large_influence( agt=social,obj=crime( agt=boy ) ) <=
	less1( agt=boy,obj=consiousness( agt=crime ) ).
r7 :: less1( agt=boy,obj=consiousness( agt=crime ) ) <= .
r9 :: saihannritsu( agt=boy,percent='42.5' ) <= .

r10:: -less_effect( obj=juvenile_act ) <= 
	saihannritsu( agt=boy,percent='42.5' ),
	less2( agt=saihan( agt=boy ),obj=heinous_crime ).
r11:: -increase( agt=junior_high,obj=heinous_crime ) <= 
	-change( agt=murder,term=last_5years ).
r12:: -should_change( obj=juvenile_act,age=12 ) <= 
	contravention( agt=treaty,obj=criminal_Law ).
r13:: -should_change( obj=juvenile_act,age=12 ) <= 
	contravention( agt=roudouhou,obj=juvenile_act( age=12 ) ).
r14:: less2( agt=saihan( agt=boy ),obj=heinous_crime( percent='2.5' ) ) <= .
r15:: -change( agt=murder,term=last_5years ) <= .
r16:: contravention( agt=treaty,obj=criminal_Law ) <= .
r17:: contravention( agt=roudouhou,obj=juvenile_act( age=12 ) ) <= .

r18:: increase( agt=junior_high,obj=heinous_crime ) <= 
   increase( agt=junior_high,obj=heinous_crime,than=lase_year,percent='20.5' ).
r19:: increase( agt=junior_high,obj=heinous_crime,
			than=lase_year,percent='20.5' ) <= .
r20:: -less2( agt=saihan( agt=boy ),obj=heinous_crime( percent='2.5' ) ) <= .
r21:: change( agt=murder,term=last_5years ) <= 
	no_data( agt=boy( age=16 ) ).
r22:: -contravention( agt=treaty,obj=criminal_Law ) <= 
	nothing( agt=criminal_Law,obj=shuusinkei ),
	nothing( agt=criminal_Law,obj=shikei ).
r23:: -contravention( agt=roudouhou,obj=juvenile_act( age=12 ) ) <= 
	change_Law( agt=law ).
r24:: high_saihannritsu( r20 ) <= .
r25:: low_saihannritsu( r14 ) <= .
r26:: no_data( agt=boy( age=16 ) ) <= .
r27:: nothing( agt=criminal_Law,obj=shuusinkei ) <= .
r28:: nothing( agt=criminal_Law,obj=shikei ) <= 
	judgement( agt=judge,obj=shikei ),
	consideration( agt=judge,obj=treaty ).
r29:: change_Law( agt=law ) <= .
r30:: judgement( agt=judge,obj=shikei ) <= .
r31:: consideration( agt=judge,obj=treaty ) <= .

r32:: -nothing( agt=criminal_Law,obj=shikei ) <= 
	judgement( agt=judge,obj=shikei ).
r33:: -should_change( obj=juvenile_act,age=12 ) <= 
	open( agt=criminal_Law,obj=justice ),
	infringement( agt=right( agt=boy ) ).
r34:: open( agt=crimal_Law,obj=justice ) <= .
r35:: infringement( agt=right( agt=boy ) ) <= .


r36:: -contravention( agt=treaty,obj=criminal_Law ) <= 
	-prohibition( agt=treaty,obj=provision( agt=shikei ) ),
	prohibition( agt=treaty,obj=act( agt=shikei ) ),
	dependence( agt=treaty,obj=law ).
r37:: -prohibition( agt=treaty,obj=provision( agt=shikei ) ) <= .
r38:: prohibition( agt=treaty,obj=act( agt=shikei ) ) <= .
r39:: dependence( agt=treaty,obj=law ) <= .

r40:: -heinous( agt=hittakuri,agt=kyoukatsu ) <= .
r41:: -difference( agt=goutou,obj=kyoukatsu ) <= .

r42:: heinous( agt=hittakuri,agt=kyoukatsu ) <= .
r43:: crime_jyushi( r42 ) <= .
r44:: penalty_jyushi( r40 ) <= .
r45:: plussikou( p2 ) <= .
r46:: minassikou( p1 ) <= .
r47:: cannotdecide( p4 ) <= .
r48:: candecide( p3 ) <= .
r49:: has_fact( r36 ) <= .

p1 :: r20 > r14 <= high_saihannritsu( r20 ),
	low_saihannritsu( r14 ),
	high_saihannritsu >> low_saihannritsu .
p2 :: r14 > r20 <= low_saihannritsu( r14 ),
	high_saihannritsu( r20 ),
	low_saihannritsu >> high_saihannritsu .
p3 :: r11 > r18 <= -heinous( agt=hittakuri,agt=kyoukatsu ),
	-difference( agt=goutou,obj=kyoukatsu ).
p4 :: r18 > r11 <= heinous( agt=hittakuri,agt=kyoukatsu ).
p5 :: r42 > r40 <= crime_jyushi( r42 ),
	penalty_jyushi( r40 ),
	crime_jyushi >> penalty_jyushi.
p6 :: r40 > r42 <= penalty_jyushi( r40 ),
	crime_jyushi( r42 ),
	penalty_jyushi >> crime_jyushi.
p7 :: p1 > p2 <= plussikou( p2 ),
	minassikou( p1 ),
	minassikou >> plussikou.
p8 :: p4 > p3 <= cannotdecide( p4 ),
	candecide( p3 ),
	cannnotdecide >> candecide.
p9 :: r36 > r16 <= has_fact( r36 ).

