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
> 
> 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 nonsense.
> %% Those of understanding are defined in terms of rrrr and ssss
> %% Those of nonsense are defined in terms of understanding.
> 
> %% The 7 cases are:
> 
> %% words
> %% ideas
> %% objects
> 
> %% words_ideas
> %% words_objects
> %% ideas_objects
> 
> %% words_ideas_objects
> 
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> %%% NONSENSE
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> 
> %% Checks on Understanding follow.
> 
> %%%%%%%%%%%%%%%%%%%%%%%%
> %% WORDS
> %%%%%%%%%%%%%%%%%%%%%%%%
> 
> %% Next should be FALSE
> 
> believes_nonsense_words( tom, now,
|         [[denounced_word],
|          [cicero_word],
|          [catiline_word]])?

*** No
> 
> %% Next should be FALSE - Not nonsense
> 
> believes_nonsense_words( tom, now,
|         [[denounced_word],
|          [santa_word],
|          [catiline_word]])?

*** No
> 
> %% Next should be FALSE
> 
> believes_nonsense_words( tom, now,
|         [[roman_word],  %% roman is plural
|          [catiline_word]])?

*** No
> 
> %% Next should be FALSE
> 
> believes_nonsense_words( tom, now,
|         [[denounced_word],
|          [tully_word],
|          [catiline_word]])?

*** No
> 
> %% Next should be FALSE -- wrong type
> 
> believes_nonsense_words( tom, now,
|         [[tully_word],
|          [tully_word],
|          [catiline_word]])?

*** No
> 
> %% Next should be FALSE -- wrong type
> 
> believes_nonsense_words( tom, now,
|         [[denounced_word],
|          [tully_word],
|          [denounced_word]])?

*** No
> 
> %% Next should be FALSE -- wrong arity
> 
> believes_nonsense_words( tom, now,
|         [[denounced_word],
|          [cicero_word]])?

*** No
> 
> %%%%%%%%%%%%%%%%%%%%%%%%
> %% IDEAS
> %%%%%%%%%%%%%%%%%%%%%%%%
> 
> %% Next should be FALSE
> 
> believes_nonsense_ideas( tom, now,
|         [tom_roman_idea,
|          tom_catiline_idea])?

*** No
> 
> %% Next should be FALSE - not nonsense
> 
> believes_nonsense_ideas( tom, now,
|         [tom_denounced_idea,
|         tom_santa_idea,
|          tom_catiline_idea])?

*** No
> 
> %% Next should be TRUE - jibberish is nonsense
> 
> believes_nonsense_ideas( tom, now,
|         [tom_jibberish_idea,
|         tom_cicero_idea,
|          tom_catiline_idea])?

*** Yes
--1> 

*** No
> %% Next should be TRUE - jibberish is nonsense
> 
> believes_nonsense_ideas( tom, now,
|         [tom_jibberish_idea,
|         tom_santa_idea,
|          tom_catiline_idea])?

*** Yes
--1> 

*** No
> %% Next should be FALSE
> 
> believes_nonsense_ideas( tom, now,
|         [tom_mortal_idea,
|          tom_roman_class_idea])?

*** No
> 
> %% Next should be FALSE
> 
> believes_nonsense_ideas( tom, now,
|         [tom_denounced_idea,
|          tom_tully_idea,
|          tom_catiline_idea])?

*** No
> 
> %% Next should be FALSE -- wrong type
> 
> believes_nonsense_ideas( tom, now,
|         [tom_tully_idea,
|          tom_tully_idea,
|          tom_catiline_idea])?

*** No
> 
> %% Next should be FALSE -- wrong type
> 
> believes_nonsense_ideas( tom, now,
|         [tom_denounced_idea,
|          tom_tully_idea,
|          tom_denounced_idea])?

*** No
> 
> %% Next should be FALSE -- wrong arity
> 
> believes_nonsense_ideas( tom, now,
|         [tom_denounced_idea,
|          tom_cicero_idea])?

*** No
> 
> %%%%%%%%%%%%%%%%%%%%%%%%
> %% OBJECTS
> %%%%%%%%%%%%%%%%%%%%%%%%
> 
> %% Next should be FALSE
> 
> believes_nonsense_objects( tom, now,
|         [[denounced],
|          [cicero],
|          [catiline]])?

*** No
> 
> %% Next should be FALSE - does not believe
> 
> believes_nonsense_objects( tom, now,
|         [[denounced],
|          [santa],
|          [catiline]])?

*** No
> 
> %% Next should be FALSE
> 
> believes_nonsense_objects( tom, now,
|         [[roman],
|          [catiline]])?

*** No
> 
> %% Next should be FALSE -- there is no (separate) object tully
> 
> believes_nonsense_objects( tom, now,
|         [[denounced],
|          [tully],
|          [catiline]])?

