Ported to Linux and Cygwin December 2022 after many efforts since 1995
By Dennis J. Darland dennis.darland@hotmail.com

*** Yes

*** Yes

*** Yes

*** Yes

*** Yes

*** Yes

*** Yes

*** Yes

*** Yes

*** Yes

*** Yes
> > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > 
*** Yes
> 
> write_time(Ignore)?
Time Skipped for Test Suite

*** Yes
Ignore = @.
--1> 

*** No
> %% I indicate for each query whether the immediate response should be
> %% TRUE = Yes or FALSE = No
> 
> %% There may be subsequient No responses - as I may have asked for additional answers with semicolons.
> 
> %% There are 7 relations of both understanding and belief.
> %% Those of understanding are defined in terms of rrrr and ssss
> %% Those of belief require also a belief_in_ideas relation.
> 
> %% The 7 cases are:
> 
> %% words
> %% ideas
> %% objects
> 
> %% words_ideas
> %% words_objects
> %% ideas_objects
> 
> %% words_ideas_objects
> 
> 
> %% 
> %% 1
> %% NA
> 
> %% 2
> %% NA
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%5
> 
> %% 3
> %% Guarantees Object with Idea exists
> 
> %% I am taking flipper to be uniquely a dolphin
> %% and uniquely an intelligent fish.
> %% I know dolphins are not really fish.
> 
> 
> %% ASK
> 
> exists_contingently_singular_object( tom, now, O)?

*** Yes
O = flipper.
--1> ;

*** Yes
O = flipper.
--1> ;

*** Yes
O = dolphin.
--1> ;

*** No
> ;
> ;
> ;
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> 
> %% 4
> %% NA
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> %% 5
> %% guarantees word & object
> 
> %% TRUE
> 
> exists_contingently_singular_word_object( tom, now, W, O)?

*** Yes
O = flipper, W = flipper_class_word.
--1> ;

*** Yes
O = dolphin, W = dolphin_class_word.
--1> ;

*** Yes
O = flipper, W = intelligent_fish_class_word.
--1> ;

*** No
> ;
> ;
> ;
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> %% 6
> %% guarantees idea & object
> 
> %% TRUE
> 
> exists_contingently_singular_idea_object( tom, now, I, O)?

*** Yes
I = tom_flipper_class_idea, O = flipper.
--1> ;	

*** Yes
I = tom_intelligent_fish_class_idea, O = flipper.
--1> ;

*** Yes
I = tom_dolphin_class_idea, O = dolphin.
--1> ;	

*** No
> ;
> ;	
> ;
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> %% 7
> %%
> 
> %% TRUE
> 
> exists_contingently_singular_word_idea_object( tom, now, W, I, O)?

*** Yes
I = tom_flipper_class_idea, O = flipper, W = flipper_class_word.
--1> ;

*** Yes
I = tom_dolphin_class_idea, O = dolphin, W = dolphin_class_word.
--1> ;

*** Yes
I = tom_intelligent_fish_class_idea, 
O = flipper, 
W = intelligent_fish_class_word.

--1> ;

*** No
> ;
> ;
> ;
> 	
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> %% now equality -- only applies with object specified
> %% 1
> %% NA
> 
> %% 2
> %% NA
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%5
> 
> %% 3
> %% Guarantees Object with Idea exists
> 
> %% TRUE
> 
> equal_contingently_singular_objects( tom, now, O1, O2)?

*** Yes
O1 = flipper, O2 = flipper.
--1> ;

*** Yes
O1 = flipper, O2 = flipper.
--1> ;

*** Yes
O1 = flipper, O2 = flipper.
--1> ;

*** Yes
O1 = flipper, O2 = flipper.
--1> ;

*** Yes
O1 = dolphin, O2 = dolphin.
--1> ;

*** No
> ;
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> 
> %% 4
> %% NA
> 	
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> %% 5
> %% guarantees word & object
> 
> %% TRUE
> 
> equal_contingently_singular_words_objects( tom, now, W1, W2,
|    			     O1, O2)?

*** Yes
O1 = flipper, O2 = flipper, W1 = flipper_class_word, W2 = flipper_class_word.
--1> ;

*** Yes
O1 = flipper, 
O2 = flipper, 
W1 = flipper_class_word, 
W2 = intelligent_fish_class_word.

--1> ;

*** Yes
O1 = dolphin, O2 = dolphin, W1 = dolphin_class_word, W2 = dolphin_class_word.
--1> ;

*** Yes
O1 = flipper, 
O2 = flipper, 
W1 = intelligent_fish_class_word, 
W2 = flipper_class_word.

--1> ;

*** Yes
O1 = flipper, 
O2 = flipper, 
W1 = intelligent_fish_class_word, 
W2 = intelligent_fish_class_word.

--1> ;

