[Xsb-commits] CVS: xsbtests/ptq aprint_iv1,1.1.1.1,1.2 aprint_s1,1.1.1.1,1.2 awsswrint_iv1,1.1.1.1,1

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 454-5900

Update of /cvsroot/xsb/xsbtests/ptq
In directory sc8-pr-cvs1:/tmp/cvs-serv8096

Modified Files:
	aprint_iv1 aprint_s1 awsswrint_iv1 awsswrint_s1 
	awsswrlredint_iv1 awsswrlredint_s1 awtraint_iv1 awtraint_s1 
	awtralredint_iv1 awtralredint_s1 emlawaslhlredint_cn1 
	emlawaslhlredint_iv1 emlawaslhlredint_s1 emlawaslhlredint_te11 
	emlawint_cn1 emlawint_iv1 emlawint_s1 emlawint_te11 
	emlawlredint_cn1 emlawlredint_iv1 emlawlredint_s1 
	emlawlredint_te11 emlawsslhlredint_cn1 emlawsslhlredint_iv1 
	emlawsslhlredint_s1 emlawsslhlredint_te11 jbmwwaiplredint_cn1 
	jbmwwaiplredint_iv1 jbmwwaiplredint_s1 jbmwwaiplredint_te11 
	jdhint_iv1 jdhint_s1 jdhlredint_iv1 jdhlredint_s1 jdmint_iv1 
	jdmint_s1 jdmint_te11 jdmlredint_iv1 jdmlredint_s1 
	jdmlredint_te11 jfaulredint_cn1 jfaulredint_iv1 jfaulredint_s1 
	jfaulredint_te11 jsauamsiint_cn1 jsauamsiint_iv1 
	jsauamsiint_s1 jsauamsiint_te11 jsauamsilredint_cn1 
	jsauamsilredint_iv1 jsauamsilredint_s1 jsauamsilredint_te11 
	jsauint_cn1 jsauint_iv1 jsauint_s1 jsauint_te11 
	jsaulredint_cn1 jsaulredint_iv1 jsaulredint_s1 
	jsaulredint_te11 jtauint_cn1 jtauint_iv1 jtauint_s1 
	jtauint_te11 jtaulredint_cn1 jtaulredint_iv1 jtaulredint_s1 
	jtaulredint_te11 jtfauaweilredint_cn1 jtfauaweilredint_iv1 
	jtfauaweilredint_s1 jtfauaweilredint_te11 jwfauaeilredint_cn1 
	jwfauaeilredint_iv1 jwfauaeilredint_s1 jwfauaeilredint_te11 
	jwiaplredint_cn1 jwiaplredint_iv1 jwiaplredint_s1 
	jwiaplredint_te11 mbjfauaheiint_cn1 mbjfauaheiint_iv1 
	mbjfauaheiint_s1 mbjfauaheiint_te11 mbjfauaheilredint_cn1 
	mbjfauaheilredint_iv1 mbjfauaheilredint_s1 
	mbjfauaheilredint_te11 test.sh 
Log Message:
Update correct results to use new write_canonical_lettervar, with
lists written in list form.


Index: aprint_iv1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/aprint_iv1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2

--- aprint_iv1	5 Nov 1998 16:55:55 -0000	1.1.1.1
+++ aprint_iv1	29 Jan 2003 22:14:44 -0000	1.2
@@ -1,2 +1,2 @@
-iv(rise,s,'.'(sub(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(price)),D,n),[]),[],2,3)
 iv(rise,s,[],[],2,3)
+iv(rise,s,[sub(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(price)),D,n)],[],2,3)

Index: aprint_s1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/aprint_s1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- aprint_s1	5 Nov 1998 16:55:55 -0000	1.1.1.1
+++ aprint_s1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,3 +1,3 @@
 s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(price)),^(\(D,@(\(E,@(*(E),D)),^(rise))))),[],[],0,3)
 s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(price)),^(rise)),[],[],0,3)
-s(@(\(A,@(*(A),B)),^(rise)),[],'.'(sub(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(price)),B,n),[]),0,3)
+s(@(\(A,@(*(A),B)),^(rise)),[],[sub(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(price)),B,n)],0,3)

Index: awsswrint_iv1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/awsswrint_iv1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- awsswrint_iv1	5 Nov 1998 16:55:58 -0000	1.1.1.1
+++ awsswrint_iv1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,3 +1,3 @@
-iv(\(A,@('run*',*(A))),s,'.'(sub(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(\(E,/\(@(woman,E),@(\(F,@(*(F),E)),^(\(G,@('walk*',*(G))))))))),H,f),[]),[],5,6)
 iv(\(A,@('run*',*(A))),s,[],[],5,6)
-iv(\(A,@('walk*',*(A))),s,'.'(sub(woman,B,f),[]),[],4,5)
+iv(\(A,@('run*',*(A))),s,[sub(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(\(E,/\(@(woman,E),@(\(F,@(*(F),E)),^(\(G,@('walk*',*(G))))))))),H,f)],[],5,6)
+iv(\(A,@('walk*',*(A))),s,[sub(woman,B,f)],[],4,5)

Index: awsswrint_s1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/awsswrint_s1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- awsswrint_s1	5 Nov 1998 16:55:58 -0000	1.1.1.1
+++ awsswrint_s1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,4 +1,4 @@
 s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(\(D,/\(@(woman,D),@(\(E,@(*(E),D)),^(\(F,@('walk*',*(F))))))))),^(\(G,@('run*',*(G))))),[],[],0,6)
 s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(\(D,/\(@(woman,D),@(\(E,@(*(E),D)),^(\(F,@('walk*',*(F))))))))),^(\(G,@(\(H,@(*(H),G)),^(\(I,@('run*',*(I)))))))),[],[],0,6)
-s(@(\(A,@(*(A),B)),^(\(C,@('run*',*(C))))),[],'.'(sub(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(\(G,/\(@(woman,G),@(\(H,@(*(H),G)),^(\(I,@('walk*',*(I))))))))),B,f),[]),0,6)
-s(@(\(A,@(*(A),B)),^(\(C,@('walk*',*(C))))),'.'(sub(woman,B,f),[]),[],3,5)
+s(@(\(A,@(*(A),B)),^(\(C,@('run*',*(C))))),[],[sub(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(\(G,/\(@(woman,G),@(\(H,@(*(H),G)),^(\(I,@('walk*',*(I))))))))),B,f)],0,6)
+s(@(\(A,@(*(A),B)),^(\(C,@('walk*',*(C))))),[sub(woman,B,f)],[],3,5)

Index: awsswrlredint_iv1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/awsswrlredint_iv1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- awsswrlredint_iv1	5 Nov 1998 16:55:59 -0000	1.1.1.1
+++ awsswrlredint_iv1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,3 +1,3 @@
-iv(\(A,@('run*',*(A))),s,'.'(sub(\(B,exists(C,/\(/\(@(woman,C),@('walk*',*(C))),@(*(B),C)))),D,f),[]),[],5,6)
 iv(\(A,@('run*',*(A))),s,[],[],5,6)
-iv(\(A,@('walk*',*(A))),s,'.'(sub(woman,B,f),[]),[],4,5)
+iv(\(A,@('run*',*(A))),s,[sub(\(B,exists(C,/\(/\(@(woman,C),@('walk*',*(C))),@(*(B),C)))),D,f)],[],5,6)
+iv(\(A,@('walk*',*(A))),s,[sub(woman,B,f)],[],4,5)

Index: awsswrlredint_s1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/awsswrlredint_s1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- awsswrlredint_s1	5 Nov 1998 16:56:00 -0000	1.1.1.1
+++ awsswrlredint_s1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,3 +1,3 @@
-s(@('run*',*(A)),[],'.'(sub(\(B,exists(C,/\(/\(@(woman,C),@('walk*',*(C))),@(*(B),C)))),A,f),[]),0,6)
-s(@('walk*',*(A)),'.'(sub(woman,A,f),[]),[],3,5)
+s(@('run*',*(A)),[],[sub(\(B,exists(C,/\(/\(@(woman,C),@('walk*',*(C))),@(*(B),C)))),A,f)],0,6)
+s(@('walk*',*(A)),[sub(woman,A,f)],[],3,5)
 s(exists(A,/\(/\(@(woman,A),@('walk*',*(A))),@('run*',*(A)))),[],[],0,6)

Index: awtraint_iv1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/awtraint_iv1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- awtraint_iv1	5 Nov 1998 16:56:00 -0000	1.1.1.1
+++ awtraint_iv1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,10 +1,10 @@
-iv(@(\(A,\(B,@(@('try_to*',A),B))),^(@(allegedly,^(\(C,@('run*',*(C))))))),s,'.'(sub(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(woman)),G,f),[]),[],2,5)
 iv(@(\(A,\(B,@(@('try_to*',A),B))),^(@(allegedly,^(\(C,@('run*',*(C))))))),s,[],[],2,5)
-iv(@(\(A,\(B,@(@('try_to*',A),B))),^(\(C,@('run*',*(C))))),s,'.'(sub(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(woman)),G,f),[]),[],2,4)
+iv(@(\(A,\(B,@(@('try_to*',A),B))),^(@(allegedly,^(\(C,@('run*',*(C))))))),s,[sub(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(woman)),G,f)],[],2,5)
 iv(@(\(A,\(B,@(@('try_to*',A),B))),^(\(C,@('run*',*(C))))),s,[],[],2,4)
