
				CUI$BA`:n%^%K%e%"%k(B

0.$B$O$8$a$K(B
											
$B$3$N%^%K%e%"%k$O<g$KO@Ah5!G=$rDs6!$9$k%D!<%k$G$"$k(BCUI$B$NA`:nJ}K!$K4X$7$F@bL@$7$?$b$N$G$"(B
$B$k!#(B

$BK\%^%K%e%"%k$rFI$`$K$"$?$j!"$^$:!"!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r@h$KFI$_!"O@G}?dO@!"CN(B
$B<1%Y!<%9$N5-=RJ}K!$rGD0.$7$F$+$i!"K\%^%K%e%"%k$rFI$`$3$H$r$*?J$a$9$k!#(B

1.$B35MW(B

CUI$B$O!"(BHELIC-II $B$NO@Ah5!G=$r!"%f!<%6$N%-!<F~NO$N$_$GDs6!$9$k%D!<%k$G$"$k!#O@Ah$NEv;v(B
$B<T!J8!;!!"Ho9p!K$N0lJ}$^$?$OAPJ}$r%f!<%6<+?H$,9T$&$3$H$,$G$-$k!#(B

$B$3$N%^%K%e%"%k$O!"Bh#2>O$GDs6!5!G=$K$D$$$F4JC1$K@bL@$7!"Bh#3>O$G<B9T;~$N>uBVA+0\!"Bh#4>O(B
$B$GCN<1%U%!%$%k!"Bh#5>O$G5/F0J}K!$r@bL@$9$k!#Bh#6>O$G$O!"Ds6!$9$k%3%^%s%I$r@bL@$7!"Bh#7>O(B
$B$G<B9TNc$r>R2p$9$k!#:G8e$KIUO?$H$7$FMQ8l@bL@$,:\$;$F$"$k!#(B

2. $BDs6!5!G=(B

CUI$B$O!"8!;!B&$HHo9pB&$H$$$&#2$D$NEv;v<T!J%(!<%8%'%s%H!K$N4V$NO@Ah%b%G%k$r<B8=$7$?$b$N$G(B
$B$"$k!#(B

$BO@Ah%b%G%k$K$*$1$k8!;!%(!<%8%'%s%H$NL\I8$O!"<+?H$N%4!<%k$r@5Ev2=$9$kO@>Z$r@8@.$9$k$3$H$G(B
$B$"$j!"Ho9p%(!<%8%'%s%H$NL\I8$O!"$=$NO@>Z$KBP$9$kM-8z$JH?O@$r@8@.$9$k$3$H$G$"$k!#(B

$B$3$NO@Ah%b%G%k$NA0Ds$O0J2<$NDL$j$G$"$k!#(B

$B!&(B $BAPJ}$N%(!<%8%'%s%H$O!"$=$l$>$l0[$J$kCN<1(B($B2ACM4Q(B,$B%k!<%k=89g(B)$B$r;}$D!#(B
$B!&(B $B8!;!%(!<%8%'%s%H$N$_$,O@Ah$NCf$GC#@.$9$Y$-%4!<%k(B(goal)$B$r;}$D!#(B
   $B$=$N%4!<%k$O(BH$B9`(B(H$B9`$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H(B)$B$H$7$FI=8=$5$lFbIt(B
   $B$KJQ?t$r4^$s$G$$$F$bNI$$!#(B
   $BHo9p$O8!;!$N=P$7$?O@>Z$KBP$7$F<uF0E*$KH?G}$r9T$J$&!#(B
$B!&(B $BAPJ}$N<gD%$O!";v<B$K4pDl$9$k?dO@LZ$N7A$r$7$?O@>Z$rMQ$$$F9T$J$o$J$1$l$P$J$i$J$$!#(B
$B!&(B $BO@>Z4V$NHf3S$O!"O@>Z$N(BTopRule$B$N4V$NM%@h4X78$K$h$C$F7hDj$5$l$k!#(B

$BO@Ah$N2aDx$K$*$$$F!"APJ}$,!"<+J,$N2ACM4Q$N4p$GM%0L$K$J$kO@>Z$rAj<j$K<gD%(B(pose)$B$7$?$j!"(B 
$B<+J,$NO@>Z$NJ}$,Aj<j$NO@>Z$h$jM%0L$G$"$k$3$H$rDLCN(B(notice)$B$9$k$3$H$K$h$j!"O@Ah$r?J$a$F$$(B
$B$/!#(B


	+------------+  	---->  		+------------+
	|$B8!;!(B        |	     $BO@Ah%W%m%H%3%k(B 	|$BHo9p(B        |
	|$B%(!<%8%'%s%H(B|				|$B%(!<%8%'%s%H(B|
	+------------+  	<----  		+------------+
	  |			  	  	  |
	  V		  		  	  V
	+===========+	       			+===========+
	|$B%4!<%k(B     |				|	    |
	|$B2ACM4Q(B1    |	       			|$B2ACM4Q(B2    |
	|$B%k!<%k=89g(B1|	       			|$B%k!<%k=89g(B2|
	+===========+	       			+===========+

			    [ $BO@Ah%b%G%k(B ]

$B3F%(!<%8%'%s%H$OO@Ah%W%m%H%3%k$H8F$P$l$k%a%C%;!<%8$rAj<j$KDLCN$9$k$3$H$K$h$j!"<+J,$N9M$((B
$B$rAj<j$KDLCN$9$k!#0J2<$K$=$N<oN`$r<($9!#(B

(1) $BO@>Z<gD%(B(pose)
	$B<+J,$NO@>Z$rDLCN$9$k!#(B
(2) $BM%@hDLCN(B(notice)
	$B<+J,$NO@>Z$NJ}$,M%0L$G$"$k$3$HDLCN$9$k!#(B
(3) $BO@>Z4~5Q(B(cancel)
	$B<+J,$,0JA0DLCN$7$?O@>Z$r4~5Q$9$k!#(B
(4) $BO@Ah=*N;(B(finish)
	$BAj<jO@>Z$K$D$$$FO@Ah$,=*N;$7$?$3$H$rDLCN$9$k!#(B

3 $B<B9T;~$N>uBVA+0\(B

CUI$B$K$O0J2<$N(B3$B$D$N>uBV$,$"$j!"(B $B>uBV$K1~$8$F;H$($k%3%^%s%I$,@)8B$5$l$k!#(B
$B5/F0;~$O=i4|>uBV$G$"$k!#(B

	   	  start
+--------+  	--------> 	+--------+
|$B=i4|>uBV(B|		  	|$BO@Ah>uBV(B|
+--------+	<-------- 	+--------+
		  end

	          ab
+--------+      --------> 	+------------+
|$B=i4|>uBV(B|	  		|$BO@>ZI=<(>uBV(B|
+--------+      <-------- 	+------------+
	          end

$B=i4|>uBV(B:
 $B!&(B $B;HMQ2DG=%3%^%s%I(B
	$B=i4|%3%^%s%I(B
 $B!&(B $B>uBVA+0\%3%^%s%I(B
	$BO@Ah3+;O%3%^%s%I(B"start"$B$GO@Ah>uBV$K0\$k!#(B
 $B!&(B $B%3%^%s%I$r;HMQ$9$k%?%$%_%s%0(B
	$B%3%^%s%I$N<B9T$,=*$k$?$S$K<!$N%3%^%s%I$NF~NO$,$G$-$k!#(B

$BO@Ah>uBV(B:
 $B!&(B $B;HMQ2DG=%3%^%s%I(B
	$BO@Ah%3%^%s%I(B
 $B!&(B $B>uBVA+0\%3%^%s%I(B
	$B8!;!$NO@AhEv;v<T$,%f!<%6(B(user)$B$N>l9g!"(B"end"$B$G=i4|>uBV$KLa$k!#(B
	$B8!;!$NO@AhEv;v<T$,%3%s%T%e!<%?(B(system)$B$N>l9g!"O@Ah$,=*N;$9$k$H<+F0E*$K=i4|>uBV$K(B
	$BLa$k!#(B
 $B!&(B $B%3%^%s%I$r;HMQ$9$k%?%$%_%s%0(B
	$BH/8@8"$N$"$kO@AhEv;v<T$,%f!<%6(B(user)$B$N;~$KF~NO$G$-$k!#(B

$BO@>ZI=<(>uBV(B:
 $B!&(B $B;HMQ2DG=%3%^%s%I(B
	$BO@>ZI=<(%3%^%s%I(B
 $B!&(B $B>uBVA+0\%3%^%s%I(B
	$BO@>ZI=<(=*N;%3%^%s%I$G$"$k(B"end"$B$GDL>o>uBV$KLa$k!#(B
 $B!&(B $B%3%^%s%I$r;HMQ$9$k%?%$%_%s%0(B
	$B%3%^%s%I$N<B9T$,=*$k$?$S$K<!$N%3%^%s%I$NF~NO$,$G$-$k!#(B

$B=i4|>uBV$+$iO@Ah>uBV$X9T$/(B($BO@Ah$r9T$J$&(B)$B$?$a$K$O0J2<$N=hM}$rI,$:9T$J$o$J$1$l$P$$$1$J$$!#(B
$B$J$*!"3g8LFb$N%3%^%s%I$O$=$N;~$K;HMQ$9$k%3%^%s%IL>$G$"$k(B

(1) $BCN<1%U%!%$%k$NFI$_9~$_(B
	$B0J2<$N(B(a),(b)$B$N%U%!%$%k$rI,$:FI$_9~$^$J$1$l$P$J$i$J$$!#(B
	$B$5$i$K!"FI$_9~$`=gHV$O!"(B(a)$B$N<!$K(B(b)$B$rFI$_9~$^$J$1$l$P$J$i$J$$!#(B

	(a) $B7?Dj5A%U%!%$%k(B(compile type$B%3%^%s%I(B)$B!"$^$?$O(B 
	    $B7?Dj5AFbItI=8=%U%!%$%k(B(load type$B%3%^%s%I(B)
	(b) $B%k!<%kDj5A%U%!%$%k(B(compile rule$B%3%^%s%I(B)$B!"$^$?$O(B
	    $B%k!<%kFbItI=8=Dj5A%U%!%$%k(B(load rule$B%3%^%s%I(B)

(2) $B;HMQCN<1$N@_Dj(B
	$BFI$_9~$s$@%k!<%k(B($B%f%K%C%H(B)$B$NFb!"$I$N%k!<%k(B($B%f%K%C%H(B)$B$r;HMQ$9$k$+$r@_Dj$9$k(B
        (set unit$B%3%^%s%I(B)$B!#(B

(3) $BO@AhEv;v<T$N@_Dj(B
	$B8!;!(B,$BHo9p$NO@AhEv;v<T$r%f!<%6$,9T$J$&$N$+%3%s%T%e!<%?$,9T$J$&$N$+$N@_Dj!#(B
	(set p solver $B$^$?$O(B set d solver$B%3%^%s%I(B)

$B$^$?!"=i4|>uBV$+$iO@>ZI=<(>uBV$X9T$/$?$a$K$O0J2<$N=hM}$rI,$:9T$J$o$J$1$l$P$J$i$J$$!#(B
$B$J$*!"3g8LFb$N%3%^%s%I$O$=$N;~$K;HMQ$9$k%3%^%s%IL>$G$"$k!#(B

(1) $BCN<1%U%!%$%k$NFI$_9~$_(B
	$B0J2<$N(B(a)$B$H(B(b)$B$N%U%!%$%kA4$F$rI,$:FI$_9~$^$J$1$l$P$J$i$J$$!#(B
	$B$5$i$K!"FI$_9~$`=gHV$O!"(B(a)$B$N<!$K(B(b)$B$rFI$_9~$^$J$1$l$P$J$i$J$$!#(B

	(a) $B7?Dj5A%U%!%$%k(B(compile type$B%3%^%s%I(B)$B!"$^$?$O(B 
	    $B7?Dj5AFbItI=8=%U%!%$%k(B(load type$B%3%^%s%I(B)
	(b) $B%k!<%kDj5A%U%!%$%k(B(compile rule$B%3%^%s%I(B)$B!"$^$?$O(B
	    $B%k!<%kFbItI=8=Dj5A%U%!%$%k(B(load rule$B%3%^%s%I(B)

(2) $B;HMQCN<1$N@_Dj(B
	$BFI$_9~$s$@%k!<%k(B($B%f%K%C%H(B)$B$NFb!"$I$N%k!<%k(B($B%f%K%C%H(B)$B$r;HMQ$9$k$+$r@_Dj$9$k(B
        (set unit$B%3%^%s%I(B)$B!#(B

(3) $BO@G}?dO@$N<B9T(B
	$BO@G}?dO@$r<B9T(B(solve$B%3%^%s%I(B)$B$7!"7kO@(B(goal)$B$KBP$9$k>ZL@$,@.8y$7$?;~!#(B

4.$BCN<1%U%!%$%k(B

$BO@Ah$GI,MW$H$9$kCN<1$r%U%!%$%k$KJ]B8$7$?$b$N$rCN<1%U%!%$%k$H8F$V!#(B
$BCN<1%U%!%$%k$K$O%f!<%6Dj5A%U%!%$%k!"FbItI=8=%U%!%$%k$N(B2$B<oN`$,$"$k!#%f!<%6Dj5A%U%!%$%k$O(B
HELIC-II$B$N8@8l;EMM$K=>$C$F%f!<%6$,=q$$$?%U%!%$%k$G$"$j!"FbItI=8=%U%!%$%k$O%f!<%6Dj5A(B
$B%U%!%$%k$G=q$+$l$F$$$kCN<1$,?dO@;~$K8zN(E*$K;2>H$G$-$k$h$&$KJQ49$5$l$?$b$N$G$"$k!#(B

$B$3$l$i(B2$B<oN`$NCN<1%U%!%$%k$NFI$_9~$_$r2DG=$K$7$F$$$k$N$O!"0J2<$NM}M3$K$h$k!#(B
CUI$BFbIt$G07$&%G!<%?$OA4$FFbItI=8=$KJQ49$7$J$1$l$P$J$i$J$$$?$a!"%f!<%6Dj5A%U%!%$%k$O>o$K(B
$BFbItI=8=$X$NJQ49$,9T$J$o$l$k!#$=$N$?$a!"ITJQE*$GFbItI=8=$X$NJQ49$K;~4V$,$+$+$kCN<1(B($BNc$((B
$B$P7?$J$I(B)$B$,5-=R$5$l$?%f!<%6Dj5A%U%!%$%k$b>o$KJQ49$r9T$J$o$J$1$l$P$J$i$J$$!#$=$3$G!"$3$N(B
$BJQ49$KMW$9$k;~4V$r@aLs$9$k$?$a$KFbItI=8=7A<0$KJQ49$5$l$?%U%!%$%k$+$i$NFI$_9~$_$r2DG=$H$7(B
$B$?!#(B

$B0J2<$O3F<oCN<1%U%!%$%k$NL>>N$G$"$k!#(B


$BDj5AFbMF(B	$B%f!<%6Dj5A%U%!%$%k(B	 $BFbItI=8=%U%!%$%k(B	
====================================================================
$B%k!<%k(B		$B%k!<%kDj5A%U%!%$%k(B 	 $B%k!<%kDj5AFbItI=8=%U%!%$%k(B
$B7?(B            	$B7?Dj5A%U%!%$%k(B 		 $B7?Dj5AFbItI=8=%U%!%$%k(B
$BH>=g=x(B		$BH>=g=xDj5A%U%!%$%k(B	 $BH>=g=xDj5AFbItI=8=%U%!%$%k(B
$B%4!<%k(B		$B%4!<%kDj5A%U%!%$%k(B	 $B%4!<%kDj5AFbItI=8=%U%!%$%k(B	 

$BH>=g=xDj5A%U%!%$%k$O%f%K%C%HDj5A!"H=CG4p=`Dj5A!"2ACM4QDj5A$r=gHV$KDj5A$7$?%U%!%$%k$G$"$k!#(B
$B%f!<%6Dj5A%U%!%$%k$+$i$NFI$_9~$_$O(Bcompile$B%3%^%s%I!"FbItI=8=%U%!%$%k$+$i$NFI$_9~$_$O(Bload
$B%3%^%s%I!"%f!<%6Dj5A%U%!%$%k$+$iFbItI=8=%U%!%$%k$X$NJQ49$O(Btrans$B%3%^%s%I$r;H$&!#(B
$B$J$*!"%f!<%6Dj5A%U%!%$%k$KF|K\8l$r4^$s$G$$$k>l9g$O%U%!%$%k$r(Beuc$B%3!<%I$G=q$+$J$1$l$P$J$i(B
$B$J$$!#(B

5. $B5/F0J}K!(B

HELIC-II$B$r%$%s%9%H!<%k$9$k$H(Bcui/bin$B$N2<$K(Bcui$B$H$$$&%*%V%8%'%/%H$,$G$-$k$N$G!"(B
$B0J2<$N$h$&$K5/F0$9$k!#(B

        ! cui
          +++

$B%W%m%0%i%`$,@5>o$KF0:n$9$k$?$a$K$O!"4D6-JQ?t$N(Bpath$B$K(Bcui/bin$B$^$G$N%G%#%l%/%H%j%Q%9L>$,@_Dj$5(B
$B$l$F$$$J$1$l$P$J$i$J$$!#>\$7$/$O!V(BCUI$B%$%s%9%H!<%k!&%^%K%e%"%k!W;2>H$N$3$H!#(B



6.$B%3%^%s%I@bL@(B

$B3F%3%^%s%I$r@bL@$9$k$K$"$?$C$F!"$=$3$G;H$o$l$k0z?t$N0UL#$O0J2<$G$"$k!#(B

(1) $B>.J8;z$O8GDj$NJ8;z!#BgJ8;z$O$=$3$KG$0U$NJ8;z$,F~$k$3$H$r0UL#$9$k!#(B
(2) <x | y | z> $B$O!"(Bx y z$B$NCf$+$iI,$:0l$D$rA*$s$GF~$l$k$3$H$r0UL#$9$k!#(B
(3) {x}$B$O(B x $B$N#02s0J>e$N7+$jJV$7!#(B
(4) [x]$B$O(B x $B$r#12s$^$?$O>JN,$G$-$k!#(B
(5) $B%3%^%s%I$N<!$K;XDj$9$k(B<p|d>$B$O!"$3$N%3%^%s%I$,8!;!(B(p)$B$KBP$9$k$b$N$J$N$+!"Ho9p(B(d)$B$KBP(B
    $B$9$k$b$N$J$N$+$r;XDj$9$k$b$N$G$"$k!#(B

$B$^$?!"Cm0U;v9`$H$7$F0J2<$,$"$k!#(B

$B!&%3%^%s%IF~NO$O(B1$B9T$G(B1$B%3%^%s%I$H$_$J$5$l$k!#(B
$B!&F|K\8l$rF~=PNO$9$k>l9g!"(Bterminal$B$NF~=PNO%b!<%I$,(Beuc$B$G$J$1$l$P$J$i$J$$!#(B
$B!&%U%!%$%kL>$O@dBP%Q%9!"AjBP%Q%9$I$A$i$G$b$h$$!#(B
$B!&Nc$OA4$F%+%l%s%H!&%G%#%l%/%H%j$,(Bcui/data$B$K$J$C$F$$$k;~$K<B9T$7$?$b$N$G$"$k!#(B

6.1 $B=i4|%3%^%s%I(B

6.1.1 $BCN<1%U%!%$%k$NFI$_9~$_(B

$BCN<1%U%!%$%k$NFI$_9~$_$K4X$9$k%3%^%s%I$r@bL@$9$k!#(B

(1)  compile <p|d> <type|rule|pom> FILENAME   
     compile        goal           FILENAME


	    <type|rule|pom> 		$BFI$_9~$`%U%!%$%k$N%?%$%W$r;XDj$9$k!#(B
					type$B$O7?Dj5A%U%!%$%k!"(B
					rule$B$O%k!<%kDj5A%U%!%$%k!"(B
					pom$B$OH>=g=xDj5A%U%!%$%k$rI=$9!#(B
	     goal			$B%4!<%kDj5A%U%!%$%k$rFI$_9~$`!#(B
	     FILENAME 			$BFI$_9~$`%U%!%$%k$NL>A0(B

   $B5!G=(B:
	$B%f!<%6Dj5A$NCN<1%U%!%$%k$NFI$_9~$_!#(B

	$B$J$*!"(Bcompile$B%3%^%s%I$r<B9T$9$k$H!":n6HMQ$N%U%!%$%k$H$7$F!"%+%l%s%H!&%G%#%l%/(B
        $B%H%j$N2<$K!"(Btmp1$B$H(Btmp2$B$H$$$&%U%!%$%k$,:n@.$5$l$k!#(B

   $BNc(B:
	compile p type cntrct.type
	compile p rule cntrct.rule
	compile p pom  cntrct.pom
	compile   goal cntrct.goal

(2)  load <p|d> <type|rule|pom> FILENAME
     load        goal           FILENAME

	    <type|rule|pom>     $BFI$_9~$`%U%!%$%k$N%?%$%W$r;XDj$9$k!#(B
				type$B$O7?Dj5AFbItI=8=%U%!%$%k!"(B
				rule$B$O%k!<%kDj5AFbItI=8=%U%!%$%k!"(B
				pom$B$OH>=g=xDj5AFbItI=8=%U%!%$%k$rI=$9!#(B
	     goal		$B%4!<%kDj5AFbItI=8=%U%!%$%k$rFI$_9~$`!#(B
	     FILENAME 		$BFI$_9~$`%U%!%$%k$NL>A0(B

   $B5!G=(B:
	$BFbItI=8=$NCN<1%U%!%$%k$NFI$_9~$_!#(B
	$B%U%!%$%kL>$O(Btrans$B%3%^%s%I$GJQ49$5$l$?8e$N%U%!%$%k$r;XDj$9$k!#(B

   $BNc(B:
	load p type cntrct.t
	load p rule cntrct.r
	load p pom  cntrct.p
	load   goal goal.g

6.1.2 $BFbItI=8=%U%!%$%k$X$NJQ49(B

$B%f!<%6Dj5A%U%!%$%k$+$iFbItI=8=%U%!%$%k$X$NJQ49$K4X$9$k%3%^%s%I$r@bL@$9$k!#(B

(1)  trans <type|rule|pom|goal> FILENAME1 FILENAME2

	    <type|rule|pom|goal>$BJQ49$9$k%U%!%$%k$N%?%$%W$r;XDj$9$k!#(B
				type$B$O7?Dj5A%U%!%$%k!"(B
				rule$B$O%k!<%kDj5A%U%!%$%k!"(B
				pom$B$OH>=g=xDj5A%U%!%$%k!"(B
				goal$B$O%4!<%kDj5A%U%!%$%k$rI=$9!#(B
	     FILENAME1 		$BFI$_9~$`%U%!%$%k$NL>A0(B
	     FILENAME2 		$B=PNO%U%!%$%k$NL>A0(B

   $B5!G=(B:
	$B%f!<%6Dj5A%U%!%$%k$+$iFbItI=8=%U%!%$%k$X$NJQ49!#(B

   $BNc(B:
	trans type cntrct.type cntrct.t
	trans rule cntrct.rule cntrct.r
	trans pom  cntrct.pom  cntrct.p
	trans goal cntrct.goal  cntrct.g

6.1.3 $B<B9T4D6-$N@_Dj(B

$B<B9T4D6-$r@_Dj$9$k!#(B

(1)  set <p|d> view VIEW

	   VIEW			$B2ACM4Q$NL>A0!#(B

  $B5!G=(B:
	$B;HMQ$9$k2ACM4Q$r@_Dj$9$k!#2ACM4Q$O!"H>=g=xDj5A%U%!%$%k$KDj5A$5$l$F$$$k$b$N$rMQ$$(B
	$B$k!#(B
	$B$J$*!"2ACM4Q$K$D$$$F$OIUO?$r;2>H$N$3$H!#(B

  $BNc(B:
	set p view prosecutor0

(2)  set <p|d> sp [SP {SP}]

	     SP  		$BH=CG4p=`$NL>A0!#(B

  $B5!G=(B:
	$B;HMQ$9$kH=CG4p=`$NM%@h=g0L$r@_Dj$9$k!#H=CG4p=`$O!"H>=g=xDj5A%U%!%$%k$KDj5A$5$l$F(B
	$B$$$k$b$N$rMQ$$$k!#(B
	$B$^$?!"H=CG4p=`$NL>A0$OM%@hEY$,Dc$$$b$N$+$i=q$-!"H=CG4p=`$r>JN,$9$k$H!"%k!<%k4V$N(B
	$B4X78$OA4$FL54X78$H$J$k!#(B
	$B$J$*!"H=CG4p=`$K$D$$$F$OIUO?$r;2>H$N$3$H!#(B

  $BNc(B:
	set  p sp importance_of_civil_code importance_of_amount_money
		$B2ACM4Q$r(B $B!V(B"importance_of_amount_money"$B$H$$$&4p=`$r(B
                "importance_of_civil_code"$B$h$jM%@h$5$;$k!W(B $B$H@_Dj$9$k!#(B
	set  p sp
		$B2ACM4Q$r@_Dj$7$J$$!#$D$^$j!"$"$i$f$kH=CG4p=`$rL5;k$7!"7k2L$H$7$F%k!<%k4V(B
		$B$NM%@h4X78$OA4$F$J$$$b$N$H$9$k!#(B

(3)  set <p|d> unit <UNIT {UNIT}>|all

	    UNIT 		$B%f%K%C%HL>(B

    $B5!G=(B:
    	load$B$d(Bcompile$B%3%^%s%I$GFI$_9~$s$@%k!<%kDj5A$NCf$G!";HMQ$9$k%k!<%k!J$^$?$O%k!<%k=8(B
	$B9g!K$r%f%K%C%H$N7A$G;XDj$9$k!#%f%K%C%H$K$D$$$F$O!"IUO?$r;2>H$N$3$H!#(B
        $B!J;XDj$7$J$$%f%K%C%H$O!"(Bload$B$d(Bcompile$B%3%^%s%I$GFI$_9~$^$l$F$$$F$b!";HMQ$5$l$J$$!K(B
	all$B$r;XDj$9$k$HA4$F$N%k!<%k$r;HMQ$9$k$3$H$H$J$k!#(B

    $BNc(B:
	set p unit all
		$BA4$F$N%f%K%C%H$r;HMQ$9$k!#(B
		
(4)  set goal GOAL

	    GOAL 		H$B9`(B
				H$B9`$K$D$$$F$O!"!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

    $B5!G=(B:
	$B>ZL@$9$k7kO@(B(goal)$B$r@_Dj$9$k!#(B

    $BNc(B:
	 set goal canWithdraw(agent=father, object= contract(agent=tarou[age=>19]))

(5)  set <p|d> pl INTEGER

	    INTEGER		$B@0?t(B

    $B5!G=(B:
	H$B9`$rI=<($9$k>l9g!"$=$N(BH$B9`$r2?%P%$%HI=<($9$k$+$r;XDj$9$k!#(B

    $BNc(B:
	 set p pl 1000

(6)  set <p|d>  pt <h|e>

	    <h|e>	  	H$B9`$NI=<($N%?%$%W$r;XDj$9$k!#(B
				h$B$O(BH$B9`$=$N$^$^$NI=<(!"(B
				e$B$O(BH$B9`$N(Bexplain$B$G=q$$$?$b$N$rI=<($9$k!#(B

    $B5!G=(B:
	H$B9`$rI=<($9$k;~!"$=$N$^$^I=<($9$k$+!"(BH$B9`$N(Bexplain$B$rI=<($9$k$+$r;XDj$9$k!#(B

    $BNc(B:
	 set p pt h

(7)  set <p|d> cl INTEGER | -1

	    INTEGER		0$B0J>e$N@0?t(B

    $B5!G=(B:
	$BO@G}?dO@;~$NH?O@CJ?t$r;XDj$9$k!#H?O@CJ?t$OIUO?$r;2>H$N$3$H!#(B

	-1$B$r;XDj$9$k$HH?O@CJ?t$,L58B$K$J$k!#(B

	$BH?O@CJ?t(B(INTEGER)$B$K(B0$B$r;XDj$9$k$H!"H?O@$r5a$a$J$$$?$a$K!"O@>Z@8@.5!G=$,<B8=$5$l$k!#(B
	$B$^$?!"(B0$B$h$jBg$-$$?t;z$r;XDj$9$k$HH?O@$r5a$a$k$3$H$H$J$j!"O@G}?dO@5!G=$,<B8=$5$l$k!#(B

    $BNc(B:
	 set p cl 0
	 set p cl 1000
	 set p cl -1

(8) set <p|d> sim INTEGER

	    INTEGER		1$B$+$i(B100$B$^$G$N@0?t(B

    $B5!G=(B:
	$BN`;wEY$NogCM$r@_Dj$9$k!#(B
	$BN`;wEY$NogCM$N5,DjCM$O(B70$B$G$"$k!#(B
	$BN`;wEY$NogCM$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

    $BNc(B:
	 set p sim 70

(9) set <p|d> weight INTEGER

	    INTEGER		1$B$+$i(B10$B$^$G$N@0?t(B
    $B5!G=(B:
	trivial$B$J9`$N=E$_$r@_Dj$9$k!#(B
	trivial$B$J9`$N=E$_$N5,DjCM$O(B7$B$G$"$k!#(B
	trivial$B$J9`$N=E$_$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

    $BNc(B:
	 set weight 7

(10) set <p|d> ptst A B C D E

	    A 			100$B$+$i(B1$B$^$G$N@0?t(B
	    B 			100$B$+$i(B1$B$^$G$N@0?t(B
	    C 			100$B$+$i(B1$B$^$G$N@0?t(B
	    D 			100$B$+$i(B1$B$^$G$N@0?t(B
	    E			100$B$+$i(B1$B$^$G$N@0?t(B

    $B5!G=(B:
	$B&79`Cj>]2=%F!<%V%k$r@_Dj$9$k!#(B
	A,B,C,D$B$O&79`$r$=$l$>$l(B1,2,3,4$BCJCj>]2=$7$?;~$NN`;wEY!#(B
	E$B$O&79`$r(B5$BCJ0J>eCj>]2=$7$?;~$NN`;wEY!#(B
	A>=B>=C>=D>=E$B$G$J$/$F$O$J$i$J$$!#(B
	$B&79`Cj>]2=%F!<%V%k$N5,DjCM$O(B100 90 80 70 60 50$B$G$"$k!#(B
	$B&79`Cj>]2=%F!<%V%k$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

    $BNc(B:
	 set p ptst 100 90 80 70 60 50

(11) set <p|d> ptaw INTEGER

    	    INTEGER		1$B$+$i(B10$B$^$G$N@0?t(B

    $B5!G=(B:
	$B&79`6qBN2==E$_$r@_Dj$9$k!#(B
	$B&79`6qBN2==E$_$N5,DjCM$O(B7$B$G$"$k!#(B
	$B&79`6qBN2==E$_$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

    $BNc(B:
	 set p ptaw 7

(12) set <p|d> gp INTEGER

	    INTEGER		$B%4!<%kHV9f(B

    $B5!G=(B:
	$B%4!<%kHV9f$r;XDj$9$k$3$H$K$h$j%4!<%k$r@_Dj$9$k!#(B
	$B$3$N%3%^%s%I$r;H$&>l9g$O%4!<%kDj5A%U%!%$%k$rFI$_9~$s$@>l9g$K;HMQ$9$k!#(B

    $BNc(B:
	 set p gp 0

(13)   set <p|d> solver <user|system>

	    <user|system>	$BO@AhEv;v<T$r%f!<%6$,C4Ev$9$k>l9g$O(Buser$B!"%3%s%T%e!<%?$,C4(B
				$BEv$9$k>l9g$O(Bsystem$B$r;XDj$9$k!#(B
				system$B$r;XDj$7O@Ah>uBV$K$J$C$?$i!"%3%s%T%e!<%?$,AhE@$dH?(B
				$BO@$r<+F0E*$KA*Br$7O@Ah$r?J$a$F$$$/!#(B
				user$B$r;XDj$7O@Ah>uBV$K$J$C$?$i!"%f!<%6$,<+J,$GO@Ah%3%^%s(B
				$B%I$rF~NO$7!"O@Ah$r?J$a$F$$$/!#(B

   $B5!G=(B:
	$B%f!<%6$H%7%9%F%`$,$I$NO@AhEv;v<T!J8!;!!"Ho9p!K$rC4Ev$9$k$+$r;XDj$9$k!#(B

   $BNc(B:
	set p solver user
	set p solver system

6.1.4 $B%3%^%s%I!&%U%!%$%k$N<B9T(B

$B%3%^%s%I$,$+$+$l$?%U%!%$%k(B($B$3$l$r%3%^%s%I!&%U%!%$%k$H8F$V(B)$B$+$i%3%^%s%I$r<h$j=P$7!"$=$l$i(B
$B$r<B9T$9$k!#(B

(1)  run FILENAME

	      FILENAME 		$BFI$_9~$`%U%!%$%k$NL>A0(B

   $B5!G=(B:
        CUI$B$rN)$A$"$2$k$?$S$K!"(Bload$B!"(Bcompile$B!"(Bset$B%3%^%s%I$rF~NO$9$kHQ$o$7$5$rHr$1$k$?$a!"(B
	$B%3%^%s%I!&%U%!%$%k$K5-:\$5$l$?%3%^%s%I$r<B9T$9$k!#(B

	$B%3%^%s%I!&%U%!%$%k$N;EMM$O0J2<$G$"$k!#(B
  		$B!&#1%3%^%s%I$O#19T$K=q$/!#(B
		$B!&;HMQ$G$-$k%3%^%s%I$O!"(Bload$B!"(B compile$B!"(Bset$B!"(Bsolve$B%3%^%s%I$N$_$G$"$k!#(B
		$B!&F|K\8l$r4^$`>l9g$O%U%!%$%k$r(Beuc$B%3!<%I$G=q$+$+$J$1$l$P$J$i$J$$!#(B

   $B%3%^%s%I!&%U%!%$%k$N5-=RNc(B

	compile p type cntrct.type
	compile p rule cntrct.rule
	compile p pom cntrct.pom
	set     p solver system
	set     p unit all
	set     p sp 
	compile d type cntrct.type
	compile d rule cntrct.rule
	compile d pom cntrct.pom
	set     d solver system
	set     d unit all
	set     d sp 
	set goal canWithdraw(agent=father, object= contract(agent=tarou[age=>19]))
	
  $BNc(B:
	run cntrct.c 

6.1.5 $BCN<1%Y!<%9!"<B9T4D6-$NI=<((B

$BCN<1%Y!<%9$d<B9T4D6-$NI=<($r9T$&!#(B

(1)  show <p|d> view [VIEW|all]

	    VIEW  		$B2ACM4Q$NL>A0(B

   $B5!G=(B:
	$B8=:_@_Dj$5$l$F$$$k2ACM4Q!"2ACM4Q$NCf$GDj5A$5$l$F$$$kH=CG4p=`$NM%@h4X78!"A4$F$N2A(B
	$BCM4Q$rI=<($9$k!#(B

	$B2ACM4Q$N;XDj$N0c$$$K$h$j!"I=<(FbMF$,0J2<$KJL$l$k!#(B

	$B2ACM4Q$N;XDj(B	$BI=<(FbMF(B
	===============================================================================
	$B>JN,(B		$B8=:_@_Dj$5$l$F$$$k2ACM4Q$rI=<($9$k!#(B
	VIEW		VIEW$B$NCf$GDj5A$5$l$F$$$kH=CG4p=`$NM%@h4X78$rM%@h4X78$NDc$$$b$N$+(B
			$B$iI=<($9$k!#(B
	all		$BA4$F$N2ACM4Q$rI=<($9$k!#(B

   $BNc(B:
	show p view
	show p view prosecutor0
	show p view all

(2) show <p|d> sp [SP|all]

		SP		$BH=CG4p=`$NL>A0!#(B

    $B5!G=(B:
	$B8=:_@_Dj$5$l$F$$$kH=CG4p=`$NM%@h4X78!"H=CG4p=`$NCf$GDj5A$5$l$F$$$k%f%K%C%H$NM%@h4X(B
	$B78!"A4$F$NH=CG4p=`$rI=<($9$k!#(B

	$BH=CG4p=`$N;XDj$N0c$$$K$h$j!"I=<(FbMF$,0J2<$KJL$l$k!#(B

	$BH=CG4p=`$N;XDj(B	$BI=<(FbMF(B
	===============================================================================
	$B>JN,(B		$B8=:_@_Dj$5$l$F$$$kH=CG4p=`$NM%@h4X78$rI=<($9$k!#(B
	SP		SP$B$NCf$GDj5A$5$l$F$$$k%f%K%C%H$NM%@h4X78$rM%@h4X78$NDc$$$b$N$+$i(B
			$BI=<($9$k!#(B
	all		$BA4$F$NH=CG4p=`$rI=<($9$k!#(B

    $BNc(B:
	show p sp 
	show p sp importance_of_civil_code
	show p sp all

(3)  show <p|d> unit [UNIT|all]

		UNIT		$B%f%K%C%H$NL>A0!#(B

   $B5!G=(B:
	$B8=:_@_Dj$5$l$F$$$k%f%K%C%H!"%f%K%C%H4V$NJq4^4X78!"A4$F$N%f%K%C%H$rI=<($9$k!#(B

	$B%f%K%C%H$N;XDj$N0c$$$K$h$j!"I=<(FbMF$,0J2<$KJL$l$k!#(B

	$B%f%K%C%H$N;XDj(B	$BI=<(FbMF(B
	===============================================================================
	$B>JN,(B		$B8=:_@_Dj$5$l$F$$$k%f%K%C%H$rI=<($9$k!#(B
	UNIT		UNIT$B$NCf$GDj5A$5$l$F$$$k%f%K%C%H$rI=<($9$k!#(B
	all		$BA4$F$N%f%K%C%H$rI=<($9$k!#(B

   $BNc(B:
	show p unit
	show p unit civil_code
	show p unit all

(4)  show goal

    $B5!G=(B:
	$B>ZL@$9$kK!E*7kO@(B(goal)$B$rI=<($9$k!#(B

(5)  show <p|d> pl

    $B5!G=(B:
	$B8=:_@_Dj$5$l$F$$$k(BH$B9`$NI=<(D9$5(B($B%P%$%H(B)$B$rI=<($9$k!#(B

(6)  show <p|d> pt 

    $B5!G=(B:
	$B8=:_@_Dj$5$l$F$$$k(BH$B9`$NI=<(%?%$%W$rI=<($9$k!#(B

(7)  show <p|d> cl

    $B5!G=(B:
	$B8=:_@_Dj$5$l$F$$$kO@G}?dO@;~$NH?O@CJ?t$rI=<($9$k!#(B

(8) show <p|d> sim 

    $B5!G=(B:
	$BN`;wEY$NogCM$rI=<($9$k!#(B
	$BN`;wEY$NogCM$N5,DjCM$O(B70$B$G$"$k!#(B
	$BN`;wEY$NogCM$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

(9) show <p|d> weight 

    $B5!G=(B:
	trivial$B$J9`$N=E$_$rI=<($9$k!#(B
	trivial$B$J9`$N=E$_$N5,DjCM$O(B7$B$G$"$k!#(B
	trivial$B$J9`$N=E$_$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

(10) show <p|d> ptst 

    $B5!G=(B:
	$B&79`Cj>]2=%F!<%V%k$rI=<($9$k!#(B
	$B&79`Cj>]2=%F!<%V%k$N5,DjCM$O(B100 90 80 70 60 50$B$G$"$k!#(B
	$B&79`Cj>]2=%F!<%V%k$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

(11) show <p|d> ptaw

    $B5!G=(B:
	$B&79`6qBN2==E$_$rI=<($9$k!#(B
	$B&79`6qBN2==E$_$N5,DjCM$O(B7$B$G$"$k!#(B
	$B&79`6qBN2==E$_$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

(12) show <p|d> solver

    $B5!G=(B:
	$B8=:_$N3F%(!<%8%'%s%H$N(Bsolver$B$rI=<($9$k!#(B

6.1.6 $B%W%m%0%i%`$N=*N;(B

(1)  quit

    $B5!G=(B:
	$B%W%m%0%i%`$N=*N;!#(B

6.1.7 $BO@G}?dO@$N<B9T(B

(1)  solve  <p|d> [GOAL]

	GOAL		H$B9`!#(B

   $B5!G=(B:
	$B@_Dj$5$l$?>ZL@$9$Y$-7kO@(B(goal)$B$KBP$7$FO@G}?dO@$r3+;O$9$k!#(B
	$B$b$7!"7kO@$KBP$9$k>ZL@$,<:GT$9$k$H!"(B"no"$B$,I=<($5$l$k!#(B
	$B@.8y$7!"7kO@$KJQ?t$r4^$s$G$$$k>l9g$O$=$NJQ?t>pJs$,I=<($5$l$k!#(B
	$B$b$7!"JQ?t$,B+G{$5$l$J$+$C$?>l9g$O$=$NJQ?t$N>pJs$O(B"?"$B$,I=<($5$l$k!#(B
	($BNc$($PJQ?t(BX$B$r;}$D(Bgoal$B$KBP$7$FO@G}?dO@$r$7$?7k2L!"$=$NJQ?t$OB+G{$5$l$J$+$C$?>l9g(B
	$B$O(B"X=?"$B$HI=<($5$l$k(B)
	$BJQ?t$,$J$$>l9g$O(B"yes"$B$,I=<($5$l$k!#(B

	$BK\%3%^%s%I$r<B9T$9$k$K$"$?$C$F7?!"%k!<%k$NFI$_9~$_$H;HMQ$9$k%f%K%C%H$N@_Dj$r$7$J(B
	$B$1$l$P$J$i$J$$!#(B

6.2 $BO@Ah3+;O%3%^%s%I(B

(1)  start 

   $B5!G=(B:
	$BO@Ah$r3+;O$7!"8!;!$KM?$($i$l$?(Bgoal$B$KBP$7$F!"$=$N(Bgoal$B$rF3$/$?$a$NO@>Z(B($B=i4|O@>Z(B)$B$,(B
	$BJ#?t@8@.$5$l$k!#O@AhEv;v<T$,%f!<%6$N>l9g!"(Bstart$B$N8e$K=i4|O@>Z0lMw$,I=<($5$l$k$N(B
	$B$G!"$=$NFb$I$l$K$D$$$FO@Ah$r?J$a$F$$$/$+$NHV9f(B($B=i4|O@>ZHV9f(B)$B$rF~NO$7$J$1$l$P$J$i(B
	$B$J$$!#(B

	$B0J2<$,=i4|O@>Z0lMwI=<($NNc$G$"$k!#(B

		Goal : canWithdraw(agent=father,object=contract(agent=tarou
		0 :    >:0!:3<:0  canWithdraw(agent=father,object=contract(

			[ $B=i4|O@>Z0lMwI=<($NNc(B ]

	"0"$B$O=i4|O@>ZHV9f!"(B">:0!:3<:0"$B$O$3$N=i4|O@>ZHV9f(B0$B$NO@>Z$KBP$9$kH?O@$H$N(BTopRule$B4X(B
	$B78$rI=$7$F$$$k!#!J(BTopRule$B4X78$K$D$$$F$O!"IUO?$r;2>H$N$3$H!K(B

	$B$3$NNc$N>l9g!"H?O@$,(B3$B$D$"$j!"$=$NH?O@$H$N(BTopRule$B4X78$,L54X78$G$"$k$3$H$rI=$7$F$$(B
	$B$k!#(B

6.3 $BO@Ah%3%^%s%I(B

$BO@Ah%3%^%s%I$OO@AhEv;v<T$N0lJ}$^$?$OAPJ}$r%f!<%6$K$7$?$H$-$N$_;H$($k!#(B

6.3.1 $BO@>Z$NI=<((B

$BO@>ZI=<(7O$H$O!"O@Ah$NESCf$G!"8=:_$d2a5n$KDs<($5$l$?O@>Z$rI=<($9$k$?$a$N%3%^%s%I=89g$G$"(B
$B$k!#(B
$BO@>ZI=<(7O$N%3%^%s%I@bL@$rMF0W$K$9$k$?$a$K!"O@>Z4V$N4X78(B,$BO@>ZI=<(7O%3%^%s%I4X78(B,$BO@>ZI=<((B
$B7A<0$K$D$$$F0J2<$K@bL@$9$k!#(B

[$BO@>Z4V$N4X78(B]
	$BO@>Z4V$N4X78$r?^(B1$B$r;H$C$F@bL@$9$k!#(B

		p0 +------+-----+
			d1+-----+
			d2+-----+

		[ $B?^(B1: $BO@>Z4V$N4X78Nc(B ]

	$BO@>Z(Bp0$B$KBP$7$F(Bd1,d2$B$NH?O@$,$"$C$?$H$9$k!#(B
	$B$3$N$H$-(Bp0$B$H(Bd1,d2$B$O$=$l$>$l?F;R4X78$K$"$j!"(Bp0$B$r?F!"(Bd1,d2$B$r;R$H8F$V!#(B
	$B$^$?!"(Bd1,d2$B$O$=$l$>$l7;Do4X78$K$"$j!"(Bd1$B$r7;!"(Bd2$B$rDo$H8F$V!#(B

[$BO@>ZI=<(7O%3%^%s%I4X78(B]

	$B?F$+$i;R$r8+$k>l9g$O(Bshow counter,forward$B$r;H$&!#(B
	forward$B$O(Bbackward$B$r0JA0;H$C$?>l9g!"$=$l$N5U!"$D$^$j!"?F$+$i;R$r$_$k;~$K;H$&!#(B
	$B;R$+$i?F$r8+$k>l9g$O(Bbackward$B$r;H$&!#(B
	$B7;$+$iDo$r8+$k>l9g$O(Bnext$B$r;H$&!#(B
	$BDo$+$i7;$r8+$k>l9g$O(Bprevious$B$r;H$&!#(B

	$B?^(B1$B$G(Bp0->d1->d2->d1->p0->d2$B$N=g$GO@>Z$r8+$F$$$/>l9g!"0J2<$N$h$&$K%3%^%s%IF~NO$r(B
	$B9T$J$&!#(B

	$B%3%^%s%IF~NO(B			$BI=<($5$l$F$$$kO@>Z(B
	========================================================
					p0
	show counter
	0				d1
	next				d2
	previous			d1
	backward			p0
	forward				d2

	show counter$B%3%^%s%I$OJ#?t$"$k;R$NFb$I$N;R$rI=<($5$;$k$+$rA*$P$J$1$l$P$J$i$J$$!#(B
	$B$3$NNc$N>l9g!"%f!<%6$O(Bd1$B$+(Bd2$B$N$I$A$i$+$rA*Br$7$J$1$l$P$J$i$:!"O@>ZHV9f$,!"(Bd1$B$,(B
	0,d2$B$,(B1$B$G$"$C$?$?$a$K%f!<%6$O(B0$B$rA*Br$7$?!#(B

	$B$^$?!"0lHV:G8e$N(Bforward$B$G(Bd2$B$rI=<($7$?$,!"$3$3$G!"(Bshow counter$B%3%^%s%I$G(B1$B$rF~NO$7(B
	$B$F$b(Bd2$B$,I=<($5$l$k!#(B

[$BO@>ZI=<(7A<0(B]

	$B0J2<$,0lHLE*$JO@>Z$NI=<(7A<0$NNc$G$"$k!#(B

	History : start
	RuleInfo({RuleName,TopRuleRel}) : {r11,nil}
	0  :             r11:canWithdraw(agent=fa
	1  :              r1:contract(agent=tarou
	2  :               act4:buy(agent=tarou[age=
	3  :               act5:loan(agent=tarou[age
	4  :               act6:causality(source=buy
	5  :   !  2(0)    r6:-valid(a_object=cont
	6  :               act5:loan(agent=tarou[age
	7  :               r1:contract(agent=tarou
	8  :                act4:buy(agent=tarou[age=
	9  :                act5:loan(agent=tarou[age
	10 :                act6:causality(source=buy
	11 :   !  1(0)     r2:needAllow(agent=fath
	12 :                r1:contract(agent=tarou
	13 :                 act4:buy(agent=tarou[age=
	14 :                 act5:loan(agent=tarou[age
	15 :                 act6:causality(source=buy
	16 :                act0:isFather(a_object=fa
	17 :               act10:-allow(agent=father,
	18 :               act0:isFather(a_object=fa
	19 :              act0:isFather(a_object=fa
	UseCommand : [pose,end,show,set]

	History:
		$B8!;!(B,$BHo9p4V$G$d$j$H$j$9$k%W%m%H%3%k!&%a%C%;!<%8!#(B
		$B%W%m%0%i%`FbIt$G$O$3$N%W%m%H%3%k$r$d$j$H$j$9$k$3$H$K$h$j!"<+J,$N9M$($rAj(B
		$B<j$KDLCN$9$k!#(B
	AidInfo:
		$BI=<($7$F$$$kO@>Z(BID,$B?F$NO@>Z(BID,FOCUS$BO@>Z$N(BID$B$N=g$GI=<($7$F$$$k!#(B
		nil$B$O$J$$$3$H$rI=$9!#(B
		FOCUS$BO@>Z$OIUO?$r;2>H$N$3$H!#(B
	RuleInfo:
		$BI=<($7$F$$$kO@>Z$rF3$/%k!<%k$NL>A0$HI=<($7$F$$$kO@>Z$N?FO@>Z$H$N(B
		TopRule$B4X78$N=g$GI=<($7$F$k!#(BTopRule$B4X78$O(Bwin,draw,lose,nil$B$N(B4$B<oN`(B
		$B$"$j!"$=$l$>$l6/$$(B,$BL54X78(B,$B<e$$(B,TopRule$B4X78$,$J$$$3$H$rI=$9!#(B
	0-19:
		$B?dO@LZ$rI=$9!#(B

		11$B$rNc$K$H$j!"$5$i$K>\$7$/@bL@$9$k!#(B

		$BAhE@HV9f(B   $B;R>pJs(B	consequence
		=================================================================
		11 :       !  1(0)      r2:needAllow(agent=fath

		$BAhE@HV9f$O8=:_I=<($7$F$$$kO@>Z$KJ#?t$"$kAhE@$r<1JL$9$k$?$a$NHV9f$G$"$k!#(B
		show counter$B$G;R$r8+$k>l9g$O$3$NAhE@HV9f$r;XDj$9$k!#(B

		$B;R>pJs$O$3$NAhE@$KBP$9$k;R$K4X$9$k>pJs$r<($7$?$b$N$G$"$k!#(B
		$B:G=i$N(B"!"$B$O$3$NAhE@$KBP$7$FJ#?t$"$k;R$H$N(BTopRule$B4X78$N>pJs$rI=$7$?$b$N$G(B
		$B$"$k!#(B
		$B<oN`$H$7$F$O(B>,!,<$B$,$"$j!"(B>$B$OA4$F$N;R$KBP$9$k(BTopRul$B4X78$,6/$$AhE@!"(B!$B$O6/(B
		$B$$$N$HL54X78$J(BTopRul$B4X78$,$"$kAhE@!"(B<$B$O(B1$B$D$G$b<e$$$b$N$,$"$kAhE@$r$"$i$o(B
		$B$9!#(B

		$B<!$N(B"1(0)"$B$O!":G=i$N?t;z$,;R$N?t$rI=$9!#<!$N3g8LFb$N?t;z$OO@Ah$,=*N;$7$?(B
		$B;R$N?t$rI=$9!#$J$*!"$3$3$G$$$&O@Ah=*N;$H$O!"8!;!(B,$BHo9pN>J}$G$*8_$$$N<gD%(B
		$B$,M%0L$G$"$k$3$H$r(Bnotice$B%3%^%s%I$K$h$jDLCN$7$?>l9g$H(Bfinish$B%3%^%s%I$K$h$j(B
		$BAj<j$+$i<+J,$N<gD%$7$?O@>Z$K$D$$$FO@Ah$r=*N;$7$?$3$H$rDLCN$5$l$?>l9g$r;X(B
		$B$9!#(B

		consequence$B$O%k!<%k$N<B9TIt(B(then$BIt(B)$B$KAjEv$9$k!#(B
		$B3F9T$N(Bconsequence$B$K6uGr$,$O$$$C$F$$$F(B1$BCJ:9$,$"$k$N$O!"(B1$BCJ:9$"$k$b$N$K$h(B
		$B$j!"CJ:9$,$J$$$b$N$,F3$+$l$?$3$H$r$"$i$o$9!#(B
		r1$B$O;HMQ$7$?%k!<%kL>!#(B
	Can use command:
		$B8=:_;HMQ$G$-$k%3%^%s%I$N0lMw!#(B

(1) backward

 $B5!G=(B:
	$B8=:_I=<($7$F$$$kO@>Z$N?F$rI=<($9$k!#(B

(2) forward

 $B5!G=(B:
	$B8=:_I=<($7$F$$$kO@>Z$N;R$rI=<($9$k!#(B
	forward$B%3%^%s%I$O(Bbackward$B%3%^%s%I$r0JA0;H$C$?>l9g!"$=$l$N5U$r8+$k%3%^%s%I$G$"$k!#(B

(3) next

 $B5!G=(B:
	$B8=:_I=<($7$F$$$kO@>Z$NDo$rI=<($9$k!#(B

(4) previous

 $B5!G=(B:
	$B8=:_I=<($7$F$$$kO@>Z$N7;$rI=<($9$k!#(B

(5) focus

 $B5!G=(B:
	FOCUS$BO@>Z$rI=<($9$k!#(B
	FOCUS$BO@>Z$OIUO?$r;2>H$N$3$H!#(B

(6) jump ARG

	  ARG			$BO@>Z(BID

 $B5!G=(B:
	$BO@>Z(BID$B$,(BARG$B$G$"$kO@>Z$rI=<($9$k!#(B

 $BNc(B:
	jump p0

(7) show counter ISSUE

	  ISSUE			$BAhE@HV9f(B

 $B5!G=(B:
	$BAhE@HV9f$,(BISSUE$B$KBP$9$k;R$N0lMw$rI=<($9$k!#(B
        $B;R0lMwI=<($N8e$K$I$N;R$rI=<($9$k$+$NHV9f(B($B;RHV9f(B)$B$rF~NO$7$J$1$l$P$$$1$J$$!#(B

	$B;R0lMwI=<($r0J2<$NNc$r;H$C$F@bL@$9$k!#(B

		 Arg ID: nill
		 Issue Pos: 11
		 Consequence: needAllow(agent=fath
		 RuleName: r2
		 Num Of Counter: 1
		0 :  *  !  >:0!:0<:0 -needAllow(agent=fat

			[ $B;R0lMwI=<($NNc(B ]
	
		Arg ID:
			$B?FO@>Z(BID$B!#(Bnill$B$O?FO@>Z$,$J$$$+!"?FO@>Z(BID$B$,$J$$>l9g!#(B
		Issue Pos:
			$B?FO@>Z$NAhE@HV9f!#(B
			$B$3$N;R0lMwI=<($O?FO@>Z$N$I$NAhE@$KBP$9$k$b$N$J$N$+$rI=$9!#(B
		Consequence:
			$B?FO@>Z$NAhE@HV9f$KBP1~$9$kAhE@$rF3$/%k!<%k$N<B9TIt!#(B
		RuleName:
			$B?FO@>Z$NAhE@HV9f$KBP1~$9$kAhE@$rF3$/%k!<%k$NL>A0!#(B
		Num Of Counter:
			$B?FO@>Z$NAhE@HV9f$KBP1~$9$kAhE@$KBP$9$kH?O@$N?t!#(B
		0:
			$B;RHV9f!#(B
			$B;R0lMwI=<($N8e$K!"8+$?$$;R$NO@>Z$N;RHV9f$rF~NO$7$J$1$l$P$$$1$J$$!#(B
			"*"$B$O4{$K(Bpose$B%3%^%s%I$K$h$jH?O@$:$_$N>l9g$G$"$j!"$^$@H?O@$7$F$$(B
			$B$J$$>l9g$O$J$K$bI=<($5$l$J$$!#(B
			"!"$B$O?FO@>Z$NAhE@$H$3$N;RHV9f$KBP1~$9$kO@>Z$H$N(BTopRule$B4X78$rI=$7(B
			$B$F$$$F!"<oN`$H$7$F$O(B>,!,<$B$,$"$k!#$=$l$>$l!"?F$KBP$7$F;R$,<e$$(B,$BL5(B
			$B4X78(B,$B6/$$$G$"$k!#(B
			">:0!:0<:0"$B$O$3$N;RHV9f$KBP1~$9$kO@>Z$KBP$9$k;R$H$N(BTopRule$B4X78$G(B
			$B$"$j!"6/$$(B(>),$BL54X78(B(!),$B<e$$(B(<)$B$,$$$/$D$"$k$+$r<($7$?$b$N$G$"$k!#(B

 $BNc(B:
	show counter 11

(8) show claim

 $B5!G=(B:
	$B$3$l$^$G8!;!(B,$BHo9pAPJ}$G<gD%$7$?O@>Z$N0lMw$rI=<($9$k!#(B
	$B<gD%:Q$_O@>Z0lMwI=<($N8e$K$I$NO@>Z$rI=<($9$k$+$NHV9f(B($B<gD%:Q$_O@>ZHV9f(B)$B$rF~NO$7$J(B
	$B$1$l$P$$$1$J$$!#(B


	$B0J2<$K<gD%:Q$_O@>Z0lMwI=<($NNc$r<($9!#(B
	

		%-prosecutor claimed argument
		0 : *  >:0!:3<:0  canWithdraw(agent=fa
		%-defendant claimed argument
		2 : *  >:0!:1<:0  -needAllow(agent=fat

			[ $B<gD%:Q$_O@>Z0lMwI=<($NNc(B ]

	$B$3$NNc$N>l9g!"<gD%:Q$_O@>ZHV9f$O(B"0"$B$d(B"2"$B$G$"$j!"(B"0"$B$,8!;!$NO@>Z(B,"2"$B$,Ho9p$NO@>Z(B
	$B$rI=$7$F$$$k!#(B

6.3.2 $BO@Ah$N@)8f(B

$BO@Ah$N@)8f$H$O!"O@Ah$N0lJ}$^$?$OAPJ}$r%f!<%6$,C4Ev$7$?$H$-!"O@Ah$N?J9T$r@)8f$9$k$?$a$N%3(B
$B%^%s%I$G$"$k!#O@Ah$K$*$$$F$O!"APJ}$N%(!<%8%'%s%H$,!"<+J,$KH/8@8"$,$"$k$H$-$K!"<+J,$N<gD%(B
$B$rAj<j$KDs<($9$k$3$H$G9T$o$l$k!#(B

$BK\%3%^%s%I$r@bL@$9$k$K$"$?$C$F$O0J2<$N?^(B2$B$NNc$r;H$&!#(B

			 r1
		p0+------*--------------+
			 r2  
		       d0+---*----------+
			   p1+----*-----+
				d1+-----+
		       d2+--------------+

		[ $B?^(B2: $BO@>Z4V$N4X78Nc(B ]

	p0$B$O=i4|O@>Z!#(B
	$BO@>Z(Bp0$B$KBP$9$kH?O@$O(Bd0$B$H(Bd2$B!"(Bd0$B$KBP$9$kH?O@$O(Bp1$B!"(Bp1$B$KBP$9$kH?O@$O(Bd1$B$,$"$k!#(B
	$BH?O@(Bd0$B$KBP$9$k(Bp0$B$NAhE@$rF3$/%k!<%k$,(Br1,d0$B$rF3$/%k!<%k$,(Br2$B$G$"$k!#(B

(1) pose 

 $B5!G=(B:
	$B8=:_I=<($5$l$F$$$k<+J,$N<gD%!JO@>Z!K$rAj<j$K<gD%$9$k!#(B

 $BH/8@8"(B:
	$BAj<j$K0\$k!#(B

 $B;HMQNc(B:
	(a) 	$B8!;!$,=i4|O@>Z$rHo9p$K<gD%$9$k;~!#(B

		$BNc(B:	
			p0$B$rAj<j$KDLCN$9$k>l9g!#(B

	(b) 	$BAj<j$+$i(Bpose$B%3%^%s%I$K$h$j!"O@>Z$rAw$C$F$-$?;~!"$=$NO@>Z$KBP$7$FH?O@$9$k(B
		$B;~!#(B


		$BNc(B:
			p0$B$KBP$7$F(Bd0$B$NH?O@$r$9$k>l9g!#(B

	(c) 	$BAj<j$+$i(Bfinish$B%3%^%s%I$K$h$j!"Aj<j$NO@>Z$KBP$9$k<+J,$NH?O@$K$D$$$FO@Ah$,(B
		$B=*N;$7$?$3$H$rDLCN$7$F$-$?;~!"$3$NH?O@0J30$NH?O@$r$9$k;~!#(B

		$BNc(B:
			p0$B$KBP$7$F(Bd0$B$NH?O@$r$7$?$,!"Aj<j$+$i(Bfinish$B%3%^%s%I$G(Bd0$B$NO@Ah$,=*(B
			$BN;$7$?$3$H$rDLCN$7$F$-$?$,!"$5$i$K!"(Bd2$B$NH?O@$r$7$?$$>l9g!#(B

	(d) 	$B<+J,$+$i(Bcancel$B%3%^%s%I$K$h$j!"<+J,$NH?O@$r4~5Q$7$?$,!"$3$NH?O@0J30$NH?O@(B
		$B$r$7$?$$;~!#(B

		$BNc(B:
			p0$B$KBP$7$F(Bd0$B$NH?O@$r$7!"<+J,$G(Bd0$B$r(Bcancel$B%3%^%s%I$G4~5Q$7$?$,!"(Bd2
			$B$NH?O@$r$7$?$$;~!#(B

 $B;HMQ>r7o(B:
  	$BAj<j$NO@>Z$KBP$9$kH?O@$r$9$k>l9g(B($B>e5-$N(B(b),(c),(d))$B!"Aj<j$NO@>Z$H$=$l$KBP$9$k<+(B
	$BJ,$NH?O@$H$NM%@h4X78$,!"8!;!$N>l9g$O<+J,$NH?O@$NJ}$,M%0L$G$"$j!"Ho9p$N>l9g$OM%0L(B
	$B$+L54X78$G$"$k$H$-$N$_;H$($k!#(B
	$B$3$l$r?^(B2$B$NNc$r;H$C$F@bL@$9$k!#(B
	$BAj<j$,(Bp0$B$r<gD%$7!"<+J,$,(Bd0$B$r(Bpose$B%3%^%s%I$GH?O@$7$?$$>l9g!"<+J,$,8!;!$N>l9g$O(B
	r2>r1$B!"Ho9p$N>l9g$O(Br2>r1$B$^$?$OL54X78$N$H$-$N$_(Bpose$B%3%^%s%I$,;H$($k!#(B
	$B$b$7!"$3$l0J30$G;H$$$?$$>l9g$O(Bjustify$B%3%^%s%I$K$h$j!"%k!<%k$NM%@h4X78$rJQ99$7$F(B
	$B;H$&!#(B
	$B$3$N$h$&$J@)Ls$,$"$k$N$O!"7:K!$K$*$$$F!"8!;!$K$O<+J,$NO@>Z$KBP$7$FN)>Z@UG$$,$"$k(B
	$B$N$KBP$7$F!"Ho9p$K$O$3$l$,$J$$$H$$$&N)>Z$NHsBP>N@-$N$?$a$G$"$k!#(B

 $BCm0U;v9`(B:
	$BAj<j$NO@>Z$KBP$9$kH?O@$r$7$?>l9g(B($B>e5-$N(B(b),(c),(d))$B!"$=$3$G;H$o$l$?%k!<%k$NM%@h(B
	$B4X78$OEPO?$5$l!"(Bjustify$B%3%^%s%I$r;H$&:]$K;2>H$5$l$k!#(B

	$BNc$($P!"Aj<j$N(Bp0$B$NO@>Z$KBP$7$F(Bd0$B$NH?O@$r$9$k>l9g!"$b$7!"(Br1<r2$B$G$"$C$?>l9g$K$O$3(B
	$B$N4X78$r;H$C$FO@Ah$,9T$J$o$l$?$3$H$,EPO?$5$l$k!#(B

(2) notice

 $B5!G=(B:
	$B<+J,$N2ACM4Q$GH=CG$9$k8B$j!"8=:_I=<($5$l$F$$$k<+J,$NO@>Z$NJ}$,!"Aj<j$NO@>Z$h$jM%(B
	$B0L(B($B$"$k$$$OHo9p$N>l9g$OL54X78$b$h$$(B)$B$G$"$k$3$H$rAj<j$KDLCN$9$k!#(B

	$B$3$N%3%^%s%IF~NO8e!"$b$7<+J,$NO@>Z$,M%0L$G$"$C$?>l9g!"$=$N:,5r$H$J$kH=CG4p=`L>$r(B
	$BA*Br$7$J$1$l$P$$$1$J$$!#(B

 $BH/8@8"(B:
	N$BDLCN$OH/8@8"$OAj<j$K0\$k$,!"(BNN$BDLCN$O:FEY<+J,$KH/8@8"$,$"$k!#(B
	$B$J$*!"(BN$BDLCN(B,NN$BDLCN$O2<$N!V;HMQNc!W$r;2>H$N$3$H!#(B

 $B;HMQNc(B:
	(a) 	$BAj<j$,<+J,$NO@>Z$KBP$7$FH?O@$rDLCN$7$F$-$?;~!"<+J,$NO@>Z$NJ}$,M%0L$G$"$k(B
		$B$3$H$rAj<j$KDLCN$9$k;~!#(B
		$B$J$*!"$3$N;~$K(Bnotice$B%3%^%s%I$r;H$&$3$H$r(BN$BDLCN$H8F$V!#(B

		$BNc(B:
			$B<+J,$NO@>Z(Bp0$B$KBP$7$FAj<j$,(Bd0$B$NH?O@$7!"<+J,$N(Bp0$B$NJ}$,M%0L$G$"$k$3(B
			$B$H$rAj<j$KDLCN$7$?$$;~!#(B


	(b) 	$BAj<j$,(Bnotice$B%3%^%s%I$GAj<j$NO@>Z$NJ}$,<+J,$NO@>Z$h$jM%0L$G$"$k$3$H$rDLCN(B
		$B$7$F$-$?;~$K<+J,$NO@>Z$NJ}$,M%0L$G$"$k$3$H$rAj<j$KDLCN$9$k;~!#(B
		$B$J$*!"$3$N;~$K(Bnotice$B%3%^%s%I$r;H$&$3$H$r(BNN$BDLCN$H8F$V!#(B	

		$BNc(B:
			$BAj<j$,(Bp0$B$r<gD%$7$?$,!"<+J,$,$=$l$KBP$7$F(Bd0$B$NH?O@$r$7!"$5$i$KAj<j(B
			$B$,(Bnotice$B%3%^%s%I$K$h$j!"(Bp0$B$NJ}$,M%0L$G$"$k$H$7$F$$$C$F$-$?$,!"<+(B
			$BJ,$N(Bd0$B$NJ}$,M%0L$G$"$k;~!#(B

  $B;HMQ>r7o(B:
	$B$3$N(Bnotice$B%3%^%s%I$K$h$jM%0L$G$"$k$H$9$k<+J,$NO@>Z$H$=$l$KBP$9$kAj<j$NO@>Z$H$NM%(B
	$B@h4X78$,!"8!;!$N>l9g$O<+J,$NO@>Z$NJ}$,M%0L$G$"$j!"Ho9p$N>l9g$OM%0L$+L54X78$G$"$k(B
	$B;~$N$_;H$($k!#(B

	$B$3$l$r?^(B2$B$r$D$+$C$F@bL@$9$k!#(B
	$B<+J,$,(Bp0$B$r<gD%$7!"Aj<j$,$=$l$KBP$7$F(Bd0$B$NH?O@$r$7$F$-$?$,!"<+J,$N(Bp0$B$NJ}$,M%0L(B($B8!(B
	$B;!$O(Br1>r2,$BHo9p$O(Br1>r2$B$+L54X78(B)$B$G$"$k;~$d!"Aj<j$,(Bp0$B$r<gD%$7$?$,!"<+J,$,$=$l$KBP$7(B
	$B$F(Bd0$B$NH?O@$r$7!"$5$i$KAj<j$,(Bnotice$B%3%^%s%I$K$h$j!"(Bp0$B$NJ}$,M%0L$G$"$k$H$7$F$-$?$,!"(B
	$B<+J,$N(Bd0$B$NJ}$,M%0L$G$"$k;~(B($B8!;!$N>l9g$O(Br2>r1$B!"Ho9p$N;~$O(Br2>r1$B$+L54X78(B)$B$K;H$($k!#(B

	$B$b$7!"$=$l0J30$G;H$$$?$$>l9g$O(Bjustify$B%3%^%s%I$K$h$j!"%k!<%k$NM%@h4X78$rJQ99$7$F(B
	$B;H$&!#(B
	$B$3$N$h$&$J@)Ls$,$"$k$N$O!"7:K!$K$*$$$F!"8!;!$K$O<+J,$NO@>Z$KBP$7$FN)>Z@UG$$,$"$k(B
	$B$N$KBP$7$F!"Ho9p$K$O$3$l$,$J$$$H$$$&N)>Z$NHsBP>N@-$N$?$a$G$"$k!#(B

(3) cancel

 $B5!G=(B:
	$B8=:_I=<($5$l$F$$$k<+J,$NO@>Z$r<h$j2<$2$k$3$H$rAj<j$KDLCN$9$k!#(B

 $B;HMQNc(B:
	(a)	$BAj<j$NO@>Z$KBP$7$F!"<+J,$,H?O@$r$7!"$5$i$KAj<j$,(Bnotice$B%3%^%s%I$K$h$j!"M%(B
		$B@hDLCN$r$7$F$-$?;~$K<+J,$G=P$7$?H?O@$r<h$j2<$2$k!#(B

		$BNc(B:
			$BAj<j$,(Bp0$B$rDLCN$7!"$=$l$KBP$7$F(Bd0$B$NH?O@$r$7!"$5$i$KAj<j$,(Bnotice$B%3(B
			$B%^%s%I$K$h$j!"M%@hDLCN$r$7$F$-$?;~$K<+J,$G=P$7$?(Bd0$B$r<h$j2<$2$k;~!#(B

	(b) 	$BAj<j$NO@>Z$KBP$7$FH?O@(BA$B$r$7!"$5$i$K$=$NH?O@$KBP$9$kH?O@$rAj<j$+$iDLCN$5(B
		$B$l$?$N$G!"<+J,$G=P$7$?H?O@(BA$B$r<h$j2<$2$k;~!#(B

		$BNc(B:	
			$B<+J,$N(Bp1$B$KBP$7$FAj<j$,(Bd1$B$NH?O@$r$7$F$-$?$N$G!"(Bp1$B$r<h$j2<$2$k;~!#(B

 $BH/8@8"(B:
	$BH/8@8"$OAj<j$K0\$i$J$$!#(B

(4) finish

 $B5!G=(B:
	$B8=:_I=<($5$l$F$$$kAj<j$NO@>Z$KBP$9$kH?O@$,=*N;$7$?$3$H$rAj<j$KDLCN$9$k!#(B

 $BH/8@8"(B:
	$BH/8@8"$OAj<j$K0\$k!#(B

 $B;HMQNc(B:
	(a) 	$B<+J,$NO@>Z$KBP$7$FAj<j$,H?O@$7$F$-$?$,!"$=$NH?O@$K$D$$$F$OO@Ah$r=*N;$7$?(B
		$B$$;~!#(B

	     	$BNc(B:
			$B<+J,$,DLCN$7$?(Bp0$B$KBP$7$FAj<j$,(Bd0$B$NH?O@$r$7$F$-$?$,!"$=$N(Bd0$B$K$D$$(B
			$B$F$OO@Ah$r=*N;$7$?$$;~!#(B

6.3.3 $B$=$NB>(B

(1) justify

 $B5!G=(B:
	$B<+J,$NO@>Z$NJ}$,Aj<j$NO@>Z$h$jM%0L$K$J$k$h$&$K$9$k$?$a!"<+J,$N2ACM4Q$K?7$?$J>pJs(B
	$B$r2C$($F2ACM4Q$r99?7$9$k!#(B

	pose,notice$B%3%^%s%I$rH/9T$7$?$$$,!"8=:_$N2ACM4Q$N$b$H$G$O%k!<%k$NM%@h4X78$,M%0L(B
	$B$K$J$C$F$$$J$$$?$a$KH/9T$G$-$J$$>l9g$J$I$K!"2ACM4Q$rJQ99$7$FM%0L$K$J$k$h$&$K$9$k!#(B
	
	$B%3%^%s%IF~NO8e!"M%0L$K$J$k2ACM4Q$,J#?t$G$-$k$N$G!"$=$NFb(B1$B$D$rA*Br$7$J$1$l$P$$$1(B
	$B$J$$!#(B

 $B;HMQNc(B:
	$BAj<j$,(Bp0$B$r<gD%$7!"<+J,$O$=$l$KBP$7$F(Bd0$B$NH?O@$r$7$h$&$H$7$?$,8=:_$N2ACM4Q$G$O(B
	r1>r2$B$K$J$C$F$7$^$&!#$=$3$G(Bjustify$B%3%^%s%I$r;H$$!"8=:_$N2ACM4Q$rJQ99$7!"(Br2>r1$B$K(B
	$B$J$k$h$&$K$9$k!#(B

 $B;HMQ>r7o(B:
	$B0JA0(Bpose$B%3%^%s%I$GAj<j$KH?O@$rDLCN$7$?;~$K!"$3$l$+$iJQ99$9$k%k!<%k$NM%@h4X78$H5U(B
	$B$N4X78$r;H$C$F$7$^$C$F$$$k>l9g$O(Bjustify$B%3%^%s%I$O<:GT$9$k!#(B

	$BNc$($P!"0JA0(Bpose$B%3%^%s%I$r;H$C$?;~$K(Br1>r2$B$N4X78$r;H$C$F$7$^$C$F$$$k$K$b$+$+$o$i(B
	$B$:!"(Br2>r1$B$r(Bjustify$B%3%^%s%I$r;H$C$F:n$m$&$H$7$?>l9g$J$I$G$"$k!#(B

6.4 $BO@Ah=*N;(B/$BO@>ZI=<(=*N;%3%^%s%I(B

(1) end

 $B5!G=(B:
	$BO@Ah$r=*N;$9$k!#(B

6.5 $BO@>ZI=<(3+;O%3%^%s%I(B

(1)  ab <p|d>

   $B5!G=(B:
	$BO@>ZI=<(>uBV$X0\F0$9$k!#(B
	$BK\%3%^%s%I$NA0$K9T$J$o$l$?(Bsolve$B%3%^%s%I$,@.8y$7$F$$$k;~$N$_@.8y$9$k!#(B
	$B%3%^%s%IF~NO8e!"(Bgoal$B$rF3$/O@>Z(B($B=i4|O@>Z(B)$B$N0lMw$,I=<((B($B=i4|O@>Z0lMwI=<((B)$B$5$l$k$N$G!"(B
	$B$=$NFb$I$l$K$D$$$FI=<($r$9$k$N$+$NHV9f(B($B=i4|O@>ZHV9f(B)$B$rF~NO$7$J$1$l$P$J$i$J$$!#(B

	$B0J2<$,=i4|O@>Z0lMwI=<($NNc$G$"$k!#(B

		Goal : canWithdraw(agent=father,objec
		0 :  p >:0!:3<:0

			[ $B=i4|O@>Z0lMwI=<($NNc(B ]

	"0"$B$O=i4|O@>ZHV9f!"(B
	"p"$B$O$3$N=i4|O@>Z$N<oN`!#(Bj$B!"(Bp$B!"(Bd$B$,$"$j!"$=$l$>$l!"(Bjustify plausible$B!"(Bdefeated$B$K(B
	$BBP1~$7$F$$$k!#(B
	">:0!:3<:0"$B$O$3$N=i4|O@>Z$KBP$9$kH?O@$H$N(BTopRule$B4X78$G$"$j!"6/$$(B(>)$B!"L54X78(B(!)$B!"(B
	$B<e$$(B(<)$B$N?t$rI=$7$F$$$k!#(B
	$B$3$NNc$N>l9g!"H?O@$,(B3$B$D$"$j!"$=$NH?O@$H$N(BTopRule$B4X78$,L54X78$G$"$k$3$H$rI=$7$F$$(B
	$B$k!#(B

6.6 $BO@>ZI=<(%3%^%s%I(B
    $B%3%^%s%I$N>\:Y$O!V(B6.3.1 $BO@>Z$NI=<(!W$r;2>H$N$3$H!#(B

(1) backward
(2) forward
(3) next
(4) previous
(5) show counter ISSUE
(6) set pl INTEGER
(7) set pt <h|e>
(8) show pl
(9) show pt 
(10) show explain

6.7 tracer$B%3%^%s%I(B

tracer$B$O%k!<%k$N<B9TCf$N>pJs$rI=<($9$k$?$a$N$b$N$G!"0J2<$N5!G=$r;}$C$F$$$k!#(B

(1) $B%j%@%/%7%g%s>pJsI=<((B
	$B%k!<%k$N%j%@%/%7%g%s$K4X$9$k>pJs(B($B%k!<%kL>(B,H$B9`(B)$B$rI=<(!#(B

(2) spy$B$N@_Dj!#(B
	(a) $B;XDj$7$?%k!<%k$K$D$$$F$N$_$N>pJs$rI=<($9$k!#(B

	(b) $B;XDj$7$?%k!<%k$N>uBV$N$H$-$N$_>pJs$rI=<($9$k!#(B
	    $B$3$N>uBV$K$O0J2<$N(B3$B$D$,$"$k!#(B

	    $B!&%k!<%k$,8F$P$l$?;~(B(CALL)
	    $B!&H/2P2DG=$J%k!<%k$,$"$k;~(B(REDU)
	    $B!&H/2P2DG=$J%k!<%k$,$J$$;~(B(FAIL)

$BI=<($9$k>pJs$O0J2<$G$"$k!#(B

<$BI=<(>pJs(B>::= 
	<CALL$B%k!<%k<1JLHV9f(B>  <$B%k!<%k$N>uBV(B>  { <$B%k!<%kL>(B> ":" } <H$B9`(B> 
	{ "<-" <Body>}

	<$B%k!<%kL>(B> ":" $B$,$"$k;~$O!"(BREDU$B$N$H$-$N$_!"(B
	"<-" <Body>$B$,$"$k;~$O!"(BREDU$B$N$H$-$N$_!"(B

<CALL$B%k!<%k<1JLHV9f(B>::=
	<integer>

	CALL$B$5$l$?;~$N<1JLHV9f!#(B

<$B%k!<%k$N>uBV(B>::=
	"CALL"|"REDU"|"FAIL"

<Body>::=
	<H$B9`(B> { <H$B9`(B>}

	$B%j%@%/%7%g%s$5$l$?$H$-$N(Bbody$B$N(BH$B9`>pJs!#(B

$BNc(B:
	1 CALL a (agent=x,object=y)
	1 REDU r1:a(agent=x,object=y) <-
	2      	b(agent=x)
	3	c(agent=y)
	2 CALL b(agent=x)
        2 REDU f1:b(agent=x)
	3 CALL c(agent=y)
        3 REDU f2:c(agent=y)

$B$J$*!"(Btracer$B%3%^%s%I$O=i4|>uBV$HO@Ah>uBV$N;~$N$_;HMQ2DG=$G$-$k!#$^$?!"=i4|>uBV$N;~$O8!;!(B
(p)$B$KBP$9$k$b$N$J$N$+!"Ho9p(B(d)$B$KBP$9$k$b$N$J$N$+$rI,$:;XDj$7$J$1$l$P$J$i$J$$!#H?BP$KO@Ah(B
$B>uBV$N;~$O;XDj$7$F$O$$$1$J$$!#(B

6.7.1 tf$B4X78(B

tracer$B$N@)8f$K4X$9$k=hM}$r$9$k!#(B

(1) set [<p|d>] tf <on|off>

    $B5!G=(B:
	tracer$B$r5/F0$9$k$+$I$&$+$r;XDj$9$k!#(B
	"on"$B$N>l9g$O5/F0$7!"(B"off"$B$N>l9g$O5/F0$7$J$$!#(B

    $BNc(B:
	set p tf on

(2) show [<p|d>] tf 

    $B5!G=(B:
	$B8=:_(Btracer$B$,5/F0>uBV$+$I$&$+Ld$$9g$o$;$k!#(B

    $BNc(B:
	show p tf 

6.7.2 sr$B4X78(B

$B%k!<%k$K(Bspy$B$r$+$1$k>l9g$K4X$9$k=hM}$r$9$k!#(B

(1) set [<p|d>] sr <RuleName {RuleName}>

	RuleName		$B%k!<%kL>!#(B		

    $B5!G=(B:
	spy$B$r$+$1$k%k!<%k$r;XDj$9$k!#(B

    $BNc(B:
	set p sr act0

(2) add [<p|d>] sr <RuleName {RuleName}>

	RuleName		$B%k!<%kL>!#(B		

    $B5!G=(B:
	spy$B$r$+$1$k%k!<%k$rDI2C$9$k!#(B

    $BNc(B:
	add p sr act0

(3) remove [<p|d>] sr <RuleName {RuleName}>

	RuleName		$B%k!<%kL>!#(B		

    $B5!G=(B:
	spy$B$r$+$1$k%k!<%k$r:o=|$9$k!#(B

    $BNc(B:
	remove p sr act0

(4) clear [<p|d>] sr 

    $B5!G=(B:
	spy$B$r$+$1$k%k!<%k$rA4$F:o=|$9$k!#(B

    $BNc(B:
	clear p sr

(5) show [<p|d>] sr 

    $B5!G=(B:
	$B8=:_$N(Bspy$B$N$+$+$C$F$$$k%k!<%k$rI=<($9$k!#(B

    $BNc(B:
	show p sr

6.5.3 sg$B4X78(B

$B%k!<%k$N>uBV$K(Bspy$B$r$+$1$k>l9g$K4X$9$k=hM}$r$9$k!#(B

(1) set [<p|d>] sg <SG {SG}>

	SG		$B%k!<%k$N>uBV$G$"$j!"(Bcall,redu,fail$B$N$I$l$+!#(B

    $B5!G=(B:
	spy$B$r$+$1$k%k!<%k$N>uBV$r;XDj$9$k!#(B

    $BNc(B:
	set p sg call fail

(2) add [<p|d>] sg <SG {SG}>

	SG		$B%k!<%k$N>uBV$G$"$j!"(Bcall,redu,fail$B$N$I$l$+!#(B

    $B5!G=(B:
	spy$B$r$+$1$k%k!<%k$N>uBV$rDI2C$9$k!#(B

    $BNc(B:
	add p sg redu

(3) remove [<p|d>] sg <SG {SG}>

	SG		$B%k!<%k$N>uBV!#(Bcall,redu,fail$B$N$I$l$+!#(B

    $B5!G=(B:
	spy$B$r$+$1$k%k!<%k$N>uBV$r:o=|$9$k!#(B

    $BNc(B:
	remove p sg redu

(4) clear [<p|d>] sg 

    $B5!G=(B:
	spy$B$r$+$1$k%k!<%k$N>uBV$rA4$F:o=|$9$k!#(B

(5) show [<p|d>] sg 

    $B5!G=(B:
	$B8=:_$N(Bspy$B$N$+$+$C$F$$$k%k!<%k$N>uBV$rI=<($9$k!#(B

6.8 $B$=$NB>(B

(1) help [COMMAND|all]

    $B5!G=(B:
	$B%3%^%s%I$K4X$9$k%X%k%W5!G=!#(B
	help$B%3%^%s%I$O$I$N>uBV(B($B=i4|>uBV!"O@Ah>uBV!"O@>ZI=<(>uBV(B)$B$G$b;HMQ2DG=$G$"$k!#(B

    $BNc(B:
	help


7$B!%<B9TNc(B

$B0J2<$K<B:]$KO@Ah$r9T$J$&2aDx$r<($9!#(B
$B$J$*!"J8Cf$G;H$o$l$F$$$k(B"%"$B$+$i2~9T$^$G$O!"$3$N<B9TNc$r@bL@$9$k$?$a$N$b$N$G$"$j!"(B
"+++"$B$N>e$NJ8;z(B$B$O%f!<%6F~NO$rI=$9!#(B

!cd cui/data
 +++++++++++				%$B%+%l%s%H%G%#%l%/%H%j$NJQ99(B
!cui               
 +++		 	   		%$B%W%m%0%i%`5/F0(B
HELIC-II>compile p type cntrct.type
	 ++++++++++++++++++++++++++	%$B8!;!B&7?Dj5A%U%!%$%kFI$_9~$_(B
ok
HELIC-II>compile p rule cntrct.rule
	 ++++++++++++++++++++++++++	%$B8!;!B&%k!<%kDj5A%U%!%$%kFI$_9~$_(B
ok
HELIC-II>compile p pom cntrct.pom
	 ++++++++++++++++++++++++       %$B8!;!B&H>=g=xDj5A%U%!%$%kFI$_9~$_(B
ok
HELIC-II>compile d type cntrct.type
	 ++++++++++++++++++++++++++	%$BHo9pB&7?Dj5A%U%!%$%kFI$_9~$_(B
ok
HELIC-II>compile d rule cntrct.rule
	 ++++++++++++++++++++++++++	%$BHo9pB&%k!<%kDj5A%U%!%$%kFI$_9~$_(B
ok
HELIC-II>compile d pom cntrct.pom
	 ++++++++++++++++++++++++	%$BHo9pB&H>=g=xDj5A%U%!%$%kFI$_9~$_(B
ok
HELIC-II>set goal canWithdraw(agent=father, object= contract(agent=tarou[age=>19]))
         ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
ok					%goal$B$N@_Dj(B			
HELIC-II>set  p solver user
	 ++++++++++++++++++++		%$B8!;!$NO@AhEv;v<T$r%f!<%6$K$9$k(B
ok
HELIC-II>set  d solver user
	 ++++++++++++++++++		%$BHo9p$NO@AhEv;v<T$r%f!<%6$K$9$k(B
ok
HELIC-II>set  p unit all
	 +++++++++++++++		%$B8!;!$N;HMQ$9$k%k!<%k$OA4$F(B
ok
HELIC-II>set  d unit all
	 +++++++++++++++		%$BHo9p$N;HMQ$9$k%k!<%k$OA4$F(B
ok
HELIC-II>set  p sp 
	 +++++++++			%$B8!;!$N2ACM4Q$r@_Dj$7$J$$!#(B
ok					%$B$D$^$j!"%k!<%k4V$NM%@h4X78$O$J$7$H$9$k!#(B
HELIC-II>set  d sp 
	 +++++++++			%$BHo9p$N2ACM4Q$r@_Dj$7$J$$!#(B
ok
HELIC-II>set  p pl 20 
	 ++++++++++++			%$B8!;!$N(BH$B9`$NI=<($ND9$5$r(B20byte$B$K$9$k!#(B
ok
HELIC-II>set  d pl 20 
	 ++++++++++++			%$BHo9p$N(BH$B9`$NI=<($ND9$5$r(B20byte$B$K$9$k!#(B
ok
HELIC-II>start
	 +++++				%$BO@Ah3+;O(B
Goal : canWithdraw(agent=fa
0 :    >:0!:3<:0  canWithdraw(agent=fa
Please input number > 0
                      +			%goal$B$rF3$/O@>Z$,(B1$B$D$"$j!"$=$l$rA*Br$7$=$NO@>Z$r(B
					%$BI=<($9$k(B

History : start
RuleInfo({RuleName,TopRuleRel}) : {r11,nil}
0  :             r11:canWithdraw(agent=fa
1  :              r1:contract(agent=tarou
2  :               act4:buy(agent=tarou[age=
3  :               act5:loan(agent=tarou[age
4  :               act6:causality(source=buy
5  :   !  2(0)    r6:-valid(a_object=cont
6  :               act5:loan(agent=tarou[age
7  :               r1:contract(agent=tarou
8  :                act4:buy(agent=tarou[age=
9  :                act5:loan(agent=tarou[age
10 :                act6:causality(source=buy
11 :   !  1(0)     r2:needAllow(agent=fath
12 :                r1:contract(agent=tarou
13 :                 act4:buy(agent=tarou[age=
14 :                 act5:loan(agent=tarou[age
15 :                 act6:causality(source=buy
16 :                act0:isFather(a_object=fa
17 :               act10:-allow(agent=father,
18 :               act0:isFather(a_object=fa
19 :              act0:isFather(a_object=fa
UseCommand : [pose,end,show,set]
P>pose
  ++++				%$B$3$NO@>Z(B(p0)$B$rAj<j$KDLCN$9$k(B
Status : prosecutor claim p0.
Status : prosecutor claimed p0.
History : claim(p0,nil)
AidInfo({ArgID,ParentArgID,FocusArgID}) : {p0,nil,p0}
RuleInfo({RuleName,TopRuleRel}) : {r11,nil}
0  :             r11:canWithdraw(agent=fa
1  :              r1:contract(agent=tarou
2  :               act4:buy(agent=tarou[age=
3  :               act5:loan(agent=tarou[age
4  :               act6:causality(source=buy
5  :   !  2(0)    r6:-valid(a_object=cont
6  :               act5:loan(agent=tarou[age
7  :               r1:contract(agent=tarou
8  :                act4:buy(agent=tarou[age=
9  :                act5:loan(agent=tarou[age
10 :                act6:causality(source=buy
11 :   !  1(0)     r2:needAllow(agent=fath
12 :                r1:contract(agent=tarou
13 :                 act4:buy(agent=tarou[age=
14 :                 act5:loan(agent=tarou[age
15 :                 act6:causality(source=buy
16 :                act0:isFather(a_object=fa
17 :               act10:-allow(agent=father,
18 :               act0:isFather(a_object=fa
19 :              act0:isFather(a_object=fa
UseCommand : [focus,finish,'show claim',jump,end,show,set]
D>show counter 11
  +++++++++++++++		%$B8=:_I=<($7$F$$$kAj<j$NO@>Z(B(p0)$B$NAhE@HV9f(B11$B$KBP$9$kH?O@(B
				%$B$r$_$k(B
 Arg ID: p0
 Issue Pos: 11
 Consequence: needAllow(agent=fath
 RuleName: r2
 Num Of Counter: 1
0 :    !  >:0!:1<:0 -needAllow(agent=fat
Please input number > 0
		      +		%$BH?O@$,(B1$B$D$"$j$=$l$rA*Br(B
History : claim(p0,nil)
Issue : needAllow(agent=fath
AidInfo({ArgID,ParentArgID,FocusArgID}) : {nil,p0,p0}
RuleInfo({RuleName,TopRuleRel}) : {r3,draw}
0  :             r3:-needAllow(agent=fat
1  :              act1:give(agent=father,go
2  :   !  1(0)    r4:interest(goal=money[
3  :               act2:buy(agent=tarou[age=
4  :               act3:win_prize(agent=taro
5  :              r1:contract(agent=tarou
6  :               act4:buy(agent=tarou[age=
7  :               act5:loan(agent=tarou[age
8  :               act6:causality(source=buy
9  :              act0:isFather(a_object=fa
UseCommand : [focus,'show claim',jump,backward,justify,pose,end,show,set]
D>pose
  ++++			%$B8=:_I=<($7$F$$$kO@>Z(B(d0)$B$rHo9p$NH?O@$H$9$k!#(B
			%$BHo9p$,H?O@$9$k>l9g!"M%0L$+L54X78$G$J$1$l$P$$$1$J$$!#(B
			%$B$3$N>l9g!"(BRuleInfo$B$N(BTopRule$B4X78$r$_$k$H(B"draw"$B!#$D$^$j!"L54X78$G(B
			%$B$"$k$?$a$KAj<j$KDLCN$9$k$3$H$,$G$-$k!#(B

Status : defendant claim d0.
Status : defendant claimed d0.
History : claim(d0,issue(claim(p0,nil),11))
Issue : needAllow(agent=fath
AidInfo({ArgID,ParentArgID,FocusArgID}) : {d0,p0,d0}
RuleInfo({RuleName,TopRuleRel}) : {r3,draw}
0  :             r3:-needAllow(agent=fat
1  :              act1:give(agent=father,go
2  :   !  1(0)    r4:interest(goal=money[
3  :               act2:buy(agent=tarou[age=
4  :               act3:win_prize(agent=taro
5  :              r1:contract(agent=tarou
6  :               act4:buy(agent=tarou[age=
7  :               act5:loan(agent=tarou[age
8  :               act6:causality(source=buy
9  :              act0:isFather(a_object=fa
UseCommand : [focus,finish,'show claim',jump,backward,end,show,set]
P>backward
  ++++++++	%$B<+J,$NO@>Z(B(p0)$B$KBP$7$FAj<j$+$iH?O@(B(d0)$B$r$&$1$?!#(B
		%$B$3$N$h$&$J>l9g$N@oN,$H$7$F$O(B2$B$D$"$k!#(B
		%1$B$D$O<+J,$NO@>Z$NJ}$,Aj<j$NH?O@$h$j$b6/$$$3$H$r(Bnotice$B%3%^%s%I$r;H$C$F$$(B
		%$B$&>l9g$G$"$k!#(B
		%$BB>$NJ}K!$OAj<j$NH?O@(B(d0)$B$KBP$7$F$5$i$KH?O@$r(Bpose$B%3%^%s%I$r;HMQ$7$F9T$J(B
		%$B$&>l9g$G$"$k!#$3$NNc$G$O(Bnotice$B%3%^%s%I$r;HMQ$9$k!#(B
		%notice$B%3%^%s%I$rDLCN$9$k>l9g!"M%0L$H$J$k0JA0$K<+J,$,DLCN$7$?O@>Z(B(p0)$B$r(B
		%$BI=<($7$J$$$H<B9T$G$-$J$$$?$a$K!"(Bbackward$B%3%^%s%I$r;H$C$F0JA0$NO@>Z(B(p0)
		%$B$rI=<($5$;$k!#(B

History : claim(d0,issue(claim(p0,nil),11))
AidInfo({ArgID,ParentArgID,FocusArgID}) : {p0,nil,d0}
RuleInfo({RuleName,TopRuleRel}) : {r11,nil}
0  :             r11:canWithdraw(agent=fa
1  :              r1:contract(agent=tarou
2  :               act4:buy(agent=tarou[age=
3  :               act5:loan(agent=tarou[age
4  :               act6:causality(source=buy
5  :   !  2(0)    r6:-valid(a_object=cont
6  :               act5:loan(agent=tarou[age
7  :               r1:contract(agent=tarou
8  :                act4:buy(agent=tarou[age=
9  :                act5:loan(agent=tarou[age
10 :                act6:causality(source=buy
11 :   !  1(1A)    r2:needAllow(agent=fath
12 :                r1:contract(agent=tarou
13 :                 act4:buy(agent=tarou[age=
14 :                 act5:loan(agent=tarou[age
15 :                 act6:causality(source=buy
16 :                act0:isFather(a_object=fa
17 :               act10:-allow(agent=father,
18 :               act0:isFather(a_object=fa
19 :              act0:isFather(a_object=fa
UseCommand : [focus,'show claim',jump,forward,justify,end,show,set]
P>justify
  +++++++	
		%$B8=:_$N<+J,Ln2ACM4Q$@$H(Bp0$B$H(Bd0$B$H$N(BTopRule$B4X78$,L54X78$K$J$C$F$$$k$?$a$KM%(B
		%$B@hDLCN$,=PMh$J$$!#(B
		%$B8!;!$N>l9g!"M%@hDLCN$r$9$k$?$a$K$O!"I,$:6/$/$J$1$l$P$J$i$J$$(B
		%$B$=$3$G8=:_$N2ACM4Q$r(Bp0$B$,6/$/$J$k$h$&$K(Bjustify$B%3%^%s%I$GJQ99$9$k!#(B

0 : {importance_of_civil_code,[importance_of_civil_code]}
Please input number > 0
                      +		%$B6/$/$J$k$?$a$N2ACM4Q$N8uJd$,(B1$B$D$"$j$N$G$=$l$rA*Br!#(B

History : claim(d0,issue(claim(p0,nil),11))
AidInfo({ArgID,ParentArgID,FocusArgID}) : {p0,nil,d0}
RuleInfo({RuleName,TopRuleRel}) : {r11,nil}
0  :             r11:canWithdraw(agent=fa
1  :              r1:contract(agent=tarou
2  :               act4:buy(agent=tarou[age=
3  :               act5:loan(agent=tarou[age
4  :               act6:causality(source=buy
5  :   !  2(0)    r6:-valid(a_object=cont
6  :               act5:loan(agent=tarou[age
7  :               r1:contract(agent=tarou
8  :                act4:buy(agent=tarou[age=
9  :                act5:loan(agent=tarou[age
10 :                act6:causality(source=buy
11 :   >  1(1A)    r2:needAllow(agent=fath
12 :                r1:contract(agent=tarou
13 :                 act4:buy(agent=tarou[age=
14 :                 act5:loan(agent=tarou[age
15 :                 act6:causality(source=buy
16 :                act0:isFather(a_object=fa
17 :               act10:-allow(agent=father,
18 :               act0:isFather(a_object=fa
19 :              act0:isFather(a_object=fa
UseCommand : [focus,'show claim',jump,forward,notice,end,show,set]
P>notice
  ++++++
		%justify$B%3%^%s%I$K$h$j!"AhE@HV9f(B11$B$NH?O@(B(d0)$B$H$N4X78$,6/$/(B(">")$B$J$C$F$$(B
		%$B$k$N$,$o$+$k!#:#EY$O(Bp0$B$NM%@hDLCN$,$G$-$k!#(B

0 : [importance_of_civil_code]
Please input number > 0
		      +		%$BM%@hDLCN$N:,5r$H$J$kH=CG4p=`$rA*Br(B

Status : prosecutor notify that p0 is stronger than d0 by stanpoint of [importance_of_civil_code].
Status : prosecutor notified that p0 was stronger than d0 by stanpoint of [importance_of_civil_code].But you draw.
History : notice([importance_of_civil_code],claim(d0,issue(claim(p0,nil),11)))
Issue : needAllow(agent=fath
AidInfo({ArgID,ParentArgID,FocusArgID}) : {d0,p0,p0}
RuleInfo({RuleName,TopRuleRel}) : {r3,draw}
0  :             r3:-needAllow(agent=fat
1  :              act1:give(agent=father,go
2  :   !  1(0)    r4:interest(goal=money[
3  :               act2:buy(agent=tarou[age=
4  :               act3:win_prize(agent=taro
5  :              r1:contract(agent=tarou
6  :               act4:buy(agent=tarou[age=
7  :               act5:loan(agent=tarou[age
8  :               act6:causality(source=buy
9  :              act0:isFather(a_object=fa
UseCommand : [focus,cancel,'show claim',jump,backward,justify,notice,end,show,set]
D>notice
  ++++++
		%$BAj<j$,M%@hDLCN$7$F$-$?$N$G!"$=$l$KBP$7$F<+J,$NH?O@(B(d0)$B$NM%@hDLCN$r$9$k!#(B
		%$BHo9p$N>l9g$OL54X78$G$bM%@hDLCN$r$9$k$3$H$,$G$-$k!#(B
		%$B$3$N>l9gL54X78$G$"$k$N$G!"M%@hDLCN$N:,5r$H$J$kH=CG4p=`$NA*Br$O$J$$!#(B

Status : defendant notify that p0 isn't always stronger than d0,because of non-relation of r3 and r2 in current viewpoint.
Status : defendant notified that p0 wasn't always stronger than d0,because of non-relation of r2 and r3 in current viewpoint.But you win by [[importance_of_civil_code]].
Status : prosecutor claimed p0.
History : claim(p0,nil)
AidInfo({ArgID,ParentArgID,FocusArgID}) : {p0,nil,p0}
RuleInfo({RuleName,TopRuleRel}) : {r11,nil}
0  :             r11:canWithdraw(agent=fa
1  :              r1:contract(agent=tarou
2  :               act4:buy(agent=tarou[age=
3  :               act5:loan(agent=tarou[age
4  :               act6:causality(source=buy
5  :   !  2(0)    r6:-valid(a_object=cont
6  :               act5:loan(agent=tarou[age
7  :               r1:contract(agent=tarou
8  :                act4:buy(agent=tarou[age=
9  :                act5:loan(agent=tarou[age
10 :                act6:causality(source=buy
11 :   !  1(1F)    r2:needAllow(agent=fath
12 :                r1:contract(agent=tarou
13 :                 act4:buy(agent=tarou[age=
14 :                 act5:loan(agent=tarou[age
15 :                 act6:causality(source=buy
16 :                act0:isFather(a_object=fa
17 :               act10:-allow(agent=father,
18 :               act0:isFather(a_object=fa
19 :              act0:isFather(a_object=fa
UseCommand : [focus,finish,'show claim',jump,end,show,set]
D>finish
  ++++++	%p0$B$KBP$7$F$OO@Ah=*N;(B
Status : defendant finish p0
Status : defendant finished p0
Goal : canWithdraw(agent=fa
0 : *  >:1!:2<:0  canWithdraw(agent=fa
Please input number > 0
		      +
History : start
AidInfo({ArgID,ParentArgID,FocusArgID}) : {p0,nil,nil}
RuleInfo({RuleName,TopRuleRel}) : {r11,nil}
0  :             r11:canWithdraw(agent=fa
1  :              r1:contract(agent=tarou
2  :               act4:buy(agent=tarou[age=
3  :               act5:loan(agent=tarou[age
4  :               act6:causality(source=buy
5  :   !  2(0)    r6:-valid(a_object=cont
6  :               act5:loan(agent=tarou[age
7  :               r1:contract(agent=tarou
8  :                act4:buy(agent=tarou[age=
9  :                act5:loan(agent=tarou[age
10 :                act6:causality(source=buy
11 :   >  1(1F)    r2:needAllow(agent=fath
12 :                r1:contract(agent=tarou
13 :                 act4:buy(agent=tarou[age=
14 :                 act5:loan(agent=tarou[age
15 :                 act6:causality(source=buy
16 :                act0:isFather(a_object=fa
17 :               act10:-allow(agent=father,
18 :               act0:isFather(a_object=fa
19 :              act0:isFather(a_object=fa
UseCommand : [pose,end,show,set]
P>end
  +++		%$BO@Ah$r=*N;(B
ok
HELIC-II>quit
	 ++++	%$B%W%m%0%i%`$r=*N;$9$k!#(B



[$BIUO?(B]

<$BMQ8l@bL@(B>

$B2ACMH=CG(B
	$BH=CG4p=`4V$NM%@h4X78!#(B

	$BNc(B:$B2ACM4QDj5A%U%!%$%k$K0J2<$N$h$&$K=q$+$l$F$$$?>l9g(B
		view1 := {sp2<sp1}.
		view2 := {sp1<sp2}.

	$B2ACMH=CGL>(Bview1$B$O(Bsp1$B$NJ}$,(Bsp2$B$h$jM%@h4X78$,9b$$!#(B
	$B2ACMH=CGL>(Bview2$B$O(Bsp2$B$NJ}$,(Bsp1$B$h$jM%@h4X78$,9b$$!#(B

$BH=CG4p=`(B
	$B%f%K%C%H4V$NM%@h4X78!#(B

	$BNc(B:$BH=CG4p=`Dj5A%U%!%$%k$K0J2<$N$h$&$K=q$+$l$F$$$?>l9g(B
		sp1 := {u2<u1}.
		sp2 := {u1<u2}.

	$BH=CG4p=`L>(Bsp1$B$O%f%K%C%H(Bu1$B$NJ}$,(Bu2$B$h$jM%@h4X78$,9b$$!#(B
	$BH=CG4p=`L>(Bsp2$B$O%f%K%C%H(Bu2$B$NJ}$,(Bu1$B$h$jM%@h4X78$,9b$$!#(B

$B%f%K%C%H(B
	$B%k!<%kL>!#$^$?$O!"%k!<%kL>$N=89g!#(B

	$BNc(B: $B%f%K%C%HDj5A%U%!%$%k$K0J2<$N$h$&$K=q$+$l$F$$$?>l9g(B
	    (r1,r2,r3,r4,r5,r6$B$O%k!<%kL>!#(B)

		u1:= {r1,r2,r3}.
		u2:= {r4,r5,r6}.

	r1$B$+$i(Br6$B$^$G%f%K%C%HL>!"$+$D(Bu1,u2$B$b%f%K%C%HL>$G$"$k!#(B
	u1$B$K$O(Br1,r2,r3$B$,Jq4^$5$l$F$$$k!#(B
	u2$B$K$O(Br4,r5,r6$B$,Jq4^$5$l$F$$$k!#(B
	
$BO@>Z(B
	$B7kO@$r@bL@$9$k$?$a$N;v<B$d2>@b$N=89g!#(B

	$BNc(B:
		a,b,c$B$O;v<B!#(Bx,y$B$O2>@b!#(B
		$B%k!<%k$H$7$F(Br1,r2$B$,$"$k!#(B

		r1:x <- a,b,c.
		r2:y <- x.

		$BO@>Z(B[y,x,a,b,c]$B$O7kO@(By$B$r@bL@$9$k$b$N$G$"$j!"(By,x$B$O2>@b$G$"$k!#(B
$B2>@b(B
	$B;v<B$d2>@b$r%k!<%k$KE,MQ$7$F$b$H$^$C$?$b$N!#(B
$BAhE@(B
	$B$"$kO@>Z$NFb$N2>@b$GH?O@$r;}$D2>@b!#(B

	$BNc(B:
		a,b,c,d$B$O;v<B!#(Bx,y,-x$B$O2>@b!#(B
		$B%k!<%k$H$7$F(Br1,r2,r3$B$,$"$k!#(B

		r1:x <- a,b,c.
		r2:y <- x.
		r3:-x<- d.

		$BO@>Z(B[y,x,a,b,c]$B$NAhE@$H$7$F(Bx$B$,$"$j!"$=$NAhE@$KBP$7$FH?O@(B[-x,d]
		$B$,$"$k!#(B
$BH?O@(B
	$B$"$kO@>Z$rH]Dj$9$kO@>Z!#(B

	$BNc(B:
		$B>e5-$NNc$N>l9g!"O@>Z(B[y,x,a,b,c]$B$KBP$7$FH?O@(B[-x,d]$B$,$"$k!#(B

TopRule$B4X78(B
	$BO@>Z$H$=$NH?O@$H$NM%@h4X78(B

	$BNc(B:	
			r1
		p0+-----*------+
			r2
		      d0+------+

	$BO@>Z(Bp0$B$,$"$j!"$=$NH?O@$H$7$F(Bd0$B$,$"$k!#(B
	r2$B$O(Bd0$B$rF3$/%k!<%kL>!#(Bp0$B$NAhE@$rF3$/%k!<%kL>(Br1$B$,$"$k!#(B

	$B$3$N>l9g$N(BTopRule$B4X78$H$O!"(Br1$B$H(Br2$B$N4X78$r$$$$!"(B
	r1$B$O(Br2$B$K$?$$$7$F6/$$(B(r1>r2),$BL54X78(B(r1!r2),$B<e$$(B(r1<r2)$B$,$"$k!#(B
	$BFC$K6/$$>l9g!"(Br1>r2$B$N>l9g$O(Bp0$B$O(Bd0$B$h$jM%0L$G$"$k$H8F$V!#(B

FOCUS$BO@>Z(B
	$B8=:_>GE@$NEv$?$C$F$$$kO@>Z!#(B
	$BAj<j$NDLCN$K$h$j(BFOCUS$BO@>Z$O0[$J$k!#(B
	$B0J2<$KAj<j$NDLCN$H(BFOCUS$BO@>Z$N4X78$r<($9!#(B

	$BAj<j$NDLCN(B			FOCUS$BO@>Z(B
	==========================================================
	$BO@>Z<gD%(B(pose)			$BAj<j$N0lHV?7$7$$<gD%(B
	$BM%@hDLCN(B(notice(N$BDLCN(B))		$BAj<j$N0lHV?7$7$$<gD%(B
	
	N$BDLCN(B,NN$BDLCN$O!V(B6.3.2 $BO@Ah$N@)8f!W(B(2) notice$B$r;2>H$N$3$H(B
goal
	$BO@Ah$r9T$J$&:]$K8!;!$,>ZL@$7$h$&$H$9$k7kO@!#(B
$B=i4|O@>Z(B
	goal$B$rF3$/O@>Z$G!"8!;!$,:G=i$KA*$s$@O@>Z!#(B
$BO@AhEv;v<T(B
	$BHo9p(B,$B8!;!$GO@Ah$r9T$J$&:]$K!"$=$l$>$l$r%3%s%T%e!<%?$K$d$i$;$k$N$+%f!<%6$K$d$i$;(B
	$B$k$N$+$N;XDj!#(B
$B=i4|>uBV(B
	$B!V(B3 $B<B9T;~$N>uBVA+0\!W$r;2>H$N$3$H(B
$BO@Ah>uBV(B
	$B!V(B3 $B<B9T;~$N>uBVA+0\!W$r;2>H$N$3$H(B
$B?F(B
	$B!V(B6.3.1 $BO@>Z$NI=<(!W$N(B[$BO@>Z4V$N4X78(B]$B$r;2>H$N$3$H(B
$B;R(B
	$B!V(B6.3.1 $BO@>Z$NI=<(!W$N(B[$BO@>Z4V$N4X78(B]$B$r;2>H$N$3$H(B
$B7;(B
	$B!V(B6.3.1 $BO@>Z$NI=<(!W$N(B[$BO@>Z4V$N4X78(B]$B$r;2>H$N$3$H(B
$BDo(B
	$B!V(B6.3.1 $BO@>Z$NI=<(!W$N(B[$BO@>Z4V$N4X78(B]$B$r;2>H$N$3$H(B