*** No
> ;
> 	
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> %% 6
> %% guarantees idea & object
> 
> %% TRUE
> 
> equal_contingently_singular_ideas_objects( tom, now, I1, I2,
|    			      O1, O2)?

*** Yes
I1 = tom_flipper_class_idea, 
I2 = tom_flipper_class_idea, 
O1 = flipper, 
O2 = flipper.

--1> ;	

*** Yes
I1 = tom_flipper_class_idea, 
I2 = tom_intelligent_fish_class_idea, 
O1 = flipper, 
O2 = flipper.

--1> ;

*** Yes
I1 = tom_intelligent_fish_class_idea, 
I2 = tom_flipper_class_idea, 
O1 = flipper, 
O2 = flipper.

--1> ;	

*** Yes
I1 = tom_intelligent_fish_class_idea, 
I2 = tom_intelligent_fish_class_idea, 
O1 = flipper, 
O2 = flipper.

--1> ;

*** Yes
I1 = tom_dolphin_class_idea, 
I2 = tom_dolphin_class_idea, 
O1 = dolphin, 
O2 = dolphin.

--1> ;	

*** No
> ;
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> %% 7
> %%
> %% TRUE
> 
> equal_contingently_singular_words_ideas_objects( tom, now, W1, W2,
|    				   I1, I2,
|         O1, O2)?

*** Yes
I1 = tom_flipper_class_idea, 
I2 = tom_flipper_class_idea, 
O1 = flipper, 
O2 = flipper, 
W1 = flipper_class_word, 
W2 = flipper_class_word.

--1> ;

*** Yes
I1 = tom_flipper_class_idea, 
I2 = tom_intelligent_fish_class_idea, 
O1 = flipper, 
O2 = flipper, 
W1 = flipper_class_word, 
W2 = intelligent_fish_class_word.

--1> ;

*** Yes
I1 = tom_dolphin_class_idea, 
I2 = tom_dolphin_class_idea, 
O1 = dolphin, 
O2 = dolphin, 
W1 = dolphin_class_word, 
W2 = dolphin_class_word.

--1> ;

*** Yes
I1 = tom_intelligent_fish_class_idea, 
I2 = tom_flipper_class_idea, 
O1 = flipper, 
O2 = flipper, 
W1 = intelligent_fish_class_word, 
W2 = flipper_class_word.

--1> ;

*** Yes
I1 = tom_intelligent_fish_class_idea, 
I2 = tom_intelligent_fish_class_idea, 
O1 = flipper, 
O2 = flipper, 
W1 = intelligent_fish_class_word, 
W2 = intelligent_fish_class_word.

--1> ;

*** No
> ;
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> %% FUNCTIONS
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> %% now functions -- only applies with object specified
> %% 1
> %% NA
> 
> %% 2
> %% NA
> %% I am supposing it contingent that there is one dolphin named flipper
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%5
> 
> %% 3
> %% Guarantees Object exists
> 
> %% TRUE
> 
> 
> function_contingently_singular_object( tom, now, F, O)?

*** Yes
F = dolphin, O = flipper.
--1> ;

*** Yes
F = dolphin, O = flipper.
--1> ;	

*** No
> ;
> ;	
> ;
> ;	
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> 
> %% 4
> %% NA
> 	
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> %% 5
> %% guarantees word & object
> 
> %% TRUE
> 
> function_contingently_singular_word_object( tom, now, F, W, O)?

*** Yes
F = dolphin_class_word, O = flipper, W = flipper_class_word.
--1> ;

*** Yes
F = dolphin_class_word, O = flipper, W = intelligent_fish_class_word.
--1> ;

*** No
> ;
> ;
> ;
> ;
> 	
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> %% 6
> %% guarantees idea & object
> 
> %% TRUE
> 
> function_contingently_singular_idea_object( tom, now, F, I, O)?

*** Yes
F = tom_dolphin_class_idea, I = tom_flipper_class_idea, O = flipper.
--1> ;	

*** Yes
F = tom_dolphin_class_idea, I = tom_intelligent_fish_class_idea, O = flipper.
--1> ;

*** No
> ;	
> ;
> ;	
> ;
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> %% 7
> %%
> %% TRUE
> 
> function_contingently_singular_word_idea_object( tom, now,
|         F,
|         W,
|         I, O)?

*** Yes
F = dolphin_class_word, 
I = tom_flipper_class_idea, 
O = flipper, 
W = flipper_class_word.

--1> ;

*** Yes
F = dolphin_class_word, 
I = tom_intelligent_fish_class_idea, 
O = flipper, 
W = intelligent_fish_class_word.

--1> ;

*** No
> ;
> ;
> ;
> ;
> 	
> write_stats(Ignore)?
Stats Skipped for Test Suite

*** Yes
Ignore = @.
--1> 

*** No
> halt?