-iv(@(allegedly,^(@(\(A,\(B,@(@('try_to*',A),B))),^(\(C,@('run*',*(C))))))),s,'.'(sub(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(woman)),G,f),[]),[],2,5)
+iv(@(\(A,\(B,@(@('try_to*',A),B))),^(\(C,@('run*',*(C))))),s,[sub(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(woman)),G,f)],[],2,4)
 iv(@(allegedly,^(@(\(A,\(B,@(@('try_to*',A),B))),^(\(C,@('run*',*(C))))))),s,[],[],2,5)
-iv(@(allegedly,^(\(A,@('run*',*(A))))),i,'.'(sub(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(woman)),E,f),[]),[],3,5)
+iv(@(allegedly,^(@(\(A,\(B,@(@('try_to*',A),B))),^(\(C,@('run*',*(C))))))),s,[sub(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(woman)),G,f)],[],2,5)
 iv(@(allegedly,^(\(A,@('run*',*(A))))),i,[],[],3,5)
-iv(\(A,@('run*',*(A))),i,'.'(sub(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(woman)),E,f),[]),[],3,4)
+iv(@(allegedly,^(\(A,@('run*',*(A))))),i,[sub(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(woman)),E,f)],[],3,5)
 iv(\(A,@('run*',*(A))),i,[],[],3,4)
+iv(\(A,@('run*',*(A))),i,[sub(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(woman)),E,f)],[],3,4)

Index: awtraint_s1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/awtraint_s1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- awtraint_s1	5 Nov 1998 16:56:00 -0000	1.1.1.1
+++ awtraint_s1	29 Jan 2003 22:14:45 -0000	1.2
@@ -4,6 +4,6 @@
 s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(woman)),^(\(D,@(\(E,@(*(E),D)),^(@(\(F,\(G,@(@('try_to*',F),G))),^(@(allegedly,^(\(H,@('run*',*(H)))))))))))),[],[],0,5)
 s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(woman)),^(\(D,@(\(E,@(*(E),D)),^(@(\(F,\(G,@(@('try_to*',F),G))),^(\(H,@('run*',*(H)))))))))),[],[],0,4)
 s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(woman)),^(\(D,@(\(E,@(*(E),D)),^(@(allegedly,^(@(\(F,\(G,@(@('try_to*',F),G))),^(\(H,@('run*',*(H)))))))))))),[],[],0,5)
-s(@(\(A,@(*(A),B)),^(@(\(C,\(D,@(@('try_to*',C),D))),^(@(allegedly,^(\(E,@('run*',*(E))))))))),[],'.'(sub(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(woman)),B,f),[]),0,5)
-s(@(\(A,@(*(A),B)),^(@(\(C,\(D,@(@('try_to*',C),D))),^(\(E,@('run*',*(E))))))),[],'.'(sub(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(woman)),B,f),[]),0,4)
-s(@(\(A,@(*(A),B)),^(@(allegedly,^(@(\(C,\(D,@(@('try_to*',C),D))),^(\(E,@('run*',*(E))))))))),[],'.'(sub(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(woman)),B,f),[]),0,5)
+s(@(\(A,@(*(A),B)),^(@(\(C,\(D,@(@('try_to*',C),D))),^(@(allegedly,^(\(E,@('run*',*(E))))))))),[],[sub(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(woman)),B,f)],0,5)
+s(@(\(A,@(*(A),B)),^(@(\(C,\(D,@(@('try_to*',C),D))),^(\(E,@('run*',*(E))))))),[],[sub(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(woman)),B,f)],0,4)
+s(@(\(A,@(*(A),B)),^(@(allegedly,^(@(\(C,\(D,@(@('try_to*',C),D))),^(\(E,@('run*',*(E))))))))),[],[sub(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(woman)),B,f)],0,5)

Index: awtralredint_iv1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/awtralredint_iv1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- awtralredint_iv1	5 Nov 1998 16:56:02 -0000	1.1.1.1
+++ awtralredint_iv1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,10 +1,10 @@
-iv(@(allegedly,^(\(A,@('run*',*(A))))),i,'.'(sub(\(B,exists(C,/\(@(woman,C),@(*(B),C)))),D,f),[]),[],3,5)
 iv(@(allegedly,^(\(A,@('run*',*(A))))),i,[],[],3,5)
-iv(@(allegedly,^(\(A,@(@('try_to*',^(\(B,@('run*',*(B))))),A)))),s,'.'(sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),E,f),[]),[],2,5)
+iv(@(allegedly,^(\(A,@('run*',*(A))))),i,[sub(\(B,exists(C,/\(@(woman,C),@(*(B),C)))),D,f)],[],3,5)
 iv(@(allegedly,^(\(A,@(@('try_to*',^(\(B,@('run*',*(B))))),A)))),s,[],[],2,5)
-iv(\(A,@('run*',*(A))),i,'.'(sub(\(B,exists(C,/\(@(woman,C),@(*(B),C)))),D,f),[]),[],3,4)
+iv(@(allegedly,^(\(A,@(@('try_to*',^(\(B,@('run*',*(B))))),A)))),s,[sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),E,f)],[],2,5)
 iv(\(A,@('run*',*(A))),i,[],[],3,4)
-iv(\(A,@(@('try_to*',^(@(allegedly,^(\(B,@('run*',*(B))))))),A)),s,'.'(sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),E,f),[]),[],2,5)
+iv(\(A,@('run*',*(A))),i,[sub(\(B,exists(C,/\(@(woman,C),@(*(B),C)))),D,f)],[],3,4)
 iv(\(A,@(@('try_to*',^(@(allegedly,^(\(B,@('run*',*(B))))))),A)),s,[],[],2,5)
-iv(\(A,@(@('try_to*',^(\(B,@('run*',*(B))))),A)),s,'.'(sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),E,f),[]),[],2,4)
+iv(\(A,@(@('try_to*',^(@(allegedly,^(\(B,@('run*',*(B))))))),A)),s,[sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),E,f)],[],2,5)
 iv(\(A,@(@('try_to*',^(\(B,@('run*',*(B))))),A)),s,[],[],2,4)
+iv(\(A,@(@('try_to*',^(\(B,@('run*',*(B))))),A)),s,[sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),E,f)],[],2,4)

Index: awtralredint_s1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/awtralredint_s1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- awtralredint_s1	5 Nov 1998 16:56:02 -0000	1.1.1.1
+++ awtralredint_s1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,6 +1,6 @@
-s(@(@('try_to*',^(@(allegedly,^(\(A,@('run*',*(A))))))),B),[],'.'(sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f),[]),0,5)
-s(@(@('try_to*',^(\(A,@('run*',*(A))))),B),[],'.'(sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f),[]),0,4)
-s(@(@(allegedly,^(\(A,@(@('try_to*',^(\(B,@('run*',*(B))))),A)))),C),[],'.'(sub(\(D,exists(E,/\(@(woman,E),@(*(D),E)))),C,f),[]),0,5)
+s(@(@('try_to*',^(@(allegedly,^(\(A,@('run*',*(A))))))),B),[],[sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f)],0,5)
+s(@(@('try_to*',^(\(A,@('run*',*(A))))),B),[],[sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f)],0,4)
+s(@(@(allegedly,^(\(A,@(@('try_to*',^(\(B,@('run*',*(B))))),A)))),C),[],[sub(\(D,exists(E,/\(@(woman,E),@(*(D),E)))),C,f)],0,5)
 s(exists(A,/\(@(woman,A),@(@('try_to*',^(@(allegedly,^(\(B,@('run*',*(B))))))),A))),[],[],0,5)
 s(exists(A,/\(@(woman,A),@(@('try_to*',^(\(B,@('run*',*(B))))),A))),[],[],0,4)
 s(exists(A,/\(@(woman,A),@(@(allegedly,^(\(B,@(@('try_to*',^(\(C,@('run*',*(C))))),B)))),A))),[],[],0,5)

Index: emlawaslhlredint_cn1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/emlawaslhlredint_cn1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- emlawaslhlredint_cn1	5 Nov 1998 16:56:04 -0000	1.1.1.1
+++ emlawaslhlredint_cn1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,3 +1,3 @@
 cn(man,m,[],[],1,2)
-cn(woman,f,'.'(sub(\(A,all(B,->(@(man,B),@(*(A),B)))),C,m),[]),[],4,5)
 cn(woman,f,[],[],4,5)
+cn(woman,f,[sub(\(A,all(B,->(@(man,B),@(*(A),B)))),C,m)],[],4,5)

Index: emlawaslhlredint_iv1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/emlawaslhlredint_iv1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- emlawaslhlredint_iv1	5 Nov 1998 16:56:04 -0000	1.1.1.1
+++ emlawaslhlredint_iv1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,5 +1,5 @@
-iv(\(A,@(@('love*',*(B)),*(A))),s,'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),'.'(sub(\(E,exists(F,/\(@(woman,F),@(*(E),F)))),G,f),[])),[],7,9)
-iv(\(A,@(@('love*',*(B)),*(A))),s,'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m),[]),'.'(sub(\(F,exists(G,/\(@(woman,G),@(*(F),G)))),B,f),[]),2,5)
-iv(\(A,@(@('love*',*(B)),*(A))),s,[],'.'(sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f),[]),2,5)
-iv(\(A,exists(B,/\(@(woman,B),@(@('love*',*(B)),*(A))))),s,'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m),[]),[],2,5)
+iv(\(A,@(@('love*',*(B)),*(A))),s,[],[sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f)],2,5)
+iv(\(A,@(@('love*',*(B)),*(A))),s,[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),sub(\(E,exists(F,/\(@(woman,F),@(*(E),F)))),G,f)],[],7,9)
+iv(\(A,@(@('love*',*(B)),*(A))),s,[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m)],[sub(\(F,exists(G,/\(@(woman,G),@(*(F),G)))),B,f)],2,5)
 iv(\(A,exists(B,/\(@(woman,B),@(@('love*',*(B)),*(A))))),s,[],[],2,5)