*** No
> 
> %% Next should be FALSE -- wrong type
> 
> believes_nonsense_objects( tom, now,
|         [[cicero],
|          [cicero],
|          [catiline]])?

*** No
> 
> %% Next should be FALSE -- wrong type
> 
> believes_nonsense_objects( tom, now,
|         [[denounced],
|          [cicero],
|          [denounced]])?

*** No
> 
> %% Next should be FALSE -- wrong arity
> 
> believes_nonsense_objects( tom, now,
|         [[denounced],
|          [cicero]])?

*** No
> 
> %%%%%%%%%%%%%%%%%%%%%%%%
> %% WORDS_IDEAS
> %%%%%%%%%%%%%%%%%%%%%%%%
> 
> %% Next should be FALSE
> 
> believes_nonsense_words_ideas( tom, now,
|         [[roman_word, tom_roman_idea],
|          [catiline_word, tom_catiline_idea]])?

*** No
> 
> %% Next should be FALSE - not nonsense
> 
> believes_nonsense_words_ideas( tom, now,
|         [[denounced_word, tom_denounced_idea],
|          [santa_word, tom_santa_idea],
|          [catiline_word, tom_catiline_idea]])?

*** No
> 
> %% Next should be FALSE
> 
> believes_nonsense_words_ideas( tom, now,
|         [[denounced_word, tom_denounced_idea],
|          [cicero_word, tom_cicero_idea],
|          [catiline_word, tom_catiline_idea]])?

*** No
> 
> %% Next should be FALSE
> 
> believes_nonsense_words_ideas( tom, now,
|         [[denounced_word, tom_denounced_idea],
|          [tully_word, tom_tully_idea],
|          [catiline_word, tom_catiline_idea]])?

*** No
> 
> %% Next should be FALSE -- wrong type
> 
> believes_nonsense_words_ideas( tom, now,
|         [[cicero_word, tom_cicero_idea],
|          [cicero_word, tom_cicero_idea],
|          [catiline_word, tom_catiline_idea]])?

*** No
> 
> %% Next should be FALSE -- wrong type
> 
> believes_nonsense_words_ideas( tom, now,
|         [[denounced_word, tom_denounced_idea],
|          [cicero_word, tom_cicero_word],
|          [denounced_word, tom_denounced_idea]])?

*** No
> 
> %% Next should be FALSE -- wrong arity
> 
> believes_nonsense_words_ideas( tom, now,
|         [[denounced_word, tom_denounced_idea],
|          [cicero_word, tom_cicero_idea]])?

*** No
> 
> %% Next should be FALSE -- wrong rrrr relation for tully_word
> 
> believes_nonsense_words_ideas( tom, now,
|         [[denounced_word, tom_denounced_idea],
|          [tully_word, tom_cicero_idea],
|          [catiline_word, tom_catiline_idea]])?

*** No
> 
> %% Next should be FALSE -- wrong rrrr relation for cicero_word
> 
> believes_nonsense_words_ideas( tom, now,
|         [[denounced_word, tom_denounced_idea],
|          [cicero_word, tom_tully_idea],
|          [catiline_word, tom_catiline_idea]])?

*** No
> 
> %%%%%%%%%%%%%%%%%%%%%%%%
> %% WORDS_OBJECTS
> %%%%%%%%%%%%%%%%%%%%%%%%
> 
> %% Next should be FALSE
> 
> believes_nonsense_words_objects( tom, now,
|         [[denounced_word, denounced],
|          [cicero_word, cicero],
|          [catiline_word, catiline]])?

*** No
> 
> %% Next should be FALSE
> 
> believes_nonsense_words_objects( tom, now,
|         [[denounced_word, denounced],
|          [santa_word, santa],
|          [catiline_word, catiline]])?

*** No
> 
> %% Next should be FALSE
> 
> believes_nonsense_words_objects( tom, now,
|         [[roman_word, roman],
|          [catiline_word, catiline]])?

*** No
> 
> %% Next should be FALSE - NOTE: tully_word R | S cicero
> 
> believes_nonsense_words_objects( tom, now,
|         [[denounced_word, denounced],
|          [tully_word, cicero],
|          [catiline_word, catiline]])?

*** No
> 
> %% Next should be FALSE -- wrong type
> 
> believes_nonsense_words_objects( tom, now,
|         [[tully_word, tully],
|          [tully_word, tully],
|          [catiline_word, catiline]])?

*** No
> 
> %% Next should be FALSE -- wrong type
> 
> believes_nonsense_words_objects( tom, now,
|         [[denounced_word, denounced],
|          [cicero_word, cicero],
|          [denounced_word, denounced]])?

*** No
> 
> %% Next should be FALSE -- wrong arity
> 
> believes_nonsense_words_objects( tom, now,
|         [[denounced_word, denounced],
|          [cicero_word, cicero]])?