+iv(\(A,exists(B,/\(@(woman,B),@(@('love*',*(B)),*(A))))),s,[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m)],[],2,5)

Index: emlawaslhlredint_s1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/emlawaslhlredint_s1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- emlawaslhlredint_s1	5 Nov 1998 16:56:04 -0000	1.1.1.1
+++ emlawaslhlredint_s1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,11 +1,11 @@
-s(/\(@(@('love*',*(A)),*(B)),@(@('love*',*(B)),*(A))),[],'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),'.'(sub(\(E,exists(F,/\(@(woman,F),@(*(E),F)))),A,f),[])),0,9)
-s(@(@('love*',*(A)),*(B)),'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),A,m),'.'(sub(\(E,exists(F,/\(@(woman,F),@(*(E),F)))),B,f),[])),[],6,9)
-s(@(@('love*',*(A)),*(B)),[],'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),'.'(sub(\(E,exists(F,/\(@(woman,F),@(*(E),F)))),A,f),[])),0,5)
-s(all(A,->(@(man,A),/\(@(@('love*',*(B)),*(A)),@(@('love*',*(A)),*(B))))),[],'.'(sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f),[]),0,9)
-s(all(A,->(@(man,A),@(@('love*',*(B)),*(A)))),[],'.'(sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f),[]),0,5)
+s(/\(@(@('love*',*(A)),*(B)),@(@('love*',*(B)),*(A))),[],[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),sub(\(E,exists(F,/\(@(woman,F),@(*(E),F)))),A,f)],0,9)
+s(@(@('love*',*(A)),*(B)),[],[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),sub(\(E,exists(F,/\(@(woman,F),@(*(E),F)))),A,f)],0,5)
+s(@(@('love*',*(A)),*(B)),[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),A,m),sub(\(E,exists(F,/\(@(woman,F),@(*(E),F)))),B,f)],[],6,9)
+s(all(A,->(@(man,A),/\(@(@('love*',*(B)),*(A)),@(@('love*',*(A)),*(B))))),[],[sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f)],0,9)
+s(all(A,->(@(man,A),@(@('love*',*(B)),*(A)))),[],[sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f)],0,5)
 s(all(A,->(@(man,A),exists(B,/\(@(woman,B),/\(@(@('love*',*(B)),*(A)),@(@('love*',*(A)),*(B))))))),[],[],0,9)
 s(all(A,->(@(man,A),exists(B,/\(@(woman,B),@(@('love*',*(B)),*(A)))))),[],[],0,5)
-s(exists(A,/\(@(woman,A),/\(@(@('love*',*(A)),*(B)),@(@('love*',*(B)),*(A))))),[],'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),[]),0,9)
-s(exists(A,/\(@(woman,A),@(@('love*',*(A)),*(B)))),[],'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),[]),0,5)
+s(exists(A,/\(@(woman,A),/\(@(@('love*',*(A)),*(B)),@(@('love*',*(B)),*(A))))),[],[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m)],0,9)
+s(exists(A,/\(@(woman,A),@(@('love*',*(A)),*(B)))),[],[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m)],0,5)
 s(exists(A,/\(@(woman,A),all(B,->(@(man,B),/\(@(@('love*',*(A)),*(B)),@(@('love*',*(B)),*(A))))))),[],[],0,9)
 s(exists(A,/\(@(woman,A),all(B,->(@(man,B),@(@('love*',*(A)),*(B)))))),[],[],0,5)

Index: emlawaslhlredint_te11
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/emlawaslhlredint_te11,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- emlawaslhlredint_te11	5 Nov 1998 16:56:05 -0000	1.1.1.1
+++ emlawaslhlredint_te11	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,3 +1,3 @@
 te1(\(A,all(B,->(@(man,B),@(*(A),B)))),sub,m,[],[],0,2)
-te1(\(A,exists(B,/\(@(woman,B),@(*(A),B)))),obj,f,'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m),[]),[],3,5)
 te1(\(A,exists(B,/\(@(woman,B),@(*(A),B)))),obj,f,[],[],3,5)
+te1(\(A,exists(B,/\(@(woman,B),@(*(A),B)))),obj,f,[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m)],[],3,5)

Index: emlawint_cn1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/emlawint_cn1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- emlawint_cn1	5 Nov 1998 16:56:06 -0000	1.1.1.1
+++ emlawint_cn1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,3 +1,3 @@
 cn(man,m,[],[],1,2)
-cn(woman,f,'.'(sub(@(\(A,\(B,all(C,->(@(*(A),C),@(*(B),C))))),^(man)),D,m),[]),[],4,5)
 cn(woman,f,[],[],4,5)
+cn(woman,f,[sub(@(\(A,\(B,all(C,->(@(*(A),C),@(*(B),C))))),^(man)),D,m)],[],4,5)

Index: emlawint_iv1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/emlawint_iv1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- emlawint_iv1	5 Nov 1998 16:56:06 -0000	1.1.1.1
+++ emlawint_iv1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,6 +1,6 @@
-iv(@(\(A,\(B,@(*(A),^(\(C,@(@('love*',*(C)),*(B))))))),^(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(woman)))),s,'.'(sub(@(\(G,\(H,all(I,->(@(*(G),I),@(*(H),I))))),^(man)),J,m),[]),[],2,5)
 iv(@(\(A,\(B,@(*(A),^(\(C,@(@('love*',*(C)),*(B))))))),^(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(woman)))),s,[],[],2,5)
-iv(@(\(A,\(B,@(*(A),^(\(C,@(@('love*',*(C)),*(B))))))),^(\(D,@(*(D),E)))),s,'.'(sub(@(\(F,\(G,all(H,->(@(*(F),H),@(*(G),H))))),^(man)),I,m),[]),'.'(sub(@(\(J,\(K,exists(L,/\(@(*(J),L),@(*(K),L))))),^(woman)),E,f),[]),2,5)
-iv(@(\(A,\(B,@(*(A),^(\(C,@(@('love*',*(C)),*(B))))))),^(\(D,@(*(D),E)))),s,[],'.'(sub(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(woman)),E,f),[]),2,5)
-iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(woman)),^(\(E,@(@(\(F,\(G,@(*(F),^(\(H,@(@('love*',*(H)),*(G))))))),^(\(I,@(*(I),E)))),A))))),s,'.'(sub(@(\(J,\(K,all(L,->(@(*(J),L),@(*(K),L))))),^(man)),M,m),[]),[],2,5)
+iv(@(\(A,\(B,@(*(A),^(\(C,@(@('love*',*(C)),*(B))))))),^(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(woman)))),s,[sub(@(\(G,\(H,all(I,->(@(*(G),I),@(*(H),I))))),^(man)),J,m)],[],2,5)
+iv(@(\(A,\(B,@(*(A),^(\(C,@(@('love*',*(C)),*(B))))))),^(\(D,@(*(D),E)))),s,[],[sub(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(woman)),E,f)],2,5)
+iv(@(\(A,\(B,@(*(A),^(\(C,@(@('love*',*(C)),*(B))))))),^(\(D,@(*(D),E)))),s,[sub(@(\(F,\(G,all(H,->(@(*(F),H),@(*(G),H))))),^(man)),I,m)],[sub(@(\(J,\(K,exists(L,/\(@(*(J),L),@(*(K),L))))),^(woman)),E,f)],2,5)
 iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(woman)),^(\(E,@(@(\(F,\(G,@(*(F),^(\(H,@(@('love*',*(H)),*(G))))))),^(\(I,@(*(I),E)))),A))))),s,[],[],2,5)
+iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(woman)),^(\(E,@(@(\(F,\(G,@(*(F),^(\(H,@(@('love*',*(H)),*(G))))))),^(\(I,@(*(I),E)))),A))))),s,[sub(@(\(J,\(K,all(L,->(@(*(J),L),@(*(K),L))))),^(man)),M,m)],[],2,5)

Index: emlawint_s1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/emlawint_s1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- emlawint_s1	5 Nov 1998 16:56:07 -0000	1.1.1.1
+++ emlawint_s1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,13 +1,13 @@
 s(@(@(\(A,\(B,all(C,->(@(*(A),C),@(*(B),C))))),^(man)),^(@(\(D,\(E,@(*(D),^(\(F,@(@('love*',*(F)),*(E))))))),^(@(\(G,\(H,exists(I,/\(@(*(G),I),@(*(H),I))))),^(woman)))))),[],[],0,5)
-s(@(@(\(A,\(B,all(C,->(@(*(A),C),@(*(B),C))))),^(man)),^(@(\(D,\(E,@(*(D),^(\(F,@(@('love*',*(F)),*(E))))))),^(\(G,@(*(G),H)))))),[],'.'(sub(@(\(I,\(J,exists(K,/\(@(*(I),K),@(*(J),K))))),^(woman)),H,f),[]),0,5)
+s(@(@(\(A,\(B,all(C,->(@(*(A),C),@(*(B),C))))),^(man)),^(@(\(D,\(E,@(*(D),^(\(F,@(@('love*',*(F)),*(E))))))),^(\(G,@(*(G),H)))))),[],[sub(@(\(I,\(J,exists(K,/\(@(*(I),K),@(*(J),K))))),^(woman)),H,f)],0,5)
 s(@(@(\(A,\(B,all(C,->(@(*(A),C),@(*(B),C))))),^(man)),^(\(D,@(@(\(E,\(F,exists(G,/\(@(*(E),G),@(*(F),G))))),^(woman)),^(\(H,@(@(\(I,\(J,@(*(I),^(\(K,@(@('love*',*(K)),*(J))))))),^(\(L,@(*(L),H)))),D))))))),[],[],0,5)
 s(@(@(\(A,\(B,all(C,->(@(*(A),C),@(*(B),C))))),^(man)),^(\(D,@(@(\(E,\(F,exists(G,/\(@(*(E),G),@(*(F),G))))),^(woman)),^(\(H,@(\(I,@(*(I),D)),^(@(\(J,\(K,@(*(J),^(\(L,@(@('love*',*(L)),*(K))))))),^(\(M,@(*(M),H)))))))))))),[],[],0,5)
 s(@(@(\(A,\(B,all(C,->(@(*(A),C),@(*(B),C))))),^(man)),^(\(D,@(\(E,@(*(E),D)),^(@(\(F,\(G,@(*(F),^(\(H,@(@('love*',*(H)),*(G))))))),^(@(\(I,\(J,exists(K,/\(@(*(I),K),@(*(J),K))))),^(woman))))))))),[],[],0,5)
-s(@(@(\(A,\(B,all(C,->(@(*(A),C),@(*(B),C))))),^(man)),^(\(D,@(\(E,@(*(E),D)),^(@(\(F,\(G,@(*(F),^(\(H,@(@('love*',*(H)),*(G))))))),^(\(I,@(*(I),J))))))))),[],'.'(sub(@(\(K,\(L,exists(M,/\(@(*(K),M),@(*(L),M))))),^(woman)),J,f),[]),0,5)
+s(@(@(\(A,\(B,all(C,->(@(*(A),C),@(*(B),C))))),^(man)),^(\(D,@(\(E,@(*(E),D)),^(@(\(F,\(G,@(*(F),^(\(H,@(@('love*',*(H)),*(G))))))),^(\(I,@(*(I),J))))))))),[],[sub(@(\(K,\(L,exists(M,/\(@(*(K),M),@(*(L),M))))),^(woman)),J,f)],0,5)
 s(@(@(\(A,\(B,all(C,->(@(*(A),C),@(*(B),C))))),^(man)),^(\(D,@(\(E,@(*(E),D)),^(\(F,@(@(\(G,\(H,exists(I,/\(@(*(G),I),@(*(H),I))))),^(woman)),^(\(J,@(@(\(K,\(L,@(*(K),^(\(M,@(@('love*',*(M)),*(L))))))),^(\(N,@(*(N),J)))),F)))))))))),[],[],0,5)
 s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(woman)),^(\(D,@(@(\(E,\(F,all(G,->(@(*(E),G),@(*(F),G))))),^(man)),^(@(\(H,\(I,@(*(H),^(\(J,@(@('love*',*(J)),*(I))))))),^(\(K,@(*(K),D))))))))),[],[],0,5)
 s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(woman)),^(\(D,@(@(\(E,\(F,all(G,->(@(*(E),G),@(*(F),G))))),^(man)),^(\(H,@(\(I,@(*(I),H)),^(@(\(J,\(K,@(*(J),^(\(L,@(@('love*',*(L)),*(K))))))),^(\(M,@(*(M),D)))))))))))),[],[],0,5)
-s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(woman)),^(\(D,@(\(E,@(*(E),F)),^(@(\(G,\(H,@(*(G),^(\(I,@(@('love*',*(I)),*(H))))))),^(\(J,@(*(J),D))))))))),[],'.'(sub(@(\(K,\(L,all(M,->(@(*(K),M),@(*(L),M))))),^(man)),F,m),[]),0,5)
-s(@(\(A,@(*(A),B)),^(@(\(C,\(D,@(*(C),^(\(E,@(@('love*',*(E)),*(D))))))),^(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(woman)))))),[],'.'(sub(@(\(I,\(J,all(K,->(@(*(I),K),@(*(J),K))))),^(man)),B,m),[]),0,5)
-s(@(\(A,@(*(A),B)),^(@(\(C,\(D,@(*(C),^(\(E,@(@('love*',*(E)),*(D))))))),^(\(F,@(*(F),G)))))),[],'.'(sub(@(\(H,\(I,all(J,->(@(*(H),J),@(*(I),J))))),^(man)),B,m),'.'(sub(@(\(K,\(L,exists(M,/\(@(*(K),M),@(*(L),M))))),^(woman)),G,f),[])),0,5)
-s(@(\(A,@(*(A),B)),^(\(C,@(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(woman)),^(\(G,@(@(\(H,\(I,@(*(H),^(\(J,@(@('love*',*(J)),*(I))))))),^(\(K,@(*(K),G)))),C))))))),[],'.'(sub(@(\(L,\(M,all(N,->(@(*(L),N),@(*(M),N))))),^(man)),B,m),[]),0,5)
+s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(woman)),^(\(D,@(\(E,@(*(E),F)),^(@(\(G,\(H,@(*(G),^(\(I,@(@('love*',*(I)),*(H))))))),^(\(J,@(*(J),D))))))))),[],[sub(@(\(K,\(L,all(M,->(@(*(K),M),@(*(L),M))))),^(man)),F,m)],0,5)
+s(@(\(A,@(*(A),B)),^(@(\(C,\(D,@(*(C),^(\(E,@(@('love*',*(E)),*(D))))))),^(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(woman)))))),[],[sub(@(\(I,\(J,all(K,->(@(*(I),K),@(*(J),K))))),^(man)),B,m)],0,5)
+s(@(\(A,@(*(A),B)),^(@(\(C,\(D,@(*(C),^(\(E,@(@('love*',*(E)),*(D))))))),^(\(F,@(*(F),G)))))),[],[sub(@(\(H,\(I,all(J,->(@(*(H),J),@(*(I),J))))),^(man)),B,m),sub(@(\(K,\(L,exists(M,/\(@(*(K),M),@(*(L),M))))),^(woman)),G,f)],0,5)
+s(@(\(A,@(*(A),B)),^(\(C,@(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(woman)),^(\(G,@(@(\(H,\(I,@(*(H),^(\(J,@(@('love*',*(J)),*(I))))))),^(\(K,@(*(K),G)))),C))))))),[],[sub(@(\(L,\(M,all(N,->(@(*(L),N),@(*(M),N))))),^(man)),B,m)],0,5)

Index: emlawint_te11
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/emlawint_te11,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- emlawint_te11	5 Nov 1998 16:56:07 -0000	1.1.1.1
+++ emlawint_te11	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,3 +1,3 @@
 te1(@(\(A,\(B,all(C,->(@(*(A),C),@(*(B),C))))),^(man)),sub,m,[],[],0,2)
-te1(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(woman)),obj,f,'.'(sub(@(\(D,\(E,all(F,->(@(*(D),F),@(*(E),F))))),^(man)),G,m),[]),[],3,5)
 te1(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(woman)),obj,f,[],[],3,5)
+te1(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(woman)),obj,f,[sub(@(\(D,\(E,all(F,->(@(*(D),F),@(*(E),F))))),^(man)),G,m)],[],3,5)

Index: emlawlredint_cn1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/emlawlredint_cn1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- emlawlredint_cn1	5 Nov 1998 16:56:08 -0000	1.1.1.1
+++ emlawlredint_cn1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,3 +1,3 @@
 cn(man,m,[],[],1,2)
-cn(woman,f,'.'(sub(\(A,all(B,->(@(man,B),@(*(A),B)))),C,m),[]),[],4,5)
 cn(woman,f,[],[],4,5)
+cn(woman,f,[sub(\(A,all(B,->(@(man,B),@(*(A),B)))),C,m)],[],4,5)

Index: emlawlredint_iv1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/emlawlredint_iv1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- emlawlredint_iv1	5 Nov 1998 16:56:08 -0000	1.1.1.1
+++ emlawlredint_iv1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,4 +1,4 @@
-iv(\(A,@(@('love*',*(B)),*(A))),s,'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m),[]),'.'(sub(\(F,exists(G,/\(@(woman,G),@(*(F),G)))),B,f),[]),2,5)
-iv(\(A,@(@('love*',*(B)),*(A))),s,[],'.'(sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f),[]),2,5)
-iv(\(A,exists(B,/\(@(woman,B),@(@('love*',*(B)),*(A))))),s,'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m),[]),[],2,5)
+iv(\(A,@(@('love*',*(B)),*(A))),s,[],[sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f)],2,5)
+iv(\(A,@(@('love*',*(B)),*(A))),s,[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m)],[sub(\(F,exists(G,/\(@(woman,G),@(*(F),G)))),B,f)],2,5)
 iv(\(A,exists(B,/\(@(woman,B),@(@('love*',*(B)),*(A))))),s,[],[],2,5)
+iv(\(A,exists(B,/\(@(woman,B),@(@('love*',*(B)),*(A))))),s,[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m)],[],2,5)

Index: emlawlredint_s1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/emlawlredint_s1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- emlawlredint_s1	5 Nov 1998 16:56:08 -0000	1.1.1.1
+++ emlawlredint_s1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,5 +1,5 @@
-s(@(@('love*',*(A)),*(B)),[],'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),'.'(sub(\(E,exists(F,/\(@(woman,F),@(*(E),F)))),A,f),[])),0,5)
-s(all(A,->(@(man,A),@(@('love*',*(B)),*(A)))),[],'.'(sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f),[]),0,5)
+s(@(@('love*',*(A)),*(B)),[],[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),sub(\(E,exists(F,/\(@(woman,F),@(*(E),F)))),A,f)],0,5)
+s(all(A,->(@(man,A),@(@('love*',*(B)),*(A)))),[],[sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f)],0,5)
 s(all(A,->(@(man,A),exists(B,/\(@(woman,B),@(@('love*',*(B)),*(A)))))),[],[],0,5)