*** No
> 
> %%%%%%%%%%%%%%%%%%%%%%%%
> %% IDEAS_OBJECTS
> %%%%%%%%%%%%%%%%%%%%%%%%
> 
> %% Next should be FALSE
> 
> believes_nonsense_ideas_objects( tom, now,
|         [[tom_denounced_idea, denounced],
|          [tom_cicero_idea, cicero],
|          [tom_catiline_idea, catiline]])?

*** No
> 
> %% Next should be FALSE
> 
> believes_nonsense_ideas_objects( tom, now,
|         [[tom_denounced_idea, denounced],
|          [tom_santa_idea, santa],
|          [tom_catiline_idea, catiline]])?

*** No
> 
> %% Next should be FALSE
> 
> believes_nonsense_ideas_objects( tom, now,
|         [[tom_roman_idea, roman],
|          [tom_catiline_idea, catiline]])?

*** No
> 
> %% Next should be FALSE : NOTE tom_tully_idea S cicero
> 
> believes_nonsense_ideas_objects( tom, now,
|         [[tom_denounced_idea, denounced],
|          [tom_tully_idea, cicero],
|          [tom_catiline_idea, catiline]])?

*** No
> 
> %% Next should be FALSE -- wrong type
> 
> believes_nonsense_ideas_objects( tom, now,
|         [[tom_cicero_idea, cicero],
|          [tom_cicero_idea, cicero],
|          [tom_catiline_idea, catiline]])?

*** No
> 
> %% Next should be FALSE -- wrong type
> 
> believes_nonsense_ideas_objects( tom, now,
|         [[tom_denounced_idea, denounced],
|          [tom_cicero_idea, cicero],
|          [tom_denounced_idea, denounced]])?

*** No
> 
> %% Next should be FALSE -- wrong arity
> 
> believes_nonsense_ideas_objects( tom, now,
|         [[tom_denounced_idea, denounced],
|          [tom_cicero_idea, cicero]])?

*** No
> 
> %%%%%%%%%%%%%%%%%%%%%%%%
> %% WORDS_IDEAS_OBJECTS
> %%%%%%%%%%%%%%%%%%%%%%%%
> 
> %% Next should be FALSE
> 
> believes_nonsense_words_ideas_objects( tom, now,
|         [[denounced_word, tom_denounced_idea, denounced],
|          [cicero_word, tom_cicero_idea, cicero],
|          [catiline_word, tom_catiline_idea, catiline]])?

*** No
> 
> %% Next should be FALSE
> 
> believes_nonsense_words_ideas_objects( tom, now,
|         [[denounced_word, tom_denounced_idea, denounced],
|          [santa_word, tom_santa_idea, santa],
|          [catiline_word, tom_catiline_idea, catiline]])?

*** No
> 
> %% Next should be FALSE
> 
> believes_nonsense_words_ideas_objects( tom, now,
|         [[roman_word, tom_roman_idea, roman],
|          [catiline_word, tom_catiline_idea, catiline]])?

*** No
> 
> %% Next should be FALSE
> 
> believes_nonsense_words_ideas_objects( tom, now,
|         [[denounced_word, tom_denounced_idea, denounced],
|          [tully_word, tom_tully_idea, cicero],
|          [catiline_word, tom_catiline_idea, catiline]])?

*** No
> 
> %% Next should be FALSE -- wrong type
> 
> believes_nonsense_words_ideas_objects( tom, now,
|         [[cicero_word, tom_cicero_idea, cicero],
|          [cicero_word, tom_cicero_idea, cicero],
|          [catiline_word, tom_catiline_idea, catiline]])?

*** No
> 
> %% Next should be FALSE -- wrong type
> 
> believes_nonsense_words_ideas_objects( tom, now,
|         [[denounced_word, tom_denounced_idea, denounced],
|          [cicero_word, tom_cicero_word, cicero],
|          [denounced_word, tom_denounced_idea, denounced]])?

*** No
> 
> %% Next should be FALSE -- wrong arity
> 
> believes_nonsense_words_ideas_objects( tom, now,
|         [[denounced_word, tom_denounced_idea, denounced],
|          [cicero_word, tom_cicero_idea]])?

*** No
> 
> %% Next should be FALSE -- wrong rrrr relation for tully_word
> 
> believes_nonsense_words_ideas_objects( tom, now,
|         [[denounced_word, tom_denounced_idea, denounced],
|          [tully_word, tom_cicero_idea, cicero],
|          [catiline_word, tom_catiline_idea, catiline]])?

*** No
> 
> %% Next should be FALSE -- wrong rrrr relation for cicero_word
> 
> believes_nonsense_words_ideas_objects( tom, now,
|         [[denounced_word, tom_denounced_idea, denounced],
|          [cicero_word, tom_tully_idea, cicero],
|          [catiline_word, tom_catiline_idea, catiline]])?

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

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

*** No
> halt?