-s(exists(A,/\(@(woman,A),@(@('love*',*(A)),*(B)))),[],'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),[]),0,5)
+s(exists(A,/\(@(woman,A),@(@('love*',*(A)),*(B)))),[],[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m)],0,5)
 s(exists(A,/\(@(woman,A),all(B,->(@(man,B),@(@('love*',*(A)),*(B)))))),[],[],0,5)

Index: emlawlredint_te11
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/emlawlredint_te11,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- emlawlredint_te11	5 Nov 1998 16:56:09 -0000	1.1.1.1
+++ emlawlredint_te11	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,3 +1,3 @@
 te1(\(A,all(B,->(@(man,B),@(*(A),B)))),sub,m,[],[],0,2)
-te1(\(A,exists(B,/\(@(woman,B),@(*(A),B)))),obj,f,'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m),[]),[],3,5)
 te1(\(A,exists(B,/\(@(woman,B),@(*(A),B)))),obj,f,[],[],3,5)
+te1(\(A,exists(B,/\(@(woman,B),@(*(A),B)))),obj,f,[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m)],[],3,5)

Index: emlawsslhlredint_cn1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/emlawsslhlredint_cn1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- emlawsslhlredint_cn1	5 Nov 1998 16:56:10 -0000	1.1.1.1
+++ emlawsslhlredint_cn1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,4 +1,4 @@
-cn(\(A,/\(@(woman,A),@(@('love*',*(B)),*(A)))),f,'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),[]),[],4,9)
+cn(\(A,/\(@(woman,A),@(@('love*',*(B)),*(A)))),f,[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m)],[],4,9)
 cn(man,m,[],[],1,2)
-cn(woman,f,'.'(sub(\(A,all(B,->(@(man,B),@(*(A),B)))),C,m),[]),[],4,5)
 cn(woman,f,[],[],4,5)
+cn(woman,f,[sub(\(A,all(B,->(@(man,B),@(*(A),B)))),C,m)],[],4,5)

Index: emlawsslhlredint_iv1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/emlawsslhlredint_iv1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- emlawsslhlredint_iv1	5 Nov 1998 16:56:10 -0000	1.1.1.1
+++ emlawsslhlredint_iv1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,7 +1,7 @@
-iv(\(A,@(@('love*',*(B)),*(A))),s,'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m),[]),'.'(sub(\(F,exists(G,/\(/\(@(woman,G),@(@('love*',*(E)),*(G))),@(*(F),G)))),B,f),[]),2,9)
-iv(\(A,@(@('love*',*(B)),*(A))),s,'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m),[]),'.'(sub(\(F,exists(G,/\(@(woman,G),@(*(F),G)))),B,f),[]),2,5)
-iv(\(A,@(@('love*',*(B)),*(A))),s,'.'(sub(woman,C,f),'.'(sub(\(D,all(E,->(@(man,E),@(*(D),E)))),B,m),[])),[],7,9)
-iv(\(A,@(@('love*',*(B)),*(A))),s,[],'.'(sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f),[]),2,5)
-iv(\(A,exists(B,/\(/\(@(woman,B),@(@('love*',*(C)),*(B))),@(@('love*',*(B)),*(A))))),s,'.'(sub(\(D,all(E,->(@(man,E),@(*(D),E)))),C,m),[]),[],2,9)
-iv(\(A,exists(B,/\(@(woman,B),@(@('love*',*(B)),*(A))))),s,'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m),[]),[],2,5)
+iv(\(A,@(@('love*',*(B)),*(A))),s,[],[sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f)],2,5)
+iv(\(A,@(@('love*',*(B)),*(A))),s,[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m)],[sub(\(F,exists(G,/\(/\(@(woman,G),@(@('love*',*(E)),*(G))),@(*(F),G)))),B,f)],2,9)
+iv(\(A,@(@('love*',*(B)),*(A))),s,[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m)],[sub(\(F,exists(G,/\(@(woman,G),@(*(F),G)))),B,f)],2,5)
+iv(\(A,@(@('love*',*(B)),*(A))),s,[sub(woman,C,f),sub(\(D,all(E,->(@(man,E),@(*(D),E)))),B,m)],[],7,9)
+iv(\(A,exists(B,/\(/\(@(woman,B),@(@('love*',*(C)),*(B))),@(@('love*',*(B)),*(A))))),s,[sub(\(D,all(E,->(@(man,E),@(*(D),E)))),C,m)],[],2,9)
 iv(\(A,exists(B,/\(@(woman,B),@(@('love*',*(B)),*(A))))),s,[],[],2,5)
+iv(\(A,exists(B,/\(@(woman,B),@(@('love*',*(B)),*(A))))),s,[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m)],[],2,5)

Index: emlawsslhlredint_s1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/emlawsslhlredint_s1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- emlawsslhlredint_s1	5 Nov 1998 16:56:10 -0000	1.1.1.1
+++ emlawsslhlredint_s1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,9 +1,9 @@
-s(@(@('love*',*(A)),*(B)),'.'(sub(woman,B,f),'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),A,m),[])),[],6,9)
-s(@(@('love*',*(A)),*(B)),[],'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),'.'(sub(\(E,exists(F,/\(/\(@(woman,F),@(@('love*',*(B)),*(F))),@(*(E),F)))),A,f),[])),0,9)
-s(@(@('love*',*(A)),*(B)),[],'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),'.'(sub(\(E,exists(F,/\(@(woman,F),@(*(E),F)))),A,f),[])),0,5)
-s(all(A,->(@(man,A),@(@('love*',*(B)),*(A)))),[],'.'(sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f),[]),0,5)
+s(@(@('love*',*(A)),*(B)),[],[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),sub(\(E,exists(F,/\(/\(@(woman,F),@(@('love*',*(B)),*(F))),@(*(E),F)))),A,f)],0,9)
+s(@(@('love*',*(A)),*(B)),[],[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),sub(\(E,exists(F,/\(@(woman,F),@(*(E),F)))),A,f)],0,5)
+s(@(@('love*',*(A)),*(B)),[sub(woman,B,f),sub(\(C,all(D,->(@(man,D),@(*(C),D)))),A,m)],[],6,9)
+s(all(A,->(@(man,A),@(@('love*',*(B)),*(A)))),[],[sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),B,f)],0,5)
 s(all(A,->(@(man,A),exists(B,/\(/\(@(woman,B),@(@('love*',*(A)),*(B))),@(@('love*',*(B)),*(A)))))),[],[],0,9)
 s(all(A,->(@(man,A),exists(B,/\(@(woman,B),@(@('love*',*(B)),*(A)))))),[],[],0,5)
-s(exists(A,/\(/\(@(woman,A),@(@('love*',*(B)),*(A))),@(@('love*',*(A)),*(B)))),[],'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),[]),0,9)
-s(exists(A,/\(@(woman,A),@(@('love*',*(A)),*(B)))),[],'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m),[]),0,5)
+s(exists(A,/\(/\(@(woman,A),@(@('love*',*(B)),*(A))),@(@('love*',*(A)),*(B)))),[],[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m)],0,9)
+s(exists(A,/\(@(woman,A),@(@('love*',*(A)),*(B)))),[],[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),B,m)],0,5)
 s(exists(A,/\(@(woman,A),all(B,->(@(man,B),@(@('love*',*(A)),*(B)))))),[],[],0,5)

Index: emlawsslhlredint_te11
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/emlawsslhlredint_te11,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- emlawsslhlredint_te11	5 Nov 1998 16:56:10 -0000	1.1.1.1
+++ emlawsslhlredint_te11	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,4 +1,4 @@
 te1(\(A,all(B,->(@(man,B),@(*(A),B)))),sub,m,[],[],0,2)
-te1(\(A,exists(B,/\(/\(@(woman,B),@(@('love*',*(C)),*(B))),@(*(A),B)))),obj,f,'.'(sub(\(D,all(E,->(@(man,E),@(*(D),E)))),C,m),[]),[],3,9)
-te1(\(A,exists(B,/\(@(woman,B),@(*(A),B)))),obj,f,'.'(sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m),[]),[],3,5)
+te1(\(A,exists(B,/\(/\(@(woman,B),@(@('love*',*(C)),*(B))),@(*(A),B)))),obj,f,[sub(\(D,all(E,->(@(man,E),@(*(D),E)))),C,m)],[],3,9)
 te1(\(A,exists(B,/\(@(woman,B),@(*(A),B)))),obj,f,[],[],3,5)
+te1(\(A,exists(B,/\(@(woman,B),@(*(A),B)))),obj,f,[sub(\(C,all(D,->(@(man,D),@(*(C),D)))),E,m)],[],3,5)

Index: jbmwwaiplredint_cn1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/jbmwwaiplredint_cn1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- jbmwwaiplredint_cn1	5 Nov 1998 16:55:51 -0000	1.1.1.1
+++ jbmwwaiplredint_cn1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,4 +1,4 @@
-cn(park,n,'.'(sub(\(A,@(*(A),^(j))),B,m),'.'(sub(\(C,@(*(C),^(m))),D,f),[])),[],7,8)
-cn(park,n,'.'(sub(\(A,@(*(A),^(j))),B,m),[]),[],7,8)
-cn(park,n,'.'(sub(\(A,@(*(A),^(m))),B,f),[]),[],7,8)
 cn(park,n,[],[],7,8)
+cn(park,n,[sub(\(A,@(*(A),^(j))),B,m),sub(\(C,@(*(C),^(m))),D,f)],[],7,8)
+cn(park,n,[sub(\(A,@(*(A),^(j))),B,m)],[],7,8)
+cn(park,n,[sub(\(A,@(*(A),^(m))),B,f)],[],7,8)

Index: jbmwwaiplredint_iv1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/jbmwwaiplredint_iv1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- jbmwwaiplredint_iv1	5 Nov 1998 16:55:51 -0000	1.1.1.1
+++ jbmwwaiplredint_iv1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,76 +1,76 @@
-iv(\(A,@('walk*',*(A))),i,'.'(sub(\(B,@(*(B),^(j))),C,m),'.'(sub(\(D,@(*(D),^(m))),E,f),[])),[],4,5)
-iv(\(A,@('walk*',*(A))),i,'.'(sub(\(B,@(*(B),^(j))),C,m),[]),[],4,5)
-iv(\(A,@('walk*',*(A))),i,'.'(sub(\(B,@(*(B),^(m))),C,f),[]),[],4,5)
 iv(\(A,@('walk*',*(A))),i,[],[],4,5)
-iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,@('walk*',*(B))))),C))),A)),s,'.'(sub(\(D,@(*(D),^(j))),E,m),[]),'.'(sub(\(F,@(*(F),^(m))),C,f),[]),1,5)
-iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,@('walk*',*(B))))),C))),A)),s,[],'.'(sub(\(D,@(*(D),^(m))),C,f),[]),1,5)
-iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,@('walk*',*(B))))),^(m)))),A)),s,'.'(sub(\(C,@(*(C),^(j))),D,m),[]),[],1,5)
+iv(\(A,@('walk*',*(A))),i,[sub(\(B,@(*(B),^(j))),C,m),sub(\(D,@(*(D),^(m))),E,f)],[],4,5)
+iv(\(A,@('walk*',*(A))),i,[sub(\(B,@(*(B),^(j))),C,m)],[],4,5)
+iv(\(A,@('walk*',*(A))),i,[sub(\(B,@(*(B),^(m))),C,f)],[],4,5)
+iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,@('walk*',*(B))))),C))),A)),s,[],[sub(\(D,@(*(D),^(m))),C,f)],1,5)
+iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,@('walk*',*(B))))),C))),A)),s,[sub(\(D,@(*(D),^(j))),E,m)],[sub(\(F,@(*(F),^(m))),C,f)],1,5)
 iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,@('walk*',*(B))))),^(m)))),A)),s,[],[],1,5)
-iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))),E))),A)),s,'.'(sub(\(F,@(*(F),^(j))),G,m),[]),'.'(sub(\(H,@(*(H),^(m))),E,f),'.'(sub(\(I,exists(J,/\(@(park,J),@(*(I),J)))),C,n),[])),1,8)
-iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))),E))),A)),s,[],'.'(sub(\(F,@(*(F),^(m))),E,f),'.'(sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),C,n),[])),1,8)
-iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))),^(m)))),A)),s,'.'(sub(\(E,@(*(E),^(j))),F,m),[]),'.'(sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),C,n),[]),1,8)
-iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))),^(m)))),A)),s,[],'.'(sub(\(E,exists(F,/\(@(park,F),@(*(E),F)))),C,n),[]),1,8)
-iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,exists(C,/\(@(park,C),@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))))),E))),A)),s,'.'(sub(\(F,@(*(F),^(j))),G,m),[]),'.'(sub(\(H,@(*(H),^(m))),E,f),[]),1,8)
-iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,exists(C,/\(@(park,C),@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))))),E))),A)),s,[],'.'(sub(\(F,@(*(F),^(m))),E,f),[]),1,8)
-iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,exists(C,/\(@(park,C),@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))))),^(m)))),A)),s,'.'(sub(\(E,@(*(E),^(j))),F,m),[]),[],1,8)
+iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,@('walk*',*(B))))),^(m)))),A)),s,[sub(\(C,@(*(C),^(j))),D,m)],[],1,5)
+iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))),E))),A)),s,[],[sub(\(F,@(*(F),^(m))),E,f),sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),C,n)],1,8)
+iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))),E))),A)),s,[sub(\(F,@(*(F),^(j))),G,m)],[sub(\(H,@(*(H),^(m))),E,f),sub(\(I,exists(J,/\(@(park,J),@(*(I),J)))),C,n)],1,8)
+iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))),^(m)))),A)),s,[],[sub(\(E,exists(F,/\(@(park,F),@(*(E),F)))),C,n)],1,8)
+iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))),^(m)))),A)),s,[sub(\(E,@(*(E),^(j))),F,m)],[sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),C,n)],1,8)
+iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,exists(C,/\(@(park,C),@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))))),E))),A)),s,[],[sub(\(F,@(*(F),^(m))),E,f)],1,8)
+iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,exists(C,/\(@(park,C),@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))))),E))),A)),s,[sub(\(F,@(*(F),^(j))),G,m)],[sub(\(H,@(*(H),^(m))),E,f)],1,8)
 iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,exists(C,/\(@(park,C),@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))))),^(m)))),A)),s,[],[],1,8)
-iv(\(A,@(@('believe_that*',^(@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),E))),A)),s,'.'(sub(\(F,@(*(F),^(j))),G,m),[]),'.'(sub(\(H,@(*(H),^(m))),E,f),'.'(sub(\(I,exists(J,/\(@(park,J),@(*(I),J)))),B,n),[])),1,8)
-iv(\(A,@(@('believe_that*',^(@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),E))),A)),s,[],'.'(sub(\(F,@(*(F),^(m))),E,f),'.'(sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),B,n),[])),1,8)
-iv(\(A,@(@('believe_that*',^(@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),^(m)))),A)),s,'.'(sub(\(E,@(*(E),^(j))),F,m),[]),'.'(sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),B,n),[]),1,8)
-iv(\(A,@(@('believe_that*',^(@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),^(m)))),A)),s,[],'.'(sub(\(E,exists(F,/\(@(park,F),@(*(E),F)))),B,n),[]),1,8)
-iv(\(A,@(@('believe_that*',^(exists(B,/\(@(park,B),@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),E))))),A)),s,'.'(sub(\(F,@(*(F),^(j))),G,m),[]),'.'(sub(\(H,@(*(H),^(m))),E,f),[]),1,8)
-iv(\(A,@(@('believe_that*',^(exists(B,/\(@(park,B),@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),E))))),A)),s,[],'.'(sub(\(F,@(*(F),^(m))),E,f),[]),1,8)
-iv(\(A,@(@('believe_that*',^(exists(B,/\(@(park,B),@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),^(m)))))),A)),s,'.'(sub(\(E,@(*(E),^(j))),F,m),[]),[],1,8)
+iv(\(A,@(@('believe_that*',^(@(@('wish_to*',^(\(B,exists(C,/\(@(park,C),@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))))),^(m)))),A)),s,[sub(\(E,@(*(E),^(j))),F,m)],[],1,8)
+iv(\(A,@(@('believe_that*',^(@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),E))),A)),s,[],[sub(\(F,@(*(F),^(m))),E,f),sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),B,n)],1,8)
+iv(\(A,@(@('believe_that*',^(@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),E))),A)),s,[sub(\(F,@(*(F),^(j))),G,m)],[sub(\(H,@(*(H),^(m))),E,f),sub(\(I,exists(J,/\(@(park,J),@(*(I),J)))),B,n)],1,8)
+iv(\(A,@(@('believe_that*',^(@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),^(m)))),A)),s,[],[sub(\(E,exists(F,/\(@(park,F),@(*(E),F)))),B,n)],1,8)
+iv(\(A,@(@('believe_that*',^(@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),^(m)))),A)),s,[sub(\(E,@(*(E),^(j))),F,m)],[sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),B,n)],1,8)
+iv(\(A,@(@('believe_that*',^(exists(B,/\(@(park,B),@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),E))))),A)),s,[],[sub(\(F,@(*(F),^(m))),E,f)],1,8)
+iv(\(A,@(@('believe_that*',^(exists(B,/\(@(park,B),@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),E))))),A)),s,[sub(\(F,@(*(F),^(j))),G,m)],[sub(\(H,@(*(H),^(m))),E,f)],1,8)
 iv(\(A,@(@('believe_that*',^(exists(B,/\(@(park,B),@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),^(m)))))),A)),s,[],[],1,8)
-iv(\(A,@(@('believe_that*',^(exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),E))))),A)),s,'.'(sub(\(F,@(*(F),^(j))),G,m),[]),'.'(sub(\(H,@(*(H),^(m))),E,f),[]),1,8)
-iv(\(A,@(@('believe_that*',^(exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),E))))),A)),s,[],'.'(sub(\(F,@(*(F),^(m))),E,f),[]),1,8)
-iv(\(A,@(@('believe_that*',^(exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),^(m)))))),A)),s,'.'(sub(\(E,@(*(E),^(j))),F,m),[]),[],1,8)
+iv(\(A,@(@('believe_that*',^(exists(B,/\(@(park,B),@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),^(m)))))),A)),s,[sub(\(E,@(*(E),^(j))),F,m)],[],1,8)
+iv(\(A,@(@('believe_that*',^(exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),E))))),A)),s,[],[sub(\(F,@(*(F),^(m))),E,f)],1,8)
+iv(\(A,@(@('believe_that*',^(exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),E))))),A)),s,[sub(\(F,@(*(F),^(j))),G,m)],[sub(\(H,@(*(H),^(m))),E,f)],1,8)
 iv(\(A,@(@('believe_that*',^(exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),^(m)))))),A)),s,[],[],1,8)
-iv(\(A,@(@('wish_to*',^(\(B,@('walk*',*(B))))),A)),s,'.'(sub(\(C,@(*(C),^(j))),D,m),'.'(sub(\(E,@(*(E),^(m))),F,f),[])),[],3,5)
-iv(\(A,@(@('wish_to*',^(\(B,@('walk*',*(B))))),A)),s,'.'(sub(\(C,@(*(C),^(j))),D,m),[]),[],3,5)
-iv(\(A,@(@('wish_to*',^(\(B,@('walk*',*(B))))),A)),s,'.'(sub(\(C,@(*(C),^(m))),D,f),[]),[],3,5)
+iv(\(A,@(@('believe_that*',^(exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),^(m)))))),A)),s,[sub(\(E,@(*(E),^(j))),F,m)],[],1,8)
 iv(\(A,@(@('wish_to*',^(\(B,@('walk*',*(B))))),A)),s,[],[],3,5)
-iv(\(A,@(@('wish_to*',^(\(B,@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))),A)),s,'.'(sub(\(E,@(*(E),^(j))),F,m),'.'(sub(\(G,@(*(G),^(m))),H,f),[])),'.'(sub(\(I,exists(J,/\(@(park,J),@(*(I),J)))),C,n),[]),3,8)
-iv(\(A,@(@('wish_to*',^(\(B,@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))),A)),s,'.'(sub(\(E,@(*(E),^(j))),F,m),[]),'.'(sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),C,n),[]),3,8)
-iv(\(A,@(@('wish_to*',^(\(B,@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))),A)),s,'.'(sub(\(E,@(*(E),^(m))),F,f),[]),'.'(sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),C,n),[]),3,8)
-iv(\(A,@(@('wish_to*',^(\(B,@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))),A)),s,[],'.'(sub(\(E,exists(F,/\(@(park,F),@(*(E),F)))),C,n),[]),3,8)
-iv(\(A,@(@('wish_to*',^(\(B,exists(C,/\(@(park,C),@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))))),A)),s,'.'(sub(\(E,@(*(E),^(j))),F,m),'.'(sub(\(G,@(*(G),^(m))),H,f),[])),[],3,8)
-iv(\(A,@(@('wish_to*',^(\(B,exists(C,/\(@(park,C),@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))))),A)),s,'.'(sub(\(E,@(*(E),^(j))),F,m),[]),[],3,8)
-iv(\(A,@(@('wish_to*',^(\(B,exists(C,/\(@(park,C),@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))))),A)),s,'.'(sub(\(E,@(*(E),^(m))),F,f),[]),[],3,8)
+iv(\(A,@(@('wish_to*',^(\(B,@('walk*',*(B))))),A)),s,[sub(\(C,@(*(C),^(j))),D,m),sub(\(E,@(*(E),^(m))),F,f)],[],3,5)
+iv(\(A,@(@('wish_to*',^(\(B,@('walk*',*(B))))),A)),s,[sub(\(C,@(*(C),^(j))),D,m)],[],3,5)
+iv(\(A,@(@('wish_to*',^(\(B,@('walk*',*(B))))),A)),s,[sub(\(C,@(*(C),^(m))),D,f)],[],3,5)
+iv(\(A,@(@('wish_to*',^(\(B,@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))),A)),s,[],[sub(\(E,exists(F,/\(@(park,F),@(*(E),F)))),C,n)],3,8)
+iv(\(A,@(@('wish_to*',^(\(B,@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))),A)),s,[sub(\(E,@(*(E),^(j))),F,m),sub(\(G,@(*(G),^(m))),H,f)],[sub(\(I,exists(J,/\(@(park,J),@(*(I),J)))),C,n)],3,8)
+iv(\(A,@(@('wish_to*',^(\(B,@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))),A)),s,[sub(\(E,@(*(E),^(j))),F,m)],[sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),C,n)],3,8)
+iv(\(A,@(@('wish_to*',^(\(B,@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))),A)),s,[sub(\(E,@(*(E),^(m))),F,f)],[sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),C,n)],3,8)
 iv(\(A,@(@('wish_to*',^(\(B,exists(C,/\(@(park,C),@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))))),A)),s,[],[],3,8)
-iv(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)),i,'.'(sub(\(D,@(*(D),^(j))),E,m),'.'(sub(\(F,@(*(F),^(m))),G,f),[])),'.'(sub(\(H,exists(I,/\(@(park,I),@(*(H),I)))),B,n),[]),4,8)
-iv(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)),i,'.'(sub(\(D,@(*(D),^(j))),E,m),[]),'.'(sub(\(F,exists(G,/\(@(park,G),@(*(F),G)))),B,n),[]),4,8)
-iv(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)),i,'.'(sub(\(D,@(*(D),^(m))),E,f),[]),'.'(sub(\(F,exists(G,/\(@(park,G),@(*(F),G)))),B,n),[]),4,8)
-iv(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)),i,[],'.'(sub(\(D,exists(E,/\(@(park,E),@(*(D),E)))),B,n),[]),4,8)
-iv(\(A,@(@(@('in*',*(B)),^(\(C,@(@('believe_that*',^(@(@('wish_to*',^(\(D,@('walk*',*(D))))),E))),C)))),A)),s,'.'(sub(\(F,@(*(F),^(j))),G,m),[]),'.'(sub(\(H,@(*(H),^(m))),E,f),'.'(sub(\(I,exists(J,/\(@(park,J),@(*(I),J)))),B,n),[])),1,8)
-iv(\(A,@(@(@('in*',*(B)),^(\(C,@(@('believe_that*',^(@(@('wish_to*',^(\(D,@('walk*',*(D))))),E))),C)))),A)),s,[],'.'(sub(\(F,@(*(F),^(m))),E,f),'.'(sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),B,n),[])),1,8)
-iv(\(A,@(@(@('in*',*(B)),^(\(C,@(@('believe_that*',^(@(@('wish_to*',^(\(D,@('walk*',*(D))))),^(m)))),C)))),A)),s,'.'(sub(\(E,@(*(E),^(j))),F,m),[]),'.'(sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),B,n),[]),1,8)
-iv(\(A,@(@(@('in*',*(B)),^(\(C,@(@('believe_that*',^(@(@('wish_to*',^(\(D,@('walk*',*(D))))),^(m)))),C)))),A)),s,[],'.'(sub(\(E,exists(F,/\(@(park,F),@(*(E),F)))),B,n),[]),1,8)
-iv(\(A,@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),A)),s,'.'(sub(\(E,@(*(E),^(j))),F,m),'.'(sub(\(G,@(*(G),^(m))),H,f),[])),'.'(sub(\(I,exists(J,/\(@(park,J),@(*(I),J)))),B,n),[]),3,8)
-iv(\(A,@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),A)),s,'.'(sub(\(E,@(*(E),^(j))),F,m),[]),'.'(sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),B,n),[]),3,8)
-iv(\(A,@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),A)),s,'.'(sub(\(E,@(*(E),^(m))),F,f),[]),'.'(sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),B,n),[]),3,8)
-iv(\(A,@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),A)),s,[],'.'(sub(\(E,exists(F,/\(@(park,F),@(*(E),F)))),B,n),[]),3,8)
-iv(\(A,exists(B,/\(@(park,B),@(@('believe_that*',^(@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),E))),A)))),s,'.'(sub(\(F,@(*(F),^(j))),G,m),[]),'.'(sub(\(H,@(*(H),^(m))),E,f),[]),1,8)
-iv(\(A,exists(B,/\(@(park,B),@(@('believe_that*',^(@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),E))),A)))),s,[],'.'(sub(\(F,@(*(F),^(m))),E,f),[]),1,8)
-iv(\(A,exists(B,/\(@(park,B),@(@('believe_that*',^(@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),^(m)))),A)))),s,'.'(sub(\(E,@(*(E),^(j))),F,m),[]),[],1,8)
+iv(\(A,@(@('wish_to*',^(\(B,exists(C,/\(@(park,C),@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))))),A)),s,[sub(\(E,@(*(E),^(j))),F,m),sub(\(G,@(*(G),^(m))),H,f)],[],3,8)
+iv(\(A,@(@('wish_to*',^(\(B,exists(C,/\(@(park,C),@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))))),A)),s,[sub(\(E,@(*(E),^(j))),F,m)],[],3,8)
+iv(\(A,@(@('wish_to*',^(\(B,exists(C,/\(@(park,C),@(@(@('in*',*(C)),^(\(D,@('walk*',*(D))))),B)))))),A)),s,[sub(\(E,@(*(E),^(m))),F,f)],[],3,8)
+iv(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)),i,[],[sub(\(D,exists(E,/\(@(park,E),@(*(D),E)))),B,n)],4,8)
+iv(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)),i,[sub(\(D,@(*(D),^(j))),E,m),sub(\(F,@(*(F),^(m))),G,f)],[sub(\(H,exists(I,/\(@(park,I),@(*(H),I)))),B,n)],4,8)
+iv(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)),i,[sub(\(D,@(*(D),^(j))),E,m)],[sub(\(F,exists(G,/\(@(park,G),@(*(F),G)))),B,n)],4,8)
+iv(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)),i,[sub(\(D,@(*(D),^(m))),E,f)],[sub(\(F,exists(G,/\(@(park,G),@(*(F),G)))),B,n)],4,8)
+iv(\(A,@(@(@('in*',*(B)),^(\(C,@(@('believe_that*',^(@(@('wish_to*',^(\(D,@('walk*',*(D))))),E))),C)))),A)),s,[],[sub(\(F,@(*(F),^(m))),E,f),sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),B,n)],1,8)
+iv(\(A,@(@(@('in*',*(B)),^(\(C,@(@('believe_that*',^(@(@('wish_to*',^(\(D,@('walk*',*(D))))),E))),C)))),A)),s,[sub(\(F,@(*(F),^(j))),G,m)],[sub(\(H,@(*(H),^(m))),E,f),sub(\(I,exists(J,/\(@(park,J),@(*(I),J)))),B,n)],1,8)
+iv(\(A,@(@(@('in*',*(B)),^(\(C,@(@('believe_that*',^(@(@('wish_to*',^(\(D,@('walk*',*(D))))),^(m)))),C)))),A)),s,[],[sub(\(E,exists(F,/\(@(park,F),@(*(E),F)))),B,n)],1,8)
+iv(\(A,@(@(@('in*',*(B)),^(\(C,@(@('believe_that*',^(@(@('wish_to*',^(\(D,@('walk*',*(D))))),^(m)))),C)))),A)),s,[sub(\(E,@(*(E),^(j))),F,m)],[sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),B,n)],1,8)
+iv(\(A,@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),A)),s,[],[sub(\(E,exists(F,/\(@(park,F),@(*(E),F)))),B,n)],3,8)
+iv(\(A,@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),A)),s,[sub(\(E,@(*(E),^(j))),F,m),sub(\(G,@(*(G),^(m))),H,f)],[sub(\(I,exists(J,/\(@(park,J),@(*(I),J)))),B,n)],3,8)
+iv(\(A,@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),A)),s,[sub(\(E,@(*(E),^(j))),F,m)],[sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),B,n)],3,8)
+iv(\(A,@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),A)),s,[sub(\(E,@(*(E),^(m))),F,f)],[sub(\(G,exists(H,/\(@(park,H),@(*(G),H)))),B,n)],3,8)
+iv(\(A,exists(B,/\(@(park,B),@(@('believe_that*',^(@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),E))),A)))),s,[],[sub(\(F,@(*(F),^(m))),E,f)],1,8)
+iv(\(A,exists(B,/\(@(park,B),@(@('believe_that*',^(@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),E))),A)))),s,[sub(\(F,@(*(F),^(j))),G,m)],[sub(\(H,@(*(H),^(m))),E,f)],1,8)
 iv(\(A,exists(B,/\(@(park,B),@(@('believe_that*',^(@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),^(m)))),A)))),s,[],[],1,8)
-iv(\(A,exists(B,/\(@(park,B),@(@('believe_that*',^(@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),E))),A)))),s,'.'(sub(\(F,@(*(F),^(j))),G,m),[]),'.'(sub(\(H,@(*(H),^(m))),E,f),[]),1,8)
-iv(\(A,exists(B,/\(@(park,B),@(@('believe_that*',^(@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),E))),A)))),s,[],'.'(sub(\(F,@(*(F),^(m))),E,f),[]),1,8)
-iv(\(A,exists(B,/\(@(park,B),@(@('believe_that*',^(@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),^(m)))),A)))),s,'.'(sub(\(E,@(*(E),^(j))),F,m),[]),[],1,8)
+iv(\(A,exists(B,/\(@(park,B),@(@('believe_that*',^(@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),^(m)))),A)))),s,[sub(\(E,@(*(E),^(j))),F,m)],[],1,8)
+iv(\(A,exists(B,/\(@(park,B),@(@('believe_that*',^(@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),E))),A)))),s,[],[sub(\(F,@(*(F),^(m))),E,f)],1,8)
+iv(\(A,exists(B,/\(@(park,B),@(@('believe_that*',^(@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),E))),A)))),s,[sub(\(F,@(*(F),^(j))),G,m)],[sub(\(H,@(*(H),^(m))),E,f)],1,8)
 iv(\(A,exists(B,/\(@(park,B),@(@('believe_that*',^(@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),^(m)))),A)))),s,[],[],1,8)
-iv(\(A,exists(B,/\(@(park,B),@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),A)))),s,'.'(sub(\(E,@(*(E),^(j))),F,m),'.'(sub(\(G,@(*(G),^(m))),H,f),[])),[],3,8)
-iv(\(A,exists(B,/\(@(park,B),@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),A)))),s,'.'(sub(\(E,@(*(E),^(j))),F,m),[]),[],3,8)
-iv(\(A,exists(B,/\(@(park,B),@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),A)))),s,'.'(sub(\(E,@(*(E),^(m))),F,f),[]),[],3,8)
+iv(\(A,exists(B,/\(@(park,B),@(@('believe_that*',^(@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),^(m)))),A)))),s,[sub(\(E,@(*(E),^(j))),F,m)],[],1,8)
 iv(\(A,exists(B,/\(@(park,B),@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),A)))),s,[],[],3,8)
-iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),i,'.'(sub(\(D,@(*(D),^(j))),E,m),'.'(sub(\(F,@(*(F),^(m))),G,f),[])),[],4,8)
-iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),i,'.'(sub(\(D,@(*(D),^(j))),E,m),[]),[],4,8)
-iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),i,'.'(sub(\(D,@(*(D),^(m))),E,f),[]),[],4,8)
+iv(\(A,exists(B,/\(@(park,B),@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),A)))),s,[sub(\(E,@(*(E),^(j))),F,m),sub(\(G,@(*(G),^(m))),H,f)],[],3,8)
+iv(\(A,exists(B,/\(@(park,B),@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),A)))),s,[sub(\(E,@(*(E),^(j))),F,m)],[],3,8)
+iv(\(A,exists(B,/\(@(park,B),@(@('wish_to*',^(\(C,@(@(@('in*',*(B)),^(\(D,@('walk*',*(D))))),C)))),A)))),s,[sub(\(E,@(*(E),^(m))),F,f)],[],3,8)
 iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),i,[],[],4,8)
-iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('believe_that*',^(@(@('wish_to*',^(\(D,@('walk*',*(D))))),E))),C)))),A)))),s,'.'(sub(\(F,@(*(F),^(j))),G,m),[]),'.'(sub(\(H,@(*(H),^(m))),E,f),[]),1,8)
-iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('believe_that*',^(@(@('wish_to*',^(\(D,@('walk*',*(D))))),E))),C)))),A)))),s,[],'.'(sub(\(F,@(*(F),^(m))),E,f),[]),1,8)
-iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('believe_that*',^(@(@('wish_to*',^(\(D,@('walk*',*(D))))),^(m)))),C)))),A)))),s,'.'(sub(\(E,@(*(E),^(j))),F,m),[]),[],1,8)
+iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),i,[sub(\(D,@(*(D),^(j))),E,m),sub(\(F,@(*(F),^(m))),G,f)],[],4,8)
+iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),i,[sub(\(D,@(*(D),^(j))),E,m)],[],4,8)
+iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),i,[sub(\(D,@(*(D),^(m))),E,f)],[],4,8)
+iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('believe_that*',^(@(@('wish_to*',^(\(D,@('walk*',*(D))))),E))),C)))),A)))),s,[],[sub(\(F,@(*(F),^(m))),E,f)],1,8)
+iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('believe_that*',^(@(@('wish_to*',^(\(D,@('walk*',*(D))))),E))),C)))),A)))),s,[sub(\(F,@(*(F),^(j))),G,m)],[sub(\(H,@(*(H),^(m))),E,f)],1,8)
 iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('believe_that*',^(@(@('wish_to*',^(\(D,@('walk*',*(D))))),^(m)))),C)))),A)))),s,[],[],1,8)
-iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),A)))),s,'.'(sub(\(E,@(*(E),^(j))),F,m),'.'(sub(\(G,@(*(G),^(m))),H,f),[])),[],3,8)
-iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),A)))),s,'.'(sub(\(E,@(*(E),^(j))),F,m),[]),[],3,8)
-iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),A)))),s,'.'(sub(\(E,@(*(E),^(m))),F,f),[]),[],3,8)
+iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('believe_that*',^(@(@('wish_to*',^(\(D,@('walk*',*(D))))),^(m)))),C)))),A)))),s,[sub(\(E,@(*(E),^(j))),F,m)],[],1,8)
 iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),A)))),s,[],[],3,8)
+iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),A)))),s,[sub(\(E,@(*(E),^(j))),F,m),sub(\(G,@(*(G),^(m))),H,f)],[],3,8)
+iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),A)))),s,[sub(\(E,@(*(E),^(j))),F,m)],[],3,8)
+iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@(@('wish_to*',^(\(D,@('walk*',*(D))))),C)))),A)))),s,[sub(\(E,@(*(E),^(m))),F,f)],[],3,8)

Index: jbmwwaiplredint_s1
===================================================================
RCS file: /cvsroot/xsb/xsbtests/ptq/jbmwwaiplredint_s1,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -r1.1.1.1 -r1.2
--- jbmwwaiplredint_s1	5 Nov 1998 16:55:52 -0000	1.1.1.1
+++ jbmwwaiplredint_s1	29 Jan 2003 22:14:45 -0000	1.2
@@ -1,64 +1,64 @@
-s(@(@('believe_that*',^(@(@('wish_to*',^(\(A,@('walk*',*(A))))),B))),C),[],'.'(sub(\(D,@(*(D),^(j))),C,m),'.'(sub(\(E,@(*(E),^(m))),B,f),[])),0,5)
-s(@(@('believe_that*',^(@(@('wish_to*',^(\(A,@('walk*',*(A))))),B))),^(j)),[],'.'(sub(\(C,@(*(C),^(m))),B,f),[]),0,5)
-s(@(@('believe_that*',^(@(@('wish_to*',^(\(A,@('walk*',*(A))))),^(m)))),B),[],'.'(sub(\(C,@(*(C),^(j))),B,m),[]),0,5)
+s(@(@('believe_that*',^(@(@('wish_to*',^(\(A,@('walk*',*(A))))),B))),C),[],[sub(\(D,@(*(D),^(j))),C...
 
[truncated message content]