%% Copyright (C) 2017, 2019, 2020, 2021, 2022, 2024 %% Dennis J. Darland %% This file is part of darland's philosophy. %% Modified December 2021, and January 2022 %% for Whitehead's Process and Reality %% darland's philosophy is free software: %% you can redistribute it and/or modify %% it under the terms of the GNU General Public License %% as published by %% the Free Software Foundation, either version 3 of %% the License, or %% (at your option) any later version. %% darland's philosophy is distributed in the hope %% that it will be useful, %% but WITHOUT ANY WARRANTY; without even the %% implied warranty of %% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. %% See the %% GNU General Public License for more details. %% You should have received a copy of %% the GNU General Public License %% along with darland's philosophy. %% If not, see . %% Life database for use with predicates %% to simulate Dennis J. Darlands philosophy. %% Within a Whiteheadian Context %% Started Writing 1/4/2017 %% Major re-write starting 8/19/2019 %% %% Total rewite of what I started about 2007. %% %% Modified for Whitehead December 2021 %% common_facts_2017_0001.lf %% Facts primarily about understanding %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% conventions. %% There are actual occasions and eternal_objects. %% nexuus (I use for plural of nexus) are groups of actual %% occasions indicated by a defining characteristic. %% %% people, words, ideas, and other sorts of things are %% nexuus. %% %% Tom would be indicated by his defining characteristic. %% tom_dc %% A public word for Tom would be indicated by %% tom_word_dc %% Quine's idea of Tom would be indicated by %% quine_tom_idea_dc. %% qqqq is theoretically the only precicate needed. %% I also (for speed anc convenience use pos_qq and neg_qq). %% Is used mostly in rules. pos_qq states positive facts, %% and neg_qq states negative facts. %% rrrr, ssss, and tttt represent prehensions. %% rrrr( Type, Subject_dc, Time, %% A_word_dc, A_idea_dc). %% indicates that the Subject kas a prehrension of %% A_word_dc in prehension of A_idea_dc %% ssss( Type, Subject_dc, Time, %% A_idea_dc, A_object_dc). %% indicates that the Subject_dc has a prehrension of %% A_object_dc in prehension of A_idea_dc %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% qqqq(dynamic, actual_occasion)? % sort of like "events" qqqq(dynamic, eternal_object)? % sort of like "universals" qqqq(dynamic, defining_characteristic)? % a kind of universal qqqq(dynamic, subjective_aim)? % another kind of universal % qqqq(dynamic, relation)? % another kind of universal qqqq(dynamic, conceptual_feeling_words)? qqqq(dynamic, conceptual_feeling_in_ideas)? qqqq(dynamic, conceptual_feeling_objects)? qqqq(dynamic, conceptual_feeling_words_ideas)? qqqq(dynamic, conceptual_feeling_words_objects)? qqqq(dynamic, conceptual_feeling_ideas_objects)? qqqq(dynamic, conceptual_feeling_words_ideas_objects)? qqqq(eternal_object, X) :- qqqq(defining_characteristic, X). qqqq(eternal_object, X) :- qqqq(subjective_aim, X). qqqq(eternal_object, X) :- qqqq(relation, X). qqqq(nexus, Dc, N) :- qqqq(find_all, X, qqqq(refer, Dc, X), N). % some relations: qqqq(relation, unknown_relation001_rel). qqqq(relation, unknown_relation002_rel). qqqq(relation, unknown_relation003_rel). qqqq(relation, roman_rel). qqqq(relation, human_rel). qqqq(relation, mortal_rel). qqqq(relation, american_rel). qqqq(relation, denounced_rel). qqqq(relation, wrote_DeSenectute_rel). qqqq(relation, wet_rel). qqqq(subjective_aim, understanding_sa). % some representative actual equations - there would % actually be a very large (most likely infinite) number. % I am naming them to indicate the nexus % to which they belong. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% qqqq(actual_occasion, unknown_occasion00001). qqqq(actual_occasion, unknown_occasion00002). qqqq(actual_occasion, unknown_occasion00003). qqqq(actual_occasion, unknown_occasion00004). qqqq(actual_occasion, unknown_occasion00005). qqqq(actual_occasion, unknown_occasion00006). qqqq(actual_occasion, unknown_occasion00007). qqqq(actual_occasion, unknown_occasion00008). qqqq(actual_occasion, unknown_occasion00009). qqqq(actual_occasion, unknown_occasion00010). qqqq(actual_occasion, unknown_occasion00011). qqqq(actual_occasion, unknown_occasion00012). qqqq(actual_occasion, cat_class_word00001). qqqq(actual_occasion, cat_class_word00002). qqqq(actual_occasion, cat_class_word00003). qqqq(actual_occasion, cat_class_word00004). qqqq(actual_occasion, cat_class_word00005). qqqq(actual_occasion, human_class00001). qqqq(actual_occasion, human_class00002). qqqq(actual_occasion, human_class00003). qqqq(actual_occasion, human_class00004). qqqq(actual_occasion, human_class00005). qqqq(actual_occasion, cat_class00001). qqqq(actual_occasion, cat_class00002). qqqq(actual_occasion, cat_class00003). qqqq(actual_occasion, cat_class00004). qqqq(actual_occasion, cat_class00005). qqqq(actual_occasion, human_class_word00001). qqqq(actual_occasion, human_class_word00002). qqqq(actual_occasion, human_class_word00003). qqqq(actual_occasion, human_class_word00004). qqqq(actual_occasion, human_class_word00005). qqqq(actual_occasion, tom_cat_class_idea00001). qqqq(actual_occasion, tom_cat_class_idea00002). qqqq(actual_occasion, tom_cat_class_idea00003). qqqq(actual_occasion, tom_cat_class_idea00004). qqqq(actual_occasion, tom_cat_class_idea00005). qqqq(actual_occasion, tom_human_class_idea00001). qqqq(actual_occasion, tom_human_class_idea00002). qqqq(actual_occasion, tom_human_class_idea00003). qqqq(actual_occasion, tom_human_class_idea00004). qqqq(actual_occasion, tom_human_class_idea00005). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% qqqq(actual_occasion, roman_word00001). qqqq(actual_occasion, roman_word00002). qqqq(actual_occasion, roman_word00003). qqqq(actual_occasion, roman_word00004). qqqq(actual_occasion, roman_word00005). qqqq(actual_occasion, human_word00001). qqqq(actual_occasion, human_word00002). qqqq(actual_occasion, human_word00003). qqqq(actual_occasion, human_word00004). qqqq(actual_occasion, human_word00005). qqqq(actual_occasion, mortal_word00001). qqqq(actual_occasion, mortal_word00002). qqqq(actual_occasion, mortal_word00003). qqqq(actual_occasion, mortal_word00004). qqqq(actual_occasion, mortal_word00005). qqqq(actual_occasion, american_word00001). qqqq(actual_occasion, american_word00002). qqqq(actual_occasion, american_word00003). qqqq(actual_occasion, american_word00004). qqqq(actual_occasion, american_word00005). qqqq(actual_occasion, denounced_word00001). qqqq(actual_occasion, denounced_word00002). qqqq(actual_occasion, denounced_word00003). qqqq(actual_occasion, denounced_word00004). qqqq(actual_occasion, denounced_word00005). qqqq(actual_occasion, wrote_DeSenectute_word00001). qqqq(actual_occasion, wrote_DeSenectute_word00002). qqqq(actual_occasion, wrote_DeSenectute_word00003). qqqq(actual_occasion, wrote_DeSenectute_word00004). qqqq(actual_occasion, wrote_DeSenectute_word00005). qqqq(actual_occasion, tom_roman_idea00001). qqqq(actual_occasion, tom_roman_idea00002). qqqq(actual_occasion, tom_roman_idea00003). qqqq(actual_occasion, tom_roman_idea00004). qqqq(actual_occasion, tom_roman_idea00005). qqqq(actual_occasion, quine_roman_idea00001). qqqq(actual_occasion, quine_roman_idea00002). qqqq(actual_occasion, quine_roman_idea00003). qqqq(actual_occasion, quine_roman_idea00004). qqqq(actual_occasion, quine_roman_idea00005). qqqq(actual_occasion, tom_human_idea00001). qqqq(actual_occasion, tom_human_idea00002). qqqq(actual_occasion, tom_human_idea00003). qqqq(actual_occasion, tom_human_idea00004). qqqq(actual_occasion, tom_human_idea00005). qqqq(actual_occasion, quine_human_idea00001). qqqq(actual_occasion, quine_human_idea00002). qqqq(actual_occasion, quine_human_idea00003). qqqq(actual_occasion, quine_human_idea00004). qqqq(actual_occasion, quine_human_idea00005). qqqq(actual_occasion, tom_mortal_idea00001). qqqq(actual_occasion, tom_mortal_idea00002). qqqq(actual_occasion, tom_mortal_idea00003). qqqq(actual_occasion, tom_mortal_idea00004). qqqq(actual_occasion, tom_mortal_idea00005). qqqq(actual_occasion, quine_mortal_idea00001). qqqq(actual_occasion, quine_mortal_idea00002). qqqq(actual_occasion, quine_mortal_idea00003). qqqq(actual_occasion, quine_mortal_idea00004). qqqq(actual_occasion, quine_mortal_idea00005). qqqq(actual_occasion, tom_american_idea00001). qqqq(actual_occasion, tom_american_idea00002). qqqq(actual_occasion, tom_american_idea00003). qqqq(actual_occasion, tom_american_idea00004). qqqq(actual_occasion, tom_american_idea00005). qqqq(actual_occasion, quine_american_idea00001). qqqq(actual_occasion, quine_american_idea00002). qqqq(actual_occasion, quine_american_idea00003). qqqq(actual_occasion, quine_american_idea00004). qqqq(actual_occasion, quine_american_idea00005). qqqq(actual_occasion, tom_denounced_idea00001). qqqq(actual_occasion, tom_denounced_idea00002). qqqq(actual_occasion, tom_denounced_idea00003). qqqq(actual_occasion, tom_denounced_idea00004). qqqq(actual_occasion, tom_denounced_idea00005). qqqq(actual_occasion, tom_wrote_DeSenectitute_idea00004). qqqq(actual_occasion, tom_wrote_DeSenectitute_idea00005). qqqq(actual_occasion, quine_denounced_idea00001). qqqq(actual_occasion, quine_denounced_idea00002). qqqq(actual_occasion, quine_denounced_idea00003). qqqq(actual_occasion, quine_denounced_idea00004). qqqq(actual_occasion, quine_denounced_idea00005). qqqq(actual_occasion, quine_wrote_DeSenectute_idea00001). qqqq(actual_occasion, quine_wrote_DeSenectute_idea00002). qqqq(actual_occasion, quine_wrote_DeSenectute_idea00003). qqqq(actual_occasion, quine_wrote_DeSenectute_idea00004). qqqq(actual_occasion, quine_wrote_DeSenectute_idea00005). qqqq(actual_occasion, quine00001). qqqq(actual_occasion, quine00002). qqqq(actual_occasion, quine00003). qqqq(actual_occasion, quine00004). qqqq(actual_occasion, quine00005). qqqq(actual_occasion, quine_word00001). qqqq(actual_occasion, quine_word00002). qqqq(actual_occasion, quine_word00003). qqqq(actual_occasion, quine_word00004). qqqq(actual_occasion, quine_word00005). qqqq(actual_occasion, santa_word00001). qqqq(actual_occasion, santa_word00002). qqqq(actual_occasion, santa_word00003). qqqq(actual_occasion, santa_word00004). qqqq(actual_occasion, santa_word00005). qqqq(actual_occasion, tom00001). qqqq(actual_occasion, tom00002). qqqq(actual_occasion, tom00003). qqqq(actual_occasion, tom00004). qqqq(actual_occasion, tom00005). qqqq(actual_occasion, tom_word00001). qqqq(actual_occasion, tom_word00002). qqqq(actual_occasion, tom_word00003). qqqq(actual_occasion, tom_word00004). qqqq(actual_occasion, tom_word00005). qqqq(actual_occasion, cicero00001). qqqq(actual_occasion, cicero00002). qqqq(actual_occasion, cicero00003). qqqq(actual_occasion, cicero00004). qqqq(actual_occasion, cicero00005). qqqq(actual_occasion, cicero_word00001). qqqq(actual_occasion, cicero_word00002). qqqq(actual_occasion, cicero_word00003). qqqq(actual_occasion, cicero_word00004). qqqq(actual_occasion, cicero_word00005). qqqq(actual_occasion, tom_cicero_idea00001). qqqq(actual_occasion, tom_cicero_idea00002). qqqq(actual_occasion, tom_cicero_idea00003). qqqq(actual_occasion, tom_tully_idea00004). qqqq(actual_occasion, tom_tully_idea00005). qqqq(actual_occasion, tom_tully_idea_idea00001). qqqq(actual_occasion, tom_tully_idea_idea00002). qqqq(actual_occasion, tom_tully_idea_idea00003). qqqq(actual_occasion, tom_tully_idea_idea00004). qqqq(actual_occasion, tom_tully_idea_idea00005). qqqq(actual_occasion, tom_santa_idea00001). qqqq(actual_occasion, tom_santa_idea00002). qqqq(actual_occasion, tom_santa_idea00003). qqqq(actual_occasion, tom_santa_idea00004). qqqq(actual_occasion, tom_santa_idea00005). qqqq(actual_occasion, quine_santa_idea00001). qqqq(actual_occasion, quine_santa_idea00002). qqqq(actual_occasion, quine_santa_idea00003). qqqq(actual_occasion, quine_santa_idea00004). qqqq(actual_occasion, quine_santa_idea00005). qqqq(actual_occasion, quine_cicero_idea00001). qqqq(actual_occasion, quine_cicero_idea00002). qqqq(actual_occasion, quine_cicero_idea00003). qqqq(actual_occasion, quine_cicero_idea00004). qqqq(actual_occasion, quine_cicero_idea00005). qqqq(actual_occasion, quine_tully_idea00001). qqqq(actual_occasion, quine_tully_idea00002). qqqq(actual_occasion, quine_tully_idea00003). qqqq(actual_occasion, quine_tully_idea00004). qqqq(actual_occasion, quine_tully_idea00005). qqqq(actual_occasion, catiline00001). qqqq(actual_occasion, catiline00002). qqqq(actual_occasion, catiline00003). qqqq(actual_occasion, catiline00004). qqqq(actual_occasion, catiline00005). qqqq(actual_occasion, catiline_word00001). qqqq(actual_occasion, catiline_word00002). qqqq(actual_occasion, catiline_word00003). qqqq(actual_occasion, catiline_word00004). qqqq(actual_occasion, catiline_word00005). qqqq(actual_occasion, tom_catiline_idea00001). qqqq(actual_occasion, tom_catiline_idea00002). qqqq(actual_occasion, tom_catiline_idea00003). qqqq(actual_occasion, tom_catiline_idea00004). qqqq(actual_occasion, tom_catiline_idea00005). qqqq(actual_occasion, quine_catiline_idea00001). qqqq(actual_occasion, quine_catiline_idea00002). qqqq(actual_occasion, quine_catiline_idea00003). qqqq(actual_occasion, quine_catiline_idea00004). qqqq(actual_occasion, quine_catiline_idea00005). qqqq(actual_occasion, russell00001). qqqq(actual_occasion, russell00002). qqqq(actual_occasion, russell00003). qqqq(actual_occasion, russell00004). qqqq(actual_occasion, russell00005). qqqq(actual_occasion, russell_word00001). qqqq(actual_occasion, russell_word00002). qqqq(actual_occasion, russell_word00003). qqqq(actual_occasion, russell_word00004). qqqq(actual_occasion, russell_word00005). % some defining characteristics % (eternal objects or universals) qqqq(defining_characteristic, cat_class_dc). qqqq(defining_characteristic, human_class_dc). qqqq(defining_characteristic, rosie_dc). qqqq(defining_characteristic, misty_dc). qqqq(defining_characteristic, quine_dc). qqqq(defining_characteristic, tom_dc). qqqq(defining_characteristic, cicero_dc). qqqq(defining_characteristic, tom_tully_dc). qqqq(defining_characteristic, tom_cicero_dc). qqqq(defining_characteristic, tully_dc). qqqq(defining_characteristic, cicero_word_dc). qqqq(defining_characteristic, santa_word_dc). qqqq(defining_characteristic, catiline_word_dc). qqqq(defining_characteristic, tom_cicero_idea_dc). qqqq(defining_characteristic, tom_tully_idea_dc). qqqq(defining_characteristic, quine_cicero_idea_dc). qqqq(defining_characteristic, quine_tully_idea_dc). qqqq(defining_characteristic, tom_catiline_idea_dc). qqqq(defining_characteristic, quine_catiline_idea_dc). qqqq(defining_characteristic, tom_santa_idea_dc). qqqq(defining_characteristic, quine_santa_idea_dc). qqqq(defining_characteristic, catiline_dc). qqqq(defining_characteristic, catiline_word_dc). qqqq(defining_characteristic, tom_catiline_idea_dc). qqqq(defining_characteristic, quine_catiline_idea_dc). qqqq(defining_characteristic, tully_word_dc). qqqq(defining_characteristic, quine_tully_idea_dc). qqqq(defining_characteristic, russell_dc). qqqq(defining_characteristic, roman_word_dc). qqqq(defining_characteristic, tom_roman_idea_dc). qqqq(defining_characteristic, quine_roman_idea_dc). % some nexuus are persons qqqq(personal_order, quine_dc). qqqq(personal_order, tom_dc). qqqq(personal_order, cicero_dc). qqqq(personal_order, catiline_dc). qqqq(personal_order, tully_dc). qqqq(personal_order, russell_dc). % some are societies % (Whitehead used this word - A TV would be a society. qqqq(social_order, quine_dc). qqqq(social_order, tom_dc). qqqq(social_order, cicero_dc). qqqq(social_order, catiline_dc). qqqq(social_order, tully_dc). qqqq(social_order, russell_dc). % connect the defining chatracteristics to % their actual occasions. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% qqqq(refer, [misty_dc, misty00001]). qqqq(refer, [misty_dc, misty00002]). qqqq(refer, [misty_dc, misty00003]). qqqq(refer, [misty_dc, misty00004]). qqqq(refer, [misty_dc, misty00005]). qqqq(refer, [rosie_dc, rosie00001]). qqqq(refer, [rosie_dc, rosie00002]). qqqq(refer, [rosie_dc, rosie00003]). qqqq(refer, [rosie_dc, rosie00004]). qqqq(refer, [rosie_dc, rosie00005]). qqqq(refer, [misty_word_dc, misty_word00001]). qqqq(refer, [misty_word_dc, misty_word00002]). qqqq(refer, [misty_word_dc, misty_word00003]). qqqq(refer, [misty_word_dc, misty_word00004]). qqqq(refer, [misty_word_dc, misty_word00005]). qqqq(refer, [rosie_word_dc, rosie_word00001]). qqqq(refer, [rosie_word_dc, rosie_word00002]). qqqq(refer, [rosie_word_dc, rosie_word00003]). qqqq(refer, [rosie_word_dc, rosie_word00004]). qqqq(refer, [rosie_word_dc, rosie_word00005]). qqqq(refer, [tom_misty_idea_dc, tom_misty_idea00001]). qqqq(refer, [tom_misty_idea_dc, tom_misty_idea00002]). qqqq(refer, [tom_misty_idea_dc, tom_misty_idea00003]). qqqq(refer, [tom_misty_idea_dc, tom_misty_idea00004]). qqqq(refer, [tom_misty_idea_dc, tom_misty_idea00005]). qqqq(refer, [tom_rosie_idea_dc, tom_rosie_idea00001]). qqqq(refer, [tom_rosie_idea_dc, tom_rosie_idea00002]). qqqq(refer, [tom_rosie_idea_dc, tom_rosie_idea00003]). qqqq(refer, [tom_rosie_idea_dc, tom_rosie_idea00004]). qqqq(refer, [tom_rosie_idea_dc, tom_rosie_idea00005]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% qqqq(refer, [cat_class_dc, cat_class00001]). qqqq(refer, [cat_class_dc, cat_class00002]). qqqq(refer, [cat_class_dc, cat_class00003]). qqqq(refer, [cat_class_dc, cat_class00004]). qqqq(refer, [cat_class_dc, cat_class00005]). qqqq(refer, [human_class_dc, human_class00001]). qqqq(refer, [human_class_dc, human_class00002]). qqqq(refer, [human_class_dc, human_class00003]). qqqq(refer, [human_class_dc, human_class00004]). qqqq(refer, [human_class_dc, human_class00005]). qqqq(refer, [cat_class_word_dc, cat_class_word00001]). qqqq(refer, [cat_class_word_dc, cat_class_word00002]). qqqq(refer, [cat_class_word_dc, cat_class_word00003]). qqqq(refer, [cat_class_word_dc, cat_class_word00004]). qqqq(refer, [cat_class_word_dc, cat_class_word00005]). qqqq(refer, [human_class_word_dc, human_class_word00001]). qqqq(refer, [human_class_word_dc, human_class_word00002]). qqqq(refer, [human_class_word_dc, human_class_word00003]). qqqq(refer, [human_class_word_dc, human_class_word00004]). qqqq(refer, [human_class_word_dc, human_class_word00005]). qqqq(refer, [tom_cat_class_idea_dc, tom_cat_class_idea00001]). qqqq(refer, [tom_cat_class_idea_dc, tom_cat_class_idea00002]). qqqq(refer, [tom_cat_class_idea_dc, tom_cat_class_idea00003]). qqqq(refer, [tom_cat_class_idea_dc, tom_cat_class_idea00004]). qqqq(refer, [tom_cat_class_idea_dc, tom_cat_class_idea00005]). qqqq(refer, [tom_human_class_idea_dc, tom_human_class_idea00001]). qqqq(refer, [tom_human_class_idea_dc, tom_human_class_idea00002]). qqqq(refer, [tom_human_class_idea_dc, tom_human_class_idea00003]). qqqq(refer, [tom_human_class_idea_dc, tom_human_class_idea00004]). qqqq(refer, [tom_human_class_idea_dc, tom_human_class_idea00005]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% qqqq(refer, [quine_dc, quine00001]). qqqq(refer, [quine_dc, quine00002]). qqqq(refer, [quine_dc, quine00003]). qqqq(refer, [quine_dc, quine00004]). qqqq(refer, [quine_dc, quine00005]). qqqq(refer, [tom_roman_idea_dc, tom_roman_idea00001]). qqqq(refer, [tom_roman_idea_dc, tom_roman_idea00002]). qqqq(refer, [tom_roman_idea_dc, tom_roman_idea00003]). qqqq(refer, [tom_roman_idea_dc, tom_roman_idea00004]). qqqq(refer, [tom_roman_idea_dc, tom_roman_idea00005]). qqqq(refer, [tom_denounced_idea_dc, tom_denounced_idea00001]). qqqq(refer, [tom_denounced_idea_dc, tom_denounced_idea00002]). qqqq(refer, [tom_denounced_idea_dc, tom_denounced_idea00003]). qqqq(refer, [tom_denounced_idea_dc, tom_denounced_idea00004]). qqqq(refer, [tom_denounced_idea_dc, tom_denounced_idea00005]). qqqq(refer, [quine_denounced_idea_dc, quine_denounced_idea00001]). qqqq(refer, [quine_denounced_idea_dc, quine_denounced_idea00002]). qqqq(refer, [quine_denounced_idea_dc, quine_denounced_idea00003]). qqqq(refer, [quine_denounced_idea_dc, quine_denounced_idea00004]). qqqq(refer, [quine_denounced_idea_dc, quine_denounced_idea00005]). qqqq(refer, [tom_wrote_DeSenectute_idea_dc, tom_wrote_DeSenectute_idea00001]). qqqq(refer, [tom_wrote_DeSenectute_idea_dc, tom_wrote_DeSnectute_idea00002]). qqqq(refer, [tom_wrote_DeSenectute_idea_dc, tom_wrote_DeSenectute_idea00003]). qqqq(refer, [tom_wrote_DeSenectute_idea_dc, tom_wrote_DeSenectute_idea00004]). qqqq(refer, [tom_wrote_DeSenectute_idea_dc, tom_wrote_DeSenectute_idea00005]). qqqq(refer, [quine_wrote_DeSenectute_idea_dc, quine_wrote_DeSenectute_idea00001]). qqqq(refer, [quine_wrote_DeSenectute_idea_dc, quine_wrote_DeSenectute_idea00002]). qqqq(refer, [quine_wrote_DeSenectute_idea_dc, quine_wrote_DeSenectute_idea00003]). qqqq(refer, [quine_wrote_DeSenectute_idea_dc, quine_wrote_DeSenectute_idea00004]). qqqq(refer, [quine_wrote_DeSenectute_idea_dc, quine_wrote_DeSenectute_idea00005]). qqqq(refer, [tom_catiline_idea_dc, tom_catiline_idea00001]). qqqq(refer, [tom_catiline_idea_dc, tom_catiline_idea00002]). qqqq(refer, [tom_catiline_idea_dc, tom_catiline_idea00003]). qqqq(refer, [tom_catiline_idea_dc, tom_catiline_idea00004]). qqqq(refer, [tom_catiline_idea_dc, tom_catiline_idea00005]). qqqq(refer, [quine_catiline_idea_dc, quine_catiline_idea00001]). qqqq(refer, [quine_catiline_idea_dc, quine_catiline_idea00002]). qqqq(refer, [quine_catiline_idea_dc, quine_catiline_idea00003]). qqqq(refer, [quine_catiline_idea_dc, quine_catiline_idea00004]). qqqq(refer, [quine_catiline_idea_dc, quine_catiline_idea00005]). qqqq(refer, [tom_dc, tom00001]). qqqq(refer, [tom_dc, tom00002]). qqqq(refer, [tom_dc, tom00003]). qqqq(refer, [tom_dc, tom00004]). qqqq(refer, [tom_dc, tom00005]). qqqq(refer, [quine_dc, quine00001]). qqqq(refer, [quine_dc, quine00002]). qqqq(refer, [quine_dc, quine00003]). qqqq(refer, [quine_dc, quine00004]). qqqq(refer, [quine_dc, quine00005]). qqqq(refer, [cicero_dc, cicero00001]). qqqq(refer, [cicero_dc, cicero00002]). qqqq(refer, [cicero_dc, cicero00003]). qqqq(refer, [cicero_dc, cicero00004]). qqqq(refer, [cicero_dc, cicero00005]). qqqq(refer, [tom_cicero_dc, cicero00001]). qqqq(refer, [tom_cicero_dc, cicero00002]). qqqq(refer, [cicero_dc, cicero00003]). qqqq(refer, [tom_tully_dc, cicero00004]). qqqq(refer, [tom_tully_dc, cicero00005]). qqqq(refer, [tully_dc, cicero00001]). qqqq(refer, [tully_dc, cicero00002]). qqqq(refer, [tully_dc, cicero00003]). qqqq(refer, [tully_dc, cicero00004]). qqqq(refer, [tully_dc, cicero00005]). qqqq(refer, [cicero_dc, cicero00001]). qqqq(refer, [cicero_dc, cicero00002]). qqqq(refer, [cicero_dc, cicero00003]). qqqq(refer, [cicero_dc, cicero00004]). qqqq(refer, [cicero_dc, cicero00005]). qqqq(refer, [cicero_word_dc, cicero_word00001]). qqqq(refer, [cicero_word_dc, cicero_word00002]). qqqq(refer, [cicero_word_dc, cicero_word00003]). qqqq(refer, [cicero_word_dc, cicero_word00004]). qqqq(refer, [cicero_word_dc, cicero_word00005]). qqqq(refer, [santa_word_dc, santa_word00001]). qqqq(refer, [santa_word_dc, santa_word00002]). qqqq(refer, [santa_word_dc, santa_word00003]). qqqq(refer, [santa_word_dc, santa_word00004]). qqqq(refer, [santa_word_dc, santa_word00005]). qqqq(refer, [tom_cicero_idea_dc, tom_cicero_idea00001]). qqqq(refer, [tom_cicero_idea_dc, tom_cicero_idea00002]). qqqq(refer, [tom_tully_idea_dc, tom_tully_idea00004]). qqqq(refer, [tom_tully_idea_dc, tom_tully_idea00005]). qqqq(refer, [tom_santa_idea_dc, tom_santa_idea00001]). qqqq(refer, [tom_santa_idea_dc, tom_santa_idea00002]). qqqq(refer, [tom_santa_idea_dc, tom_santa_idea00003]). qqqq(refer, [tom_santa_idea_dc, tom_santa_idea00004]). qqqq(refer, [tom_santa_idea_dc, tom_santa_idea00005]). qqqq(refer, [quine_santa_idea_dc, quine_santa_idea00001]). qqqq(refer, [quine_santa_idea_dc, quine_santa_idea00002]). qqqq(refer, [quine_santa_idea_dc, quine_santa_idea00003]). qqqq(refer, [quine_santa_idea_dc, quine_santa_idea00004]). qqqq(refer, [quine_santa_idea_dc, quine_santa_idea00005]). qqqq(refer, [quine_cicero_idea_dc, quine_cicero_idea00001]). qqqq(refer, [quine_cicero_idea_dc, quine_cicero_idea00002]). qqqq(refer, [quine_cicero_idea_dc, quine_cicero_idea00003]). qqqq(refer, [quine_cicero_idea_dc, quine_cicero_idea00004]). qqqq(refer, [quine_cicero_idea_dc, quine_cicero_idea00005]). qqqq(refer, [quine_cicero_idea_dc, quine_cicero_idea00003]). qqqq(refer, [catiline_dc, catiline00001]). qqqq(refer, [catiline_dc, catiline00002]). qqqq(refer, [catiline_dc, catiline00003]). qqqq(refer, [catiline_dc, catiline00004]). qqqq(refer, [catiline_dc, catiline00005]). qqqq(refer, [catiline_word_dc, word_catiline00001]). qqqq(refer, [catiline_word_dc, word_catiline00002]). qqqq(refer, [catiline_word_dc, word_catiline00003]). qqqq(refer, [catiline_word_dc, word_catiline00004]). qqqq(refer, [catiline_word_dc, word_catiline00005]). qqqq(refer, [roman_word_dc, word_roman00001]). qqqq(refer, [roman_word_dc, word_roman00002]). qqqq(refer, [roman_word_dc, word_roman00003]). qqqq(refer, [roman_word_dc, word_roman00004]). qqqq(refer, [roman_word_dc, word_roman00005]). qqqq(refer, [tom_catiline_idea_dc, tom_catiline_idea00001]). qqqq(refer, [tom_catiline_idea_dc, tom_catiline_idea00002]). qqqq(refer, [tom_catiline_idea_dc, tom_catiline_idea00003]). qqqq(refer, [tom_catiline_idea_dc, tom_catiline_idea00004]). qqqq(refer, [tom_catiline_idea_dc, tom_catiline_idea00005]). qqqq(refer, [quine_roman_idea_dc, quine_roman_idea00001]). qqqq(refer, [quine_roman_idea_dc, quine_roman_idea00002]). qqqq(refer, [quine_roman_idea_dc, quine_roman_idea00003]). qqqq(refer, [quine_roman_idea_dc, quine_roman_idea00004]). qqqq(refer, [quine_roman_idea_dc, quine_roman_idea00005]). qqqq(refer, [quine_catiline_idea_dc, quine_catiline_idea00001]). qqqq(refer, [quine_catiline_idea_dc, quine_catiline_idea00002]). qqqq(refer, [quine_catiline_idea_dc, quine_catiline_idea00003]). qqqq(refer, [quine_catiline_idea_dc, quine_catiline_idea00004]). qqqq(refer, [quine_catiline_idea_dc, quine_catiline_idea00005]). qqqq(refer, [tully_dc, cicero_00001]). qqqq(refer, [tully_dc, cicero_00002]). qqqq(refer, [tully_dc, cicero_00003]). qqqq(refer, [tully_dc, cicero_00004]). qqqq(refer, [tully_dc, cicero_00005]). qqqq(refer, [russell_dc, russell_00001]). qqqq(refer, [russell_dc, russell_00002]). qqqq(refer, [russell_dc, russell_00003]). qqqq(refer, [russell_dc, russell_00004]). qqqq(refer, [russell_dc, russell_00005]). qqqq(refer, [cicero_dc, cicero_00001]). qqqq(refer, [cicero_dc, cicero_00002]). qqqq(refer, [cicero_dc, cicero_00003]). qqqq(refer, [cicero_dc, cicero_00004]). qqqq(refer, [cicero_dc, cicero_00005]). qqqq(refer, [tully_word_dc, word_tully00001]). qqqq(refer, [tully_word_dc, word_tully00002]). qqqq(refer, [tully_word_dc, word_tully00003]). qqqq(refer, [tully_word_dc, word_tully00004]). qqqq(refer, [tully_word_dc, word_tully00005]). qqqq(refer, [quine_tully_idea_dc, quine_tully_idea00001]). qqqq(refer, [quine_tully_idea_dc, quine_tully_idea00002]). qqqq(refer, [quine_tully_idea_dc, quine_tully_idea00003]). qqqq(refer, [quine_tully_idea_dc, quine_tully_idea00004]). qqqq(refer, [quine_tully_idea_dc, quine_tully_idea00005]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% qqqq(rrrr, tom_dc, now, cicero_word_dc, tom_cicero_idea_dc). qqqq(rrrr, tom_dc, now, tully_word_dc, tom_tully_idea_dc). qqqq(rrrr, tom_dc, now, santa_word_dc, tom_santa_idea_dc). qqqq(rrrr, tom_dc, now, catiline_word_dc, tom_catiline_idea_dc). qqqq(rrrr, tom_dc, now, quine_word_dc, tom_quine_idea_dc). qqqq(rrrr, tom_dc, now, tom_word_dc, tom_tom_idea_dc). qqqq(rrrr, tom_dc, now, russell_word_dc, tom_russell_idea_dc). qqqq(rrrr, tom_dc, now, wrote_DeSenectute_word_dc, tom_wrote_DeSenectute_idea_dc). qqqq(rrrr, tom_dc, now, denounced_word_dc, tom_denounced_idea_dc). qqqq(rrrr, tom_dc, now, roman_word_dc, tom_roman_idea_dc). qqqq(rrrr, tom_dc, now, human_word_dc, tom_human_idea_dc). qqqq(rrrr, tom_dc, now, american_word_dc, tom_american_idea_dc). qqqq(rrrr, tom_dc, now, mortal_word_dc, tom_mortal_idea_dc). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% qqqq(rrrr, quine_dc, now, cicero_word_dc, quine_cicero_idea_dc). qqqq(rrrr, quine_dc, now, tully_word_dc, quine_tully_idea_dc). qqqq(rrrr, quine_dc, now, santa_word_dc, quine_santa_idea_dc). qqqq(rrrr, quine_dc, now, catiline_word_dc, quine_catiline_idea_dc). qqqq(rrrr, quine_dc, now, quine_word_dc, quine_quine_idea_dc). qqqq(rrrr, quine_dc, now, tom_word_dc, quine_tom_idea_dc). qqqq(rrrr, quine_dc, now, russell_word_dc, quine_russell_idea_dc). qqqq(rrrr, quine_dc, now, wrote_DeSenectute_word_dc, quine_wrote_DeSenectute_idea_dc). qqqq(rrrr, quine_dc, now, denounced_word_dc, quine_denounced_idea_dc). qqqq(rrrr, quine_dc, now, roman_word_dc, quine_roman_idea_dc). qqqq(rrrr, quine_dc, now, human_word_dc, quine_human_idea_dc). qqqq(rrrr, quine_dc, now, american_word_dc, quine_american_idea_dc). qqqq(rrrr, quine_dc, now, mortal_word_dc, quine_mortal_idea_dc). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% ssss( Type, Subject, Time, A_idea, A_object) %% %% there are two ideas and defining characteristics %% for the same person - cicero (tully) %% %% The two defining characteristics relate to the same %% Nexus. WildLIFE (and prolog) does not permit %% an actual occasion to have 2 names. %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% qqqq(ssss, tom_dc, now, tom_tom_idea_dc, tom_dc). % qqqq(ssss, tom_dc, now, tom_santa_idea_dc, santa_dc). qqqq(ssss, tom_dc, now, tom_russell_idea_dc, russell_dc). qqqq(ssss, tom_dc, now, tom_quine_idea_dc, quine_dc). qqqq(ssss, quine_dc, now, quine_tom_idea_dc, tom_dc). qqqq(ssss, tom_dc, now, tom_cicero_idea_dc, tom_cicero_dc). qqqq(ssss, tom_dc, now, tom_tully_idea_dc, tom_tully_dc). qqqq(ssss, tom_dc, now, tom_catiline_idea_dc, catiline_dc). qqqq(ssss, quine_dc, now, quine_catiline_idea_dc, catiline_dc). qqqq(ssss, tom_dc, now, tom_denounced_idea_dc, denounced_rel). qqqq(ssss, tom_dc, now, tom_wrote_DeSenectute_idea_dc, wrote_DeSenectute_rel). qqqq(ssss, tom_dc, now, tom_human_idea_dc, human_rel). qqqq(ssss, tom_dc, now, tom_mortal_idea_dc, mortal_rel). qqqq(ssss, tom_dc, now, tom_roman_idea_dc, roman_rel). qqqq(ssss, tom_dc, now, tom_american_idea_dc, american_rel). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% qqqq(ssss, quine_dc, now, quine_russell_idea_dc, russell_dc). qqqq(ssss, quine_dc, now, quine_cicero_idea_dc, cicero_dc). qqqq(ssss, quine_dc, now, quine_tully_idea_dc, tully_dc). qqqq(ssss, quine_dc, now, quine_quine_idea_dc, quine_dc). qqqq(ssss, quine_dc, now, quine_catiline_idea_dc, catiline_dc). qqqq(ssss, quine_dc, now, quine_denounced_idea_dc, denounced_rel). qqqq(ssss, quine_dc, now, quine_wrote_DeSenectute_idea_dc, wrote_DeSenectute_rel). qqqq(ssss, quine_dc, now, quine_human_idea_dc, human_rel). qqqq(ssss, quine_dc, now, quine_mortal_idea_dc, mortal_rel). qqqq(ssss, quine_dc, now, quine_roman_idea_dc, roman_rel). qqqq(ssss, quine_dc, now, quine_american_idea_dc, american_rel). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% qqqq(idea_of, quine_dc, quine_denounced_idea_dc). qqqq(idea_of, quine_dc, quine_cicero_idea_dc). qqqq(idea_of, quine_dc, quine_catiline_idea_dc). qqqq(idea_of, quine_dc, quine_tully_idea_dc). qqqq(idea_of, tom_dc, tom_santa_idea_dc). qqqq(idea_of, tom_dc, tom_denounced_idea_dc). qqqq(idea_of, tom_dc, tom_cicero_idea_dc). qqqq(idea_of, tom_dc, tom_catiline_idea_dc). qqqq(idea_of, tom_dc, tom_tully_idea_dc). qqqq(idea_of, tom_dc, tom_quine_idea_dc). qqqq(idea_of, tom_dc, tom_tom_idea_dc). qqqq(idea_of, tom_dc, tom_russell_idea_dc). qqqq(idea_of, tom_dc, tom_wrote_DeSenectute_idea_dc). qqqq(idea_of, tom_dc, tom_roman_idea_dc). qqqq(idea_of, tom_dc, tom_human_idea_dc). qqqq(idea_of, tom_dc, tom_american_idea_dc). qqqq(idea_of, tom_dc, tom_mortal_idea_dc). qqqq(idea_of, quine_dc, quine_santa_idea_dc). qqqq(idea_of, quine_dc, quine_quine_idea_dc). qqqq(idea_of, quine_dc, quine_tom_idea_dc). qqqq(idea_of, quine_dc, quine_russell_idea_dc). qqqq(idea_of, quine_dc, quine_wrote_DeSenectute_idea_dc). qqqq(idea_of, quine_dc, quine_roman_idea_dc). qqqq(idea_of, quine_dc, quine_human_idea_dc). qqqq(idea_of, quine_dc, quine_american_idea_dc). qqqq(idea_of, quine_dc, quine_mortal_idea_dc). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% There are several "understands" relations %% defined in terms of the words and ideas. %% This solves a problem that some philosophers %% have if a sentence was never %% uttered. I only require that there was an %% relation_idea and ideas of objects. %% They never even need to be related or believed. %% Only ideas have arities and types. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% qqqq(arity_idea, tom_denounced_idea_dc, 2). qqqq(arity_idea, tom_wrote_DeSenectute_idea_dc, 1). qqqq(arity_idea, tom_human_idea_dc, 1). qqqq(arity_idea, tom_mortal_idea_dc, 1). qqqq(arity_idea, tom_roman_idea_dc, 1). qqqq(arity_idea, tom_american_idea_dc, 1). qqqq(type_idea, tom_denounced_idea_dc, 1). qqqq(type_idea, tom_wrote_DeSenectute_idea_dc, 1). qqqq(type_idea, tom_human_idea_dc, 1). qqqq(type_idea, tom_mortal_idea_dc, 1). qqqq(type_idea, tom_roman_idea_dc, 1). qqqq(type_idea, tom_american_idea_dc, 1). qqqq(type_idea, tom_cicero_idea_dc, 0). qqqq(type_idea, tom_tully_idea_dc, 0). qqqq(type_idea, tom_catiline_idea_dc, 0). qqqq(type_idea, tom_quine_idea_dc, 0). qqqq(type_idea, tom_tom_idea_dc, 0). qqqq(type_idea, tom_russell_idea_dc, 0). qqqq(type_idea, tom_santa_idea_dc, 0). qqqq(number_idea, tom_denounced_idea_dc, singular). qqqq(number_idea, tom_wrote_DeSenectute_idea_dc,singular). qqqq(number_idea, tom_roman_idea_dc, singular). qqqq(number_idea, tom_human_idea_dc, singular). qqqq(number_idea, tom_american_idea_dc, singular). qqqq(number_idea, tom_mortal_idea_dc, singular). qqqq(number_idea, tom_cicero_idea_dc, singular). qqqq(number_idea, tom_tully_idea_dc, singular). qqqq(number_idea, tom_catiline_idea_dc, singular). qqqq(number_idea, tom_tom_idea_dc, singular). qqqq(number_idea, tom_quine_idea_dc, singular). qqqq(number_idea, tom_russell_idea_dc, singular). qqqq(number_idea, tom_santa_idea_dc, singular). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% qqqq(arity_idea, quine_denounced_idea_dc, 2). qqqq(arity_idea, quine_wrote_DeSenectute_idea_dc, 1). qqqq(arity_idea, quine_human_idea_dc, 1). qqqq(arity_idea, quine_mortal_idea_dc, 1). qqqq(arity_idea, quine_roman_idea_dc, 1). qqqq(arity_idea, quine_american_idea_dc, 1). qqqq(type_idea, quine_denounced_idea_dc, 1). qqqq(type_idea, quine_wrote_DeSenectute_idea_dc, 1). qqqq(type_idea, quine_human_idea_dc, 1). qqqq(type_idea, quine_mortal_idea_dc, 1). qqqq(type_idea, quine_roman_idea_dc, 1). qqqq(type_idea, quine_american_idea_dc, 1). qqqq(type_idea, quine_cicero_idea_dc, 0). qqqq(type_idea, quine_tully_idea_dc, 0). qqqq(type_idea, quine_catiline_idea_dc, 0). qqqq(type_idea, quine_quine_idea_dc, 0). qqqq(type_idea, quine_tom_idea_dc, 0). qqqq(type_idea, quine_russell_idea_dc, 0). qqqq(type_idea, quine_santa_idea_dc, 0). qqqq(number_idea, quine_denounced_idea_dc, singular). qqqq(number_idea, quine_wrote_DeSenectute_idea_dc, singular). qqqq(number_idea, quine_roman_idea_dc, singular). qqqq(number_idea, quine_human_idea_dc, singular). qqqq(number_idea, quine_american_idea_dc, singular). qqqq(number_idea, quine_mortal_idea_dc, singular). qqqq(number_idea, quine_cicero_idea_dc, singular). qqqq(number_idea, quine_tully_idea_dc, singular). qqqq(number_idea, quine_catiline_idea_dc, singular). qqqq(number_idea, quine_tom_idea_dc, singular). qqqq(number_idea, quine_quine_idea_dc, singular). qqqq(number_idea, quine_russell_idea_dc, singular). qqqq(number_idea, quine_santa_idea_dc, singular). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% conceptual_feeling_in_ideas is the only primitive %% belief relation needed. %% I define several others in terms of it. %% %% Beliefs qqqq(conceptual_feeling_in_ideas, quine_dc, believes, now, [quine_denounced_idea_dc, quine_cicero_idea_dc, quine_catiline_idea_dc]). qqqq(conceptual_feeling_in_ideas, quine_dc, believes, now, [quine_denounced_idea_dc, quine_tully_idea_dc, quine_catiline_idea_dc]). qqqq(conceptual_feeling_in_ideas, quine_dc, believes, now, [quine_wrote_De_Senectute_idea_dc, quine_cicero_idea_dc]). qqqq(conceptual_feeling_in_ideas, quine_dc, believes, now, [quine_wrote_De_Senectute_idea_dc, quine_tully_idea_dc]). qqqq(conceptual_feeling_in_ideas, quine_dc, believes, now, [quine_wrote_De_Senectute_idea_dc, quine_tully_idea_dc]). qqqq(conceptual_feeling_in_ideas, tom_dc, believes, now, [tom_denounced_idea_dc, tom_cicero_idea_dc, tom_catiline_idea_dc]). qqqq(conceptual_feeling_in_ideas, tom_dc, disbelieves, now, [tom_denounced_idea_dc, tom_tully_idea_dc, tom_catiline_idea_dc]). qqqq(conceptual_feeling_in_ideas, tom_dc, believes, now, [tom_wrote_De_Senectute_idea_dc, tom_tully_idea_dc]). qqqq(conceptual_feeling_in_ideas, tom_dc, disbelieves, now, [tom_wrote_De_Senectute_idea_dc, tom_cicero_idea_dc]). qqqq(conceptual_feeling_in_ideas, tom_dc, believes, now, [tom_roman_idea_dc, tom_catiline_idea_dc]). qqqq(conceptual_feeling_in_ideas, quine,believes, now, [quine_denounced_idea_dc, quine_cicero_idea_dc, quine_catiline_idea_dc]). qqqq(conceptual_feeling_in_ideas, tom_dc, believes, now, [[wrote_DeSenectute_word_dc], [tully_word_dc]]). qqqq(conceptual_feeling_in_ideas, tom_dc, disbelieves, now, [tom_denounced_idea_dc, tom_santa_idea_dc, tom_catiline_idea_dc]). %% A fact -- indicated by qqqq4 pos_qq([denounced_rel, cicero_dc, catiline_dc]). pos_qq([roman_rel, cicero_dc]). pos_qq([roman_rel, catiline_dc]). pos_qq([american_rel, tom_dc]). pos_qq([american_rel, quine_dc]). pos_qq([denounced_rel, cicero_dc, catiline_dc]). %% Negative facts -- indicated by neg_qq neg_qq([denounced_rel, russell_dc, catiline_dc]). neg_qq([american_rel, russell_dc]). neg_qq([roman_rel, russell_dc]). neg_qq([denounced_rel, quine_dc, catiline_dc]). %% was a function for experimenting %% denounced(cicero, catiline) -> true. pos_qq([dolphin_rel, flipper_dc]). pos_qq([intelligent_fish_rel, flipper_dc]). pos_qq([human_rel, cicero_dc]). pos_qq([human_rel, catiline_dc]). pos_qq([human_rel, russell_dc]). pos_qq([human_rel, quine_dc]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% SINGULAR CASES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% For UNDERSTANDING %% WORDS qqqq(should_sa_words, tom_dc, now, understands, [[denounced_word_dc], [cicero_word_dc], [catiline_word_dc]]). qqqq(should_sa_words, tom_dc, now, understands, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). qqqq(should_sa_words, tom_dc, now, understands, [[denounced_word_dc], [cicero_word_dc], [catiline_word_dc]]). qqqq(should_sa_words, tom_dc, now, understands, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). qqqq(should_sa_words, tom_dc, now, understands, [[wrote_DeSenectute_word_dc], [cicero_word_dc]]). qqqq(should_sa_words, tom_dc, now, understands, [[wrote_DeSenectute_word_dc], [tully_word_dc]]). qqqq(should_sa_words, tom_dc, now, understands, [[wrote_DeSenectute_word_dc], [cicero_word_dc]]). qqqq(should_sa_words, tom_dc, now, understands, [[wrote_DeSenectute_word_dc], [tully_word_dc]]). qqqq(should_sa_words, tom_dc, now, understands, [[wrote_DeSenectute_word_dc], [santa_word_dc]]). qqqq(should_sa_words, tom_dc, now, understands, [[wrote_DeSenectute_word_dc], [tully_word_dc]]). should_not_sa_words(tom_dc, now, understands, [[tully_word_dc], [tully_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, understands, [[wrote_DeSenectute_word_dc], [tully_denounced_word_dc]]). should_not_sa_words(tom_dc, now, understands, [[denounced_word_dc], [cicero_word_dc]]). qqqq(should_sa_words, tom_dc, now, understands, [[roman_word_dc], [catiline_word_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS %%%%%%%%%%%%%%%%%%%%%%%% qqqq(should_sa_ideas, tom_dc, now, understands, [[tom_roman_idea_dc], [tom_catiline_idea_dc]]). qqqq(should_sa_ideas, tom_dc, now, understands, [[tom_denounced_idea_dc], [tom_cicero_idea_dc], [tom_catiline_idea_dc]]). qqqq(should_sa_ideas, tom_dc, now, understands, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). qqqq(should_sa_ideas, quine_dc, now, understands, [[quine_denounced_idea_dc], [quine_cicero_idea_dc], [quine_catiline_idea_dc]]). qqqq(should_sa_ideas, quine_dc, now, understands, [[quine_denounced_idea_dc], [quine_tully_idea_dc], [quine_catiline_idea_dc]]). qqqq(should_sa_ideas, tom_dc, now, understands, [[tom_wrote_DeSenectute_idea_dc], [tom_cicero_idea_dc]]). qqqq(should_sa_ideas, tom_dc, now, understands, [[tom_wrote_DeSenectute_idea_dc], [tom_tully_idea_dc]]). qqqq(should_sa_ideas, quine_dc, now, understands, [[quine_wrote_DeSenectute_idea_dc], [quine_cicero_idea_dc]]). qqqq(should_sa_ideas, quine_dc, now, understands, [[quine_wrote_DeSenectute_idea_dc], [quine_tully_idea_dc]]). qqqq(should_sa_ideas, tom_dc, now, understands, [[tom_denounced_idea_dc], [tom_santa_idea_dc], [tom_catiline_idea_dc]]). qqqq(should_sa_ideas, tom_dc, now, understands, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, understands, [[tom_tully_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, understands, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_denounced_idea_dc]]). should_not_sa_ideas(tom_dc, now, understands, [[tom_denounced_idea_dc], [tom_cicero_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_sa_objects(tom_dc, now, understands, [[denounced_rel], [tom_cicero_dc], [catiline_dc]]). should_sa_objects(tom_dc, now, understands, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). should_sa_objects(tom_dc, now, understands, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). should_sa_objects(tom_dc, now, understands, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). should_sa_objects(tom_dc, now, understands, [[wrote_DeSenectute_rel], [tom_cicero_dc]]). should_sa_objects(tom_dc, now, understands, [[wrote_DeSenectute_rel], [tom_tully_dc]]). should_not_sa_objects(tom_dc, now, understands, [[denounced_rel], [santa_dc], [catiline_dc]]). should_sa_objects(tom_dc, now, understands, [[roman_rel], [catiline_dc]]). should_not_sa_objects(tom_dc, now, understands, [[tom_cicero_dc], [tom_cicero_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, understands, [[denounced_rel], [tom_cicero_dc], [denounced_rel]]). should_not_sa_objects(tom_dc, now, understands, [[denounced_rel], [tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS %%%%%%%%%%%%%%%%%%%%%%%% should_sa_words_ideas(tom_dc, now, understands, [[roman_word_dc, tom_roman_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_sa_words_ideas(tom_dc, now, understands, [[denounced_word_dc, tom_denounced_idea_dc], [santa_word_dc, tom_santa_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_sa_words_ideas(tom_dc, now, understands, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_sa_words_ideas(tom_dc, now, understands, [[denounced_word_dc, tom_denounced_idea_dc], [santa_word_dc, tom_santa_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_sa_words_ideas(tom_dc, now, understands, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, understands, [[cicero_word_dc, tom_cicero_idea_dc], [cicero_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, understands, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_word_dc], [denounced_word_dc, tom_denounced_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, understands, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, understands, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, understands, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_sa_words_objects(tom_dc, now, understands, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, understands, [[denounced_word_dc, denounced_rel], [santa_word_dc, santa_dc], [catiline_word_dc, catiline_dc]]). should_sa_words_objects(tom_dc, now, understands, [[roman_word_dc, roman_rel], [catiline_word_dc, catiline_dc]]). should_sa_words_objects(tom_dc, now, understands, [[denounced_word_dc, denounced_rel], [tully_word_dc, tom_tully_dc], [catiline_word_dc, catiline_dc]]). should_sa_words_objects(tom_dc, now, understands, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, understands, [[tully_word_dc, tom_tully_dc], [tully_word_dc, tom_tully_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, understands, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [denounced_word_dc, denounced_rel]]). should_not_sa_words_objects(tom_dc, now, understands, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_sa_ideas_objects(tom_dc, now, understands, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, understands, [[tom_denounced_idea_dc, denounced_rel], [tom_santa_idea_dc, santa_dc], [tom_catiline_idea_dc, catiline_dc]]). should_sa_ideas_objects(tom_dc, now, understands, [[tom_roman_idea_dc, roman_rel], [tom_catiline_idea_dc, catiline_dc]]). should_sa_ideas_objects(tom_dc, now, understands, [[tom_denounced_idea_dc, denounced_rel], [tom_tully_idea_dc, tom_tully_dc], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, understands, [[tom_cicero_idea_dc, tom_cicero_dc], [tom_cicero_idea_dc, tom_cicero_dc], [tom_catiline_idea_dc, catiline]]). should_not_sa_ideas_objects(tom_dc, now, understands, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc], [tom_denounced_idea_dc, denounced_rel]]). should_not_sa_ideas_objects(tom_dc, now, understands, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_sa_words_ideas_objects(tom_dc, now, understands, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, understands, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [santa_word_dc, tom_santa_idea_dc, santa_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_sa_words_ideas_objects(tom_dc, now, understands, [[roman_word_dc, tom_roman_idea_dc, roman_rel], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_sa_words_ideas_objects(tom_dc, now, understands, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_tully_idea_dc, tom_tully_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, understands, [[cicero_word_dc, tom_cicero_idea_dc, cicero_80_dc], [cicero_word_dc, tom_cicero_idea_dc, cicero_80_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, understands, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_word_dc, tom_cicero_dc], [denounced_word_dc, tom_denounced_idea_dc, denounced_rel]]). should_not_sa_words_ideas_objects(tom_dc, now, understands, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_idea_dc, tom_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, understands, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_cicero_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, understands, [[denounced_word_dc, tom_denounced_idea_dc, denounced_dc], [tully_word_dc, tom_tully_idea_dc, tom_tully_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% BELIEF %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS %%%%%%%%%%%%%%%%%%%%%%%% %% Next should be TRUE qqqq(should_sa_words, tom_dc, now, believes, [[denounced_word_dc], [cicero_word_dc], [catiline_word_dc]]). qqqq(should_sa_words, tom_dc, now, disbelieves, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). %% Next should be TRUE qqqq(should_sa_words, tom_dc, now, disbelieves, [[denounced_word_dc], [santa_word_dc], [catiline_word_dc]]). %% Next should be TRUE qqqq(should_sa_words, tom_dc, now, believes, [[roman_word_dc], [catiline_word_dc]]). %% Next should be FALSE should_not_sa_words(tom_dc, now, believes, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). %% Next should be FALSE -- wrong type should_not_sa_words(tom_dc, now, believes, [[tully_word_dc], [tully_word_dc], [catiline_word_dc]]). %% Next should be FALSE -- wrong type should_not_sa_words(tom_dc, now, believes, [[denounced_word_dc], [tully_word_dc], [denounced_word_dc]]). %% Next should be FALSE -- wrong arity should_not_sa_words(tom_dc, now, believes, [[denounced_word_dc], [cicero_word_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS %%%%%%%%%%%%%%%%%%%%%%%% %% Note here are just lists of ideas - not lists of lists %% Next should be TRUE qqqq(should_sa_ideas, tom_dc, now, believes, [quine_denounced_idea_dc, quine_cicero_idea_dc, quine_catiline_idea_dc]). %% Next should be TRUE qqqq(should_sa_ideas, tom_dc, now, believes, [quine_denounced_idea_dc, quine_tully_idea_dc, quine_catiline_idea_dc]). %% Next should be TRUE qqqq(should_sa_ideas, tom_dc, now, believes, [tom_denounced_idea_dc, tom_cicero_idea_dc, tom_catiline_idea_dc]). %% Next should be FALSE should_not_sa_ideas(tom_dc, now, believes, [tom_denounced_idea_dc, tom_tully_idea_dc, tom_catiline_idea_dc]). %% Next should be TRUE qqqq(should_sa_ideas, tom_dc, now, believes, [tom_roman_idea_dc, tom_catiline_idea_dc]). %% Next should be FALSE -- wrong type should_not_sa_ideas(tom_dc, now, believes, [tom_tully_idea_dc, tom_tully_idea_dc, tom_catiline_idea_dc]). %% Next should be FALSE -- wrong type should_not_sa_ideas(tom_dc, now, believes, [tom_denounced_idea_dc, tom_tully_idea_dc, tom_denounced_idea_dc]). %% Next should be FALSE -- wrong arity should_not_sa_ideas(tom_dc, now, believes, [tom_denounced_idea_dc, tom_cicero_idea_dc]). %%%%%%%%%%%%%%%%%%%%%%%% %% OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% %% Next should be TRUE should_sa_objects(tom_dc, now, believes, [[denounced_rel], [tom_cicero_dc], [catiline_dc]]). %% Next should be TRUE should_sa_objects(tom_dc, now, believes, [[roman_rel], [catiline_dc]]). %% Next should be FALSE should_not_sa_objects(tom_dc, now, believes, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). %% Next should be FALSE -- wrong type should_not_sa_objects(tom_dc, now, believes, [[tom_tully_dc], [tom_tully_dc], [catiline_dc]]). %% Next should be FALSE -- wrong type should_not_sa_objects(tom_dc, now, believes, [[denounced_rel], [tom_tully_dc], [denounced_rel]]). %% Next should be FALSE -- wrong arity should_not_sa_objects(tom_dc, now, believes, [[denounced_rel], [tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS %%%%%%%%%%%%%%%%%%%%%%%% %% Next should be TRUE should_sa_words_ideas(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %% Next should be TRUE should_sa_words_ideas(tom_dc, now, believes, [[roman_word_dc, tom_roman_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %% Next should be FALSE should_not_sa_words_ideas(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %% Next should be FALSE -- wrong type should_not_sa_words_ideas(tom_dc, now, believes, [[tully_word_dc, tom_tully_idea_dc], [tully_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %% Next should be FALSE -- wrong type should_not_sa_words_ideas(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_tully_word_dc], [denounced_word_dc, tom_denounced_idea_dc]]). %% Next should be FALSE -- wrong arity should_not_sa_words_ideas(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_idea_dc]]). %% Next should be FALSE -- wrong rrrr relation for tully_word_dc should_not_sa_words_ideas(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %% Next should be FALSE -- wrong rrrr relation for cicero_word_dc should_not_sa_words_ideas(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% %% Next should be TRUE should_sa_words_objects(tom_dc, now, believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [catiline_word_dc, catiline_dc]]). %% Next should be TRUE should_sa_words_objects(tom_dc, now, believes, [[roman_word_dc, roman_rel], [catiline_word_dc, catiline_dc]]). %% Next should be FALSE -- not a belief should_not_sa_words_objects(tom_dc, now, believes, [[denounced_word_dc, denounced_rel], [tully_word_dc, tom_tully_dc], [catiline_word_dc, catiline_dc]]). %% Next should be FALSE -- wrong type should_not_sa_words_objects(tom_dc, now, believes, [[tully_word_dc, tom_tully_dc], [tully_word_dc, tom_tully_dc], [catiline_word_dc, catiline]]). %% Next should be FALSE -- wrong type should_not_sa_words_objects(tom_dc, now, believes, [[denounced_word_dc, denounced_rel], [tully_word_dc, tom_tully_dc], [denounced_word_dc, denounced_rel]]). %% Next should be FALSE -- wrong arity should_not_sa_words_objects(tom_dc, now, believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% %% Next should be TRUE should_sa_ideas_objects(tom_dc, now, believes, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc], [tom_catiline_idea_dc, catiline_dc]]). %% Next should be TRUE should_sa_ideas_objects(tom_dc, now, believes, [[tom_roman_idea_dc, roman_rel], [tom_catiline_idea_dc, catiline_dc]]). %% Next should be FALSE -- not a belief should_not_sa_ideas_objects(tom_dc, now, believes, [[tom_denounced_idea_dc, denounced_rel], [tom_tully_idea_dc, tom_tully_dc], [tom_catiline_idea_dc, catiline_dc]]). %% Next should be FALSE -- wrong type should_not_sa_ideas_objects(tom_dc, now, believes, [[tom_tully_idea_dc, tom_tully_dc], [tom_tully_idea_dc, tom_tully_dc], [tom_catiline_idea_dc, catiline_dc]]). %% Next should be FALSE -- wrong type should_not_sa_ideas_objects(tom_dc, now, believes, [[tom_denounced_idea_dc, denounced_rel], [tom_tully_idea_dc, tom_tully_dc], [tom_denounced_idea_dc, denounced_rel]]). %% Next should be FALSE -- wrong arity should_not_sa_ideas_objects(tom_dc, now, believes, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% %% Next should be TRUE should_sa_words_ideas_objects(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %% Next should be TRUE should_sa_words_ideas_objects(tom_dc, now, believes, [[roman_word_dc, tom_roman_idea_dc, roman_rel], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %% Next should be FALSE -- not believed should_not_sa_words_ideas_objects(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_tully_idea_dc, tom_tully_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %% Next should be FALSE -- wrong type should_not_sa_words_ideas_objects(tom_dc, now, believes, [[tully_word_dc, tom_tully_idea_dc, tom_cicero_dc], [tully_word_dc, tom_tully_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %% Next should be FALSE -- wrong type should_not_sa_words_ideas_objects(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_tully_word_dc, tom_tully_dc], [denounced_word_dc, tom_denounced_idea_dc, denounced_dc]]). %% Next should be FALSE -- wrong arity should_not_sa_words_ideas_objects(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_idea_dc, cicero]]). %% Next should be FALSE -- wrong rrrr relation for tully_word_dc should_not_sa_words_ideas_objects(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_cicero_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %% Next should be FALSE -- wrong rrrr relation for cicero_word_dc should_not_sa_words_ideas_objects(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_tully_idea_dc, tom_tully_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% TRULY_OPAQUE_BELIEVES %% This would occur if belief both occurred %% and failed to occur at the same time. %% Which is IMPOSSIBLE. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% WORDS should_not_sa_words(tom_dc, now, truly_opaque_believes, [[denounced_word_dc], [cicero_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[denounced_word_dc], [cicero_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_word_dc], [cicero_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_word_dc], [tully_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_word_dc], [cicero_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_word_dc], [tully_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_word_dc], [santa_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_word_dc], [tully_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[tully_word_dc], [tully_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_word_dc], [tully_denounced_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[denounced_word_dc], [cicero_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[roman_word_dc], %% roman is plural [catiline_word_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_roman_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc], [tom_cicero_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(quine_dc, now, truly_opaque_believes, [[quine_denounced_idea_dc], [quine_cicero_idea_dc], [quine_catiline_idea_dc]]). should_not_sa_ideas(quine_dc, now, truly_opaque_believes, [[quine_denounced_idea_dc], [quine_tully_idea_dc], [quine_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_wrote_DeSenectute_idea_dc], [tom_cicero_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_wrote_DeSenectute_idea_dc], [tom_tully_idea_dc]]). should_not_sa_ideas(quine_dc, now, truly_opaque_believes, [[quine_wrote_DeSenectute_idea_dc], [quine_cicero_idea_dc]]). should_not_sa_ideas(quine_dc, now, truly_opaque_believes, [[quine_wrote_DeSenectute_idea_dc], [quine_tully_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc], [tom_santa_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_tully_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_denounced_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc], [tom_cicero_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[denounced_rel], [tom_cicero_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[denounced_rel], [tom_cicero_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_rel], [tom_cicero_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_rel], [tom_tully_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_rel], [tom_cicero_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_rel], [tom_cicero_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[denounced_rel], [santa_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[roman_rel], [catiline_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[tom_cicero_dc], [tom_cicero_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[denounced_rel], [tom_cicero_dc], [denounced_rel]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[denounced_rel], [tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[roman_word_dc, tom_roman_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [santa_word_dc, tom_santa_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [santa_word_dc, tom_santa_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[cicero_word_dc, tom_cicero_idea_dc], [cicero_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_word_dc], [denounced_word_dc, tom_denounced_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, denounced_rel], [santa_word_dc, santa_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, truly_opaque_believes, [[roman_word_dc, roman_rel], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, denounced_rel], [tully_word_dc, tom_tully_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, truly_opaque_believes, [[tully_word_dc, tom_tully_dc], [tully_word_dc, tom_tully_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [denounced_word_dc, denounced_rel]]). should_not_sa_words_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_ideas_objects(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_santa_idea_dc, santa_dc], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, truly_opaque_believes, [[tom_roman_idea_dc, roman_rel], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_tully_idea_dc, tom_tully_dc], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, truly_opaque_believes, [[tom_cicero_idea_dc, tom_cicero_dc], [tom_cicero_idea_dc, tom_cicero_dc], [tom_catiline_idea_dc, catiline]]). should_not_sa_ideas_objects(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc], [tom_denounced_idea_dc, denounced_rel]]). should_not_sa_ideas_objects(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [santa_word_dc, tom_santa_idea_dc, santa_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[roman_word_dc, tom_roman_idea_dc, roman_rel], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_tully_idea_dc, tom_tully_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[cicero_word_dc, tom_cicero_idea_dc, cicero_80_dc], [cicero_word_dc, tom_cicero_idea_dc, cicero_80_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_word_dc, tom_cicero_dc], [denounced_word_dc, tom_denounced_idea_dc, denounced_rel]]). should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_idea_dc, tom_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_cicero_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_dc], [tully_word_dc, tom_tully_idea_dc, tom_tully_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% PSEUDO_OPAQUE %% This could only occur if the same thing %% were believed and disbelieved at the same time. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% WORDS should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc], [cicero_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc], [cicero_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_word_dc], [cicero_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_word_dc], [tully_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_word_dc], [cicero_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_word_dc], [tully_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_word_dc], [santa_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_word_dc], [tully_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[tully_word_dc], [tully_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_word_dc], [tully_denounced_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc], [cicero_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[roman_word_dc], %% roman is plural [catiline_word_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_roman_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc], [tom_cicero_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(quine_dc, now, pseudo_opaque_believes, [[quine_denounced_idea_dc], [quine_cicero_idea_dc], [quine_catiline_idea_dc]]). should_not_sa_ideas(quine_dc, now, pseudo_opaque_believes, [[quine_denounced_idea_dc], [quine_tully_idea_dc], [quine_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_wrote_DeSenectute_idea_dc], [tom_cicero_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_wrote_DeSenectute_idea_dc], [tom_tully_idea_dc]]). should_not_sa_ideas(quine_dc, now, pseudo_opaque_believes, [[quine_wrote_DeSenectute_idea_dc], [quine_cicero_idea_dc]]). should_not_sa_ideas(quine_dc, now, pseudo_opaque_believes, [[quine_wrote_DeSenectute_idea_dc], [quine_tully_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc], [tom_santa_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_tully_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_denounced_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc], [tom_cicero_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_rel], [tom_cicero_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_rel], [tom_cicero_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_rel], [tom_cicero_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_rel], [tom_tully_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_rel], [tom_cicero_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_rel], [tom_cicero_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_rel], [santa_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[roman_rel], [catiline_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[tom_cicero_dc], [tom_cicero_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_rel], [tom_cicero_dc], [denounced_rel]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_rel], [tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[roman_word_dc, tom_roman_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [santa_word_dc, tom_santa_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [santa_word_dc, tom_santa_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[cicero_word_dc, tom_cicero_idea_dc], [cicero_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_word_dc], [denounced_word_dc, tom_denounced_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, denounced_rel], [santa_word_dc, santa_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, pseudo_opaque_believes, [[roman_word_dc, roman_rel], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, denounced_rel], [tully_word_dc, tom_tully_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, pseudo_opaque_believes, [[tully_word_dc, tom_tully_dc], [tully_word_dc, tom_tully_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [denounced_word_dc, denounced_rel]]). should_not_sa_words_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_santa_idea_dc, santa_dc], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[tom_roman_idea_dc, roman_rel], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_tully_idea_dc, tom_tully_dc], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[tom_cicero_idea_dc, tom_cicero_dc], [tom_cicero_idea_dc, tom_cicero_dc], [tom_catiline_idea_dc, catiline]]). should_not_sa_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc], [tom_denounced_idea_dc, denounced_rel]]). should_not_sa_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [santa_word_dc, tom_santa_idea_dc, santa_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[roman_word_dc, tom_roman_idea_dc, roman_rel], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_tully_idea_dc, tom_tully_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[cicero_word_dc, tom_cicero_idea_dc, cicero_80_dc], [cicero_word_dc, tom_cicero_idea_dc, cicero_80_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_word_dc, tom_cicero_dc], [denounced_word_dc, tom_denounced_idea_dc, denounced_rel]]). should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_idea_dc, tom_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_cicero_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_dc], [tully_word_dc, tom_tully_idea_dc, tom_tully_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% AGNOSTIC check %% begin check for lack of belief for each case. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%. %% WORDS should_not_sa_words(tom_dc, now, agnostic, [[denounced_word_dc], [cicero_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, agnostic, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, agnostic, [[denounced_word_dc], [cicero_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, agnostic, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_ideas(tom_dc, now, agnostic, [[tom_roman_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, agnostic, [[tom_denounced_idea_dc], [tom_cicero_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, agnostic, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(quine_dc, now, agnostic, [[quine_denounced_idea_dc], [quine_cicero_idea_dc], [quine_catiline_idea_dc]]). should_not_sa_ideas(quine_dc, now, agnostic, [[quine_denounced_idea_dc], [quine_tully_idea_dc], [quine_catiline_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_objects(tom_dc, now, agnostic, [[denounced_rel], [tom_cicero_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, agnostic, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, agnostic, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, agnostic, [[denounced_rel], [tom_cicero_dc], [catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_ideas(tom_dc, now, agnostic, [[roman_word_dc, tom_roman_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, agnostic, [[denounced_word_dc, tom_denounced_idea_dc], [santa_word_dc, tom_santa_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, agnostic, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, agnostic, [[denounced_word_dc, tom_denounced_idea_dc], [santa_word_dc, tom_santa_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, agnostic, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_objects(tom_dc, now, agnostic, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, agnostic, [[roman_word_dc, roman_rel], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, agnostic, [[denounced_word_dc, denounced_rel], [tully_word_dc, tom_tully_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, agnostic, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [catiline_word_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_ideas_objects(tom_dc, now, agnostic, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, agnostic, [[tom_roman_idea_dc, roman_rel], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, agnostic, [[tom_denounced_idea_dc, denounced_rel], [tom_tully_idea_dc, tom_tully_dc], [tom_catiline_idea_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_ideas_objects(tom_dc, now, agnostic, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, agnostic, [[roman_word_dc, tom_roman_idea_dc, roman_rel], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, agnostic, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_tully_idea_dc, tom_tully_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% BELIEF %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS %%%%%%%%%%%%%%%%%%%%%%%% %% Next should be TRUE qqqq(should_sa_words, tom_dc, now, believes, [[denounced_word_dc], [cicero_word_dc], [catiline_word_dc]]). qqqq(should_sa_words, tom_dc, now, disbelieves, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). %% Next should be TRUE should_not_sa_words(tom_dc, now, believes, [[denounced_word_dc], [santa_word_dc], [catiline_word_dc]]). %% Next should be TRUE qqqq(should_sa_words, tom_dc, now, believes, [[roman_word_dc], [catiline_word_dc]]). %% Next should be FALSE should_not_sa_words(tom_dc, now, believes, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). %% Next should be FALSE -- wrong type should_not_sa_words(tom_dc, now, believes, [[tully_word_dc], [tully_word_dc], [catiline_word_dc]]). %% Next should be FALSE -- wrong type should_not_sa_words(tom_dc, now, believes, [[denounced_word_dc], [tully_word_dc], [denounced_word_dc]]). %% Next should be FALSE -- wrong arity should_not_sa_words(tom_dc, now, believes, [[denounced_word_dc], [cicero_word_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS %%%%%%%%%%%%%%%%%%%%%%%% %% Note here are just lists of ideas - not lists of lists %% Next should be TRUE qqqq(should_sa_ideas, tom_dc, now, believes, [quine_denounced_idea_dc, quine_cicero_idea_dc, quine_catiline_idea_dc]). %% Next should be TRUE qqqq(should_sa_ideas, tom_dc, now, believes, [quine_denounced_idea_dc, quine_tully_idea_dc, quine_catiline_idea_dc]). %% Next should be TRUE qqqq(should_sa_ideas, tom_dc, now, believes, [tom_denounced_idea_dc, tom_cicero_idea_dc, tom_catiline_idea_dc]). %% Next should be FALSE should_not_sa_ideas(tom_dc, now, believes, [tom_denounced_idea_dc, tom_tully_idea_dc, tom_catiline_idea_dc]). %% Next should be TRUE qqqq(should_sa_ideas, tom_dc, now, believes, [tom_roman_idea_dc, tom_catiline_idea_dc]). %% Next should be FALSE -- wrong type should_not_sa_ideas(tom_dc, now, believes, [tom_tully_idea_dc, tom_tully_idea_dc, tom_catiline_idea_dc]). %% Next should be FALSE -- wrong type should_not_sa_ideas(tom_dc, now, believes, [tom_denounced_idea_dc, tom_tully_idea_dc, tom_denounced_idea_dc]). %% Next should be FALSE -- wrong arity should_not_sa_ideas(tom_dc, now, believes, [tom_denounced_idea_dc, tom_cicero_idea_dc]). %%%%%%%%%%%%%%%%%%%%%%%% %% OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% %% Next should be TRUE should_sa_objects(tom_dc, now, believes, [[denounced_rel], [tom_cicero_dc], [catiline_dc]]). %% Next should be TRUE should_sa_objects(tom_dc, now, believes, [[roman_rel], [catiline_dc]]). %% Next should be FALSE should_not_sa_objects(tom_dc, now, believes, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). %% Next should be FALSE -- wrong type should_not_sa_objects(tom_dc, now, believes, [[tom_tully_dc], [tom_tully_dc], [catiline_dc]]). %% Next should be FALSE -- wrong type should_not_sa_objects(tom_dc, now, believes, [[denounced_rel], [tom_tully_dc], [denounced_rel]]). %% Next should be FALSE -- wrong arity should_not_sa_objects(tom_dc, now, believes, [[denounced_rel], [tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS %%%%%%%%%%%%%%%%%%%%%%%% %% Next should be TRUE should_sa_words_ideas(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %% Next should be TRUE should_sa_words_ideas(tom_dc, now, believes, [[roman_word_dc, tom_roman_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %% Next should be FALSE should_not_sa_words_ideas(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %% Next should be FALSE -- wrong type should_not_sa_words_ideas(tom_dc, now, believes, [[tully_word_dc, tom_tully_idea_dc], [tully_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %% Next should be FALSE -- wrong type should_not_sa_words_ideas(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_tully_word_dc], [denounced_word_dc, tom_denounced_idea_dc]]). %% Next should be FALSE -- wrong arity should_not_sa_words_ideas(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_idea_dc]]). %% Next should be FALSE -- wrong rrrr relation for tully_word_dc should_not_sa_words_ideas(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %% Next should be FALSE -- wrong rrrr relation for cicero_word_dc should_not_sa_words_ideas(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% %% Next should be TRUE should_sa_words_objects(tom_dc, now, believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [catiline_word_dc, catiline_dc]]). %% Next should be TRUE should_sa_words_objects(tom_dc, now, believes, [[roman_word_dc, roman_rel], [catiline_word_dc, catiline_dc]]). %% Next should be FALSE -- not a belief should_not_sa_words_objects(tom_dc, now, believes, [[denounced_word_dc, denounced_rel], [tully_word_dc, tom_tully_dc], [catiline_word_dc, catiline_dc]]). %% Next should be FALSE -- wrong type should_not_sa_words_objects(tom_dc, now, believes, [[tully_word_dc, tom_tully_dc], [tully_word_dc, tom_tully_dc], [catiline_word_dc, catiline]]). %% Next should be FALSE -- wrong type should_not_sa_words_objects(tom_dc, now, believes, [[denounced_word_dc, denounced_rel], [tully_word_dc, tom_tully_dc], [denounced_word_dc, denounced_rel]]). %% Next should be FALSE -- wrong arity should_not_sa_words_objects(tom_dc, now, believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% %% Next should be TRUE should_sa_ideas_objects(tom_dc, now, believes, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc], [tom_catiline_idea_dc, catiline_dc]]). %% Next should be TRUE should_sa_ideas_objects(tom_dc, now, believes, [[tom_roman_idea_dc, roman_rel], [tom_catiline_idea_dc, catiline_dc]]). %% Next should be FALSE -- not a belief should_not_sa_ideas_objects(tom_dc, now, believes, [[tom_denounced_idea_dc, denounced_rel], [tom_tully_idea_dc, tom_tully_dc], [tom_catiline_idea_dc, catiline_dc]]). %% Next should be FALSE -- wrong type should_not_sa_ideas_objects(tom_dc, now, believes, [[tom_tully_idea_dc, tom_tully_dc], [tom_tully_idea_dc, tom_tully_dc], [tom_catiline_idea_dc, catiline_dc]]). %% Next should be FALSE -- wrong type should_not_sa_ideas_objects(tom_dc, now, believes, [[tom_denounced_idea_dc, denounced_rel], [tom_tully_idea_dc, tom_tully_dc], [tom_denounced_idea_dc, denounced_rel]]). %% Next should be FALSE -- wrong arity should_not_sa_ideas_objects(tom_dc, now, believes, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% %% Next should be TRUE should_sa_words_ideas_objects(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %% Next should be TRUE should_sa_words_ideas_objects(tom_dc, now, believes, [[roman_word_dc, tom_roman_idea_dc, roman_rel], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %% Next should be FALSE -- not believed should_not_sa_words_ideas_objects(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_tully_idea_dc, tom_tully_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %% Next should be FALSE -- wrong type should_not_sa_words_ideas_objects(tom_dc, now, believes, [[tully_word_dc, tom_tully_idea_dc, tom_cicero_dc], [tully_word_dc, tom_tully_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %% Next should be FALSE -- wrong type should_not_sa_words_ideas_objects(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_tully_word_dc, tom_tully_dc], [denounced_word_dc, tom_denounced_idea_dc, denounced_dc]]). %% Next should be FALSE -- wrong arity should_not_sa_words_ideas_objects(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_idea_dc, cicero]]). %% Next should be FALSE -- wrong rrrr relation for tully_word_dc should_not_sa_words_ideas_objects(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_cicero_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %% Next should be FALSE -- wrong rrrr relation for cicero_word_dc should_not_sa_words_ideas_objects(tom_dc, now, believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_tully_idea_dc, tom_tully_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% TRULY_OPAQUE_BELIEVES %% This would occur if belief both occurred %% and failed to occur at the same time. %% Which is IMPOSSIBLE. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% WORDS should_not_sa_words(tom_dc, now, truly_opaque_believes, [[denounced_word_dc], [cicero_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[denounced_word_dc], [cicero_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_word_dc], [cicero_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_word_dc], [tully_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_word_dc], [cicero_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_word_dc], [tully_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_word_dc], [santa_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_word_dc], [tully_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[tully_word_dc], [tully_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_word_dc], [tully_denounced_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[denounced_word_dc], [cicero_word_dc]]). should_not_sa_words(tom_dc, now, truly_opaque_believes, [[roman_word_dc], %% roman is plural [catiline_word_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_roman_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc], [tom_cicero_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(quine_dc, now, truly_opaque_believes, [[quine_denounced_idea_dc], [quine_cicero_idea_dc], [quine_catiline_idea_dc]]). should_not_sa_ideas(quine_dc, now, truly_opaque_believes, [[quine_denounced_idea_dc], [quine_tully_idea_dc], [quine_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_wrote_DeSenectute_idea_dc], [tom_cicero_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_wrote_DeSenectute_idea_dc], [tom_tully_idea_dc]]). should_not_sa_ideas(quine_dc, now, truly_opaque_believes, [[quine_wrote_DeSenectute_idea_dc], [quine_cicero_idea_dc]]). should_not_sa_ideas(quine_dc, now, truly_opaque_believes, [[quine_wrote_DeSenectute_idea_dc], [quine_tully_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc], [tom_santa_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_tully_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_denounced_idea_dc]]). should_not_sa_ideas(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc], [tom_cicero_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[denounced_rel], [tom_cicero_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[denounced_rel], [tom_cicero_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_rel], [tom_cicero_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_rel], [tom_tully_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_rel], [tom_cicero_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[wrote_DeSenectute_rel], [tom_cicero_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[denounced_rel], [santa_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[roman_rel], [catiline_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[tom_cicero_dc], [tom_cicero_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[denounced_rel], [tom_cicero_dc], [denounced_rel]]). should_not_sa_objects(tom_dc, now, truly_opaque_believes, [[denounced_rel], [tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[roman_word_dc, tom_roman_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [santa_word_dc, tom_santa_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [santa_word_dc, tom_santa_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[cicero_word_dc, tom_cicero_idea_dc], [cicero_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_word_dc], [denounced_word_dc, tom_denounced_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, denounced_rel], [santa_word_dc, santa_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, truly_opaque_believes, [[roman_word_dc, roman_rel], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, denounced_rel], [tully_word_dc, tom_tully_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, truly_opaque_believes, [[tully_word_dc, tom_tully_dc], [tully_word_dc, tom_tully_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [denounced_word_dc, denounced_rel]]). should_not_sa_words_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_ideas_objects(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_santa_idea_dc, santa_dc], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, truly_opaque_believes, [[tom_roman_idea_dc, roman_rel], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_tully_idea_dc, tom_tully_dc], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, truly_opaque_believes, [[tom_cicero_idea_dc, tom_cicero_dc], [tom_cicero_idea_dc, tom_cicero_dc], [tom_catiline_idea_dc, catiline]]). should_not_sa_ideas_objects(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc], [tom_denounced_idea_dc, denounced_rel]]). should_not_sa_ideas_objects(tom_dc, now, truly_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [santa_word_dc, tom_santa_idea_dc, santa_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[roman_word_dc, tom_roman_idea_dc, roman_rel], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_tully_idea_dc, tom_tully_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[cicero_word_dc, tom_cicero_idea_dc, cicero_80_dc], [cicero_word_dc, tom_cicero_idea_dc, cicero_80_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_word_dc, tom_cicero_dc], [denounced_word_dc, tom_denounced_idea_dc, denounced_rel]]). should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_idea_dc, tom_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_cicero_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, truly_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_dc], [tully_word_dc, tom_tully_idea_dc, tom_tully_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% PSEUDO_OPAQUE %% This could only occur if the same thing %% were believed and disbelieved at the same time. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% WORDS should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc], [cicero_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc], [cicero_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_word_dc], [cicero_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_word_dc], [tully_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_word_dc], [cicero_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_word_dc], [tully_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_word_dc], [santa_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_word_dc], [tully_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[tully_word_dc], [tully_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_word_dc], [tully_denounced_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc], [cicero_word_dc]]). should_not_sa_words(tom_dc, now, pseudo_opaque_believes, [[roman_word_dc], %% roman is plural [catiline_word_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_roman_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc], [tom_cicero_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(quine_dc, now, pseudo_opaque_believes, [[quine_denounced_idea_dc], [quine_cicero_idea_dc], [quine_catiline_idea_dc]]). should_not_sa_ideas(quine_dc, now, pseudo_opaque_believes, [[quine_denounced_idea_dc], [quine_tully_idea_dc], [quine_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_wrote_DeSenectute_idea_dc], [tom_cicero_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_wrote_DeSenectute_idea_dc], [tom_tully_idea_dc]]). should_not_sa_ideas(quine_dc, now, pseudo_opaque_believes, [[quine_wrote_DeSenectute_idea_dc], [quine_cicero_idea_dc]]). should_not_sa_ideas(quine_dc, now, pseudo_opaque_believes, [[quine_wrote_DeSenectute_idea_dc], [quine_tully_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc], [tom_santa_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_tully_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_denounced_idea_dc]]). should_not_sa_ideas(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc], [tom_cicero_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_rel], [tom_cicero_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_rel], [tom_cicero_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_rel], [tom_cicero_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_rel], [tom_tully_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_rel], [tom_cicero_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[wrote_DeSenectute_rel], [tom_cicero_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_rel], [santa_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[roman_rel], [catiline_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[tom_cicero_dc], [tom_cicero_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_rel], [tom_cicero_dc], [denounced_rel]]). should_not_sa_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_rel], [tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[roman_word_dc, tom_roman_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [santa_word_dc, tom_santa_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [santa_word_dc, tom_santa_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[cicero_word_dc, tom_cicero_idea_dc], [cicero_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_word_dc], [denounced_word_dc, tom_denounced_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, denounced_rel], [santa_word_dc, santa_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, pseudo_opaque_believes, [[roman_word_dc, roman_rel], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, denounced_rel], [tully_word_dc, tom_tully_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, pseudo_opaque_believes, [[tully_word_dc, tom_tully_dc], [tully_word_dc, tom_tully_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [denounced_word_dc, denounced_rel]]). should_not_sa_words_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_santa_idea_dc, santa_dc], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[tom_roman_idea_dc, roman_rel], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_tully_idea_dc, tom_tully_dc], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[tom_cicero_idea_dc, tom_cicero_dc], [tom_cicero_idea_dc, tom_cicero_dc], [tom_catiline_idea_dc, catiline]]). should_not_sa_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc], [tom_denounced_idea_dc, denounced_rel]]). should_not_sa_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [santa_word_dc, tom_santa_idea_dc, santa_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[roman_word_dc, tom_roman_idea_dc, roman_rel], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_tully_idea_dc, tom_tully_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[cicero_word_dc, tom_cicero_idea_dc, cicero_80_dc], [cicero_word_dc, tom_cicero_idea_dc, cicero_80_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_word_dc, tom_cicero_dc], [denounced_word_dc, tom_denounced_idea_dc, denounced_rel]]). should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_idea_dc, tom_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_cicero_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, pseudo_opaque_believes, [[denounced_word_dc, tom_denounced_idea_dc, denounced_dc], [tully_word_dc, tom_tully_idea_dc, tom_tully_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% AGNOSTIC check %% begin check for lack of belief for each case. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%. %% WORDS should_not_sa_words(tom_dc, now, agnostic, [[denounced_word_dc], [cicero_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, agnostic, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, agnostic, [[denounced_word_dc], [cicero_word_dc], [catiline_word_dc]]). should_not_sa_words(tom_dc, now, agnostic, [[denounced_word_dc], [tully_word_dc], [catiline_word_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_ideas(tom_dc, now, agnostic, [[tom_roman_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, agnostic, [[tom_denounced_idea_dc], [tom_cicero_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(tom_dc, now, agnostic, [[tom_denounced_idea_dc], [tom_tully_idea_dc], [tom_catiline_idea_dc]]). should_not_sa_ideas(quine_dc, now, agnostic, [[quine_denounced_idea_dc], [quine_cicero_idea_dc], [quine_catiline_idea_dc]]). should_not_sa_ideas(quine_dc, now, agnostic, [[quine_denounced_idea_dc], [quine_tully_idea_dc], [quine_catiline_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_objects(tom_dc, now, agnostic, [[denounced_rel], [tom_cicero_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, agnostic, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, agnostic, [[denounced_rel], [tom_tully_dc], [catiline_dc]]). should_not_sa_objects(tom_dc, now, agnostic, [[denounced_rel], [tom_cicero_dc], [catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_ideas(tom_dc, now, agnostic, [[roman_word_dc, tom_roman_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, agnostic, [[denounced_word_dc, tom_denounced_idea_dc], [santa_word_dc, tom_santa_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, agnostic, [[denounced_word_dc, tom_denounced_idea_dc], [cicero_word_dc, tom_cicero_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, agnostic, [[denounced_word_dc, tom_denounced_idea_dc], [santa_word_dc, tom_santa_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). should_not_sa_words_ideas(tom_dc, now, agnostic, [[denounced_word_dc, tom_denounced_idea_dc], [tully_word_dc, tom_tully_idea_dc], [catiline_word_dc, tom_catiline_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_objects(tom_dc, now, agnostic, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, agnostic, [[roman_word_dc, roman_rel], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, agnostic, [[denounced_word_dc, denounced_rel], [tully_word_dc, tom_tully_dc], [catiline_word_dc, catiline_dc]]). should_not_sa_words_objects(tom_dc, now, agnostic, [[denounced_word_dc, denounced_rel], [cicero_word_dc, tom_cicero_dc], [catiline_word_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_ideas_objects(tom_dc, now, agnostic, [[tom_denounced_idea_dc, denounced_rel], [tom_cicero_idea_dc, tom_cicero_dc], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, agnostic, [[tom_roman_idea_dc, roman_rel], [tom_catiline_idea_dc, catiline_dc]]). should_not_sa_ideas_objects(tom_dc, now, agnostic, [[tom_denounced_idea_dc, denounced_rel], [tom_tully_idea_dc, tom_tully_dc], [tom_catiline_idea_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_not_sa_words_ideas_objects(tom_dc, now, agnostic, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [cicero_word_dc, tom_cicero_idea_dc, tom_cicero_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, agnostic, [[roman_word_dc, tom_roman_idea_dc, roman_rel], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). should_not_sa_words_ideas_objects(tom_dc, now, agnostic, [[denounced_word_dc, tom_denounced_idea_dc, denounced_rel], [tully_word_dc, tom_tully_idea_dc, tom_tully_dc], [catiline_word_dc, tom_catiline_idea_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Cases for PLURAL (classes) - %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% only exist as words and ideas qqqq(idea_of, tom_dc, tom_cat_class_idea_dc). qqqq(idea_of, tom_dc, tom_dolphin_class_idea_dc). qqqq(idea_of, tom_dc, tom_intelligent_fish_class_idea_dc). qqqq(idea_of, tom_dc, tom_human_class_idea_dc). qqqq(idea_of, tom_dc, tom_santa_class_idea_dc). qqqq(idea_of, tom_dc, tom_mortal_class_idea_dc). qqqq(idea_of, tom_dc, tom_roman_class_idea_dc). qqqq(idea_of, tom_dc, tom_american_class_idea_dc). qqqq(idea_of, tom_dc, tom_featherless_biped_class_idea_dc). qqqq(arity_idea, tom_cat_class_idea_dc, 1). qqqq(arity_idea, tom_dolphin_class_idea_dc, 1). qqqq(arity_idea, tom_intelligent_fish_class_idea_dc, 1). qqqq(type_idea, tom_cat_class_idea_dc, 0). qqqq(type_idea, tom_santa_class_idea_dc, 0). qqqq(type_idea, tom_human_class_idea_dc, 0). qqqq(type_idea, tom_mortal_class_idea_dc, 0). qqqq(type_idea, tom_dolphin_class_idea_dc, 0). qqqq(type_idea, tom_intelligent_fish_class_idea_dc, 0). qqqq(type_idea, tom_roman_class_idea_dc, 0). qqqq(type_idea, tom_american_class_idea_dc, 0). qqqq(type_idea, tom_featherless_biped_class_idea_dc, 0). qqqq(number_idea, tom_cat_class_idea_dc, plural). qqqq(number_idea, tom_santa_class_idea_dc, plural). qqqq(number_idea, tom_human_class_idea_dc, plural). qqqq(number_idea, tom_roman_class_idea_dc, plural). qqqq(number_idea, tom_american_class_idea_dc, plural). qqqq(number_idea, tom_mortal_class_idea_dc, plural). qqqq(number_idea, tom_dolphin_class_idea_dc, plural). qqqq(number_idea, tom_intelligent_fish_class_idea_dc, plural). qqqq(number_idea, tom_featherless_biped_class_idea_dc, plural). qqqq(rrrr, tom_dc, now, cat_class_word_dc, tom_cat_class_idea_dc). qqqq(rrrr, tom_dc, now, santa_class_word_dc, tom_santa_class_idea_dc). qqqq(rrrr, tom_dc, now, human_class_word_dc, tom_human_class_idea_dc). qqqq(rrrr, tom_dc, now, dolphin_class_word_dc, tom_dolphin_class_idea_dc). qqqq(rrrr, tom_dc, now, intelligent_fish_class_word_dc, tom_intelligent_fish_class_idea_dc). qqqq(rrrr, tom_dc, now, mortal_class_word_dc, tom_mortal_class_idea_dc). qqqq(rrrr, tom_dc, now, roman_class_word_dc, tom_roman_class_idea_dc). qqqq(rrrr, tom_dc, now, american_class_word_dc, tom_american_class_idea_dc). qqqq(rrrr, tom_dc, now, featherless_biped_class_word_dc, tom_featherless_biped_class_idea_dc). qqqq(tttt, tom_dc, now, tom_cat_class_idea_dc, misty_dc). qqqq(tttt, tom_dc, now, tom_cat_class_idea_dc, rosie_dc). qqqq(tttt, tom_dc, now, tom_human_class_idea_dc, catiline_dc). qqqq(tttt, tom_dc, now, tom_human_class_idea_dc, tom_cicero_dc). qqqq(tttt, tom_dc, now, tom_human_class_idea_dc, tom_dc). qqqq(tttt, tom_dc, now, tom_human_class_idea_dc, tom_cicero_dc). qqqq(tttt, tom_dc, now, tom_human_class_idea_dc, quine_dc). qqqq(tttt, tom_dc, now, tom_featherless_biped_class_idea_dc, catiline_dc). qqqq(tttt, tom_dc, now, tom_featherless_biped_class_idea_dc, tom_cicero_dc). qqqq(tttt, tom_dc, now, tom_featherless_biped_class_idea_dc, tom_dc). qqqq(tttt, tom_dc, now, tom_featherless_biped_class_idea_dc, quine_dc). qqq(tttt, tom_dc, now, tom_mortal_class_idea_dc, catiline_dc). qqqq(tttt, tom_dc, now, tom_mortal_class_idea_dc, tom_cicero_dc). qqqq(tttt, tom_dc, now, tom_mortal_class_idea_dc, tom_dc). qqqq(tttt, tom_dc, now, tom_mortal_class_idea_dc, tom_cicero_dc). qqqq(tttt, tom_dc, now, tom_mortal_class_idea_dc, misty_dc). qqqq(tttt, tom_dc, now, tom_mortal_class_idea_dc, rosie_dc). qqqq(tttt, tom_dc, now, tom_dolphin_class_idea_dc, flipper_dc). qqqq(tttt, tom_dc, now, tom_roman_class_idea_dc, tom_cicero_dc). qqqq(tttt, tom_dc, now, tom_roman_class_idea_dc, catiline_dc). qqqq(tttt, tom_dc, now, tom_american_class_idea_dc, quine_dc). qqqq(tttt, tom_dc, now, tom_intelligent_fish_class_idea_dc, flipper_dc). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% BELIEFS (in ideas) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% qqqq(conceptual_feeling_in_ideas, tom_dc, believes, now, [tom_mortal_idea_dc, tom_human_class_idea_dc]). qqqq(conceptual_feeling_in_ideas, tom_dc, believes, now, [tom_human_idea_dc, tom_catiline_idea_dc]). qqqq(conceptual_feeling_in_ideas, tom_dc, believes, now, [tom_human_idea_dc, tom_human_class_idea_dc]). qqqq(conceptual_feeling_in_ideas, tom_dc, believes, now, [tom_human_idea_dc, tom_cicero_idea_dc]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% PLURAL CASES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% For UNDERSTANDING %% WORDS qqqq(should_sa_words, tom_dc, now, understands, [[mortal_word_dc], % type 1 [human_class_word_dc]]). % type 0 %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS %%%%%%%%%%%%%%%%%%%%%%%% qqqq(should_sa_ideas, tom_dc, now, understands, [[tom_human_class_idea_dc], [tom_cicero_idea_dc]]). qqqq(should_sa_ideas, tom_dc, now, understands, [[tom_human_class_idea_dc], [tom_catiline_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% %% No such cases - Classes only exist as words and ideas %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS %%%%%%%%%%%%%%%%%%%%%%%% should_sa_words_ideas(tom_dc, now, understands, [[mortal_word_dc, tom_mortal_idea_dc], [human_class_word_dc, tom_human_class_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_sa_words_objects(tom_dc, now, understands, [[human_word_dc, human_rel], [human_class_word_dc, tom_cicero_dc]]). should_sa_words_objects(tom_dc, now, understands, [[human_word_dc, human_rel], [human_class_word_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_sa_ideas_objects(tom_dc, now, understands, [[tom_human_idea_dc, human_rel], [tom_human_class_idea_dc, tom_cicero_dc]]). should_sa_ideas_objects(tom_dc, now, understands, [[tom_human_idea_dc, human_rel], [tom_human_class_idea_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% should_sa_words_ideas_objects(tom_dc, now, understands, [[human_word_dc, tom_human_idea_dc, human_rel], [human_class_word_dc, tom_human_class_idea_dc, tom_cicero_dc]]). should_sa_words_ideas_objects(tom_dc, now, understands, [[human_word_dc, tom_human_idea_dc, human_rel], [human_class_word_dc, tom_human_class_idea_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% For BELIEF %% WORDS qqqq(should_sa_words, tom_dc, now, believes, [[mortal_word_dc], % type 1 [human_class_word_dc]]). % type 0 %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS %%%%%%%%%%%%%%%%%%%%%%%% qqqq(should_sa_ideas, tom_dc, now, believes, [mortal_idea_dc, % type 1 garbage_tom_human_class_idea_dc]). % type 0 qqqq(should_sa_ideas, tom_dc, now, believes, [[mortal_idea_dc], % type 1 [tom_human_class_idea_dc]]). % type 0 qqqq(should_sa_ideas, tom_dc, now, believes, [[tom_human_idea_dc], [tom_cicero_idea_dc]]). qqqq(should_sa_ideas, tom_dc, now, believes, [[tom_human_class_idea_dc], [tom_catiline_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% %% No such cases - Classes only exist as words and ideas %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS %%%%%%%%%%%%%%%%%%%%%%%% qqqq(should_sa_words_ideas, tom_dc, now, believes, [[mortal_word_dc, tom_mortal_idea_dc], [human_class_word_dc, tom_human_class_idea_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% qqqq(should_sa_words_objects, tom_dc, now, believes, [[human_word_dc, human_rel], [human_class_word_dc, tom_cicero_dc]]). qqqq(should_sa_words_objects, tom_dc, now, believes, [[human_word_dc, human_rel], [human_class_word_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% qqqq(should_sa_ideas_objects, tom_dc, now, believes, [[tom_human_idea_dc, human_rel], [tom_human_class_idea_dc, tom_cicero_dc]]). qqqq(should_sa_ideas_objects, tom_dc, now, believes, [[tom_human_idea_dc, human_rel], [tom_human_class_idea_dc, catiline_dc]]). %%%%%%%%%%%%%%%%%%%%%%%% %% WORDS_IDEAS_OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% qqqq(should_sa_words_ideas_objects, tom_dc, now, believes, [[human_word_dc, tom_human_idea_dc, human_rel], [human_class_word_dc, tom_human_class_idea_dc, tom_cicero_dc]]). qqqq(should_sa_words_ideas_objects, tom_dc, now, believes, [[human_word_dc, tom_human_idea_dc, human_rel], [human_class_word_dc, tom_human_class_idea_dc, catiline_dc]]). pos_qq([roman_rel, catiline_dc]). pos_qq([human_rel, catiline_dc]). pos_qq([human_rel, tom_dc]). pos_qq([human_rel, tom_cicero_dc]). pos_qq([human_rel, quine_dc]). pos_qq([denounced_rel, tom_cicero_dc, catiline_dc]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% BELIEF %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%% %% OBJECTS %%%%%%%%%%%%%%%%%%%%%%%% %% Next should be TRUE qqqq(should_sa_objects, tom_dc, now, believes_truly, [[denounced_rel], [tom_cicero_dc], [catiline_dc]]). qqqq(should_sa_objects, tom_dc, now, disbelieves_truly, [[denounced_rel], [tully_dc], [catiline_dc]]). %% Next should be TRUE should_not_sa_objects(tom_dc, now, believes_truly, [[denounced_rel], [santa_dc], [catiline_dc]]). %% Next should be TRUE qqqq(should_sa_objects, tom_dc, now, believes_truly, [[roman_rel], [catiline_dc]]). %% Next should be FALSE qqqq(should_not_sa_objects, tom_dc, now, believes_truly, [[denounced_rel], [tully_dc], [catiline_dc]]). %% Next should be FALSE -- wrong type qqqq(should_not_sa_objects, tom_dc, now, believes_truly, [[tully_dc], [tully_dc], [catiline_dc]]). %% Next should be FALSE -- wrong type qqqq(should_not_sa_objects, tom_dc, now, believes_truly, [[denounced_rel], [tully_dc], [denounced_rel]]). %% Next should be FALSE -- wrong arity qqqq(should_not_sa_objects, tom_dc, now, believes_truly, [[denounced_rel], [cicero_dc]]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% This section added for Putnam Twin Earth example %%%%%%%%%%%% qqqq(actual_occasion, earther_00001). qqqq(actual_occasion, earther_00002). qqqq(actual_occasion, earther_00003). qqqq(actual_occasion, earther_00004). qqqq(actual_occasion, earther_00005). qqqq(actual_occasion, twin_earther_00001). qqqq(actual_occasion, twin_earther_00002). qqqq(actual_occasion, twin_earther_00003). qqqq(actual_occasion, twin_earther_00004). qqqq(actual_occasion, twin_earther_00005). qqqq(actual_occasion, wet_word_00001). qqqq(actual_occasion, wet_word_00002). qqqq(actual_occasion, wet_word_00003). qqqq(actual_occasion, wet_word_00004). qqqq(actual_occasion, wet_word_00005). qqqq(actual_occasion, earther_wet_idea_00001). qqqq(actual_occasion, earther_wet_idea_00002). qqqq(actual_occasion, earther_wet_idea_00003). qqqq(actual_occasion, earther_wet_idea_00004). qqqq(actual_occasion, earther_wet_idea_00005). qqqq(actual_occasion, twin_earther_wet_idea_00001). qqqq(actual_occasion, twin_earther_wet_idea_00002). qqqq(actual_occasion, twin_earther_wet_idea_00003). qqqq(actual_occasion, twin_earther_wet_idea_00004). qqqq(actual_occasion, twin_earther_wet_idea_00005). qqqq(actual_occasion, h2o_00001). qqqq(actual_occasion, h2o_00002). qqqq(actual_occasion, h2o_00003). qqqq(actual_occasion, h2o_00004). qqqq(actual_occasion, h2o_00005). qqqq(actual_occasion, xyz_00001). qqqq(actual_occasion, xyz_00002). qqqq(actual_occasion, xyz_00003). qqqq(actual_occasion, xyz_00004). qqqq(actual_occasion, xyz_00005). qqqq(actual_occasion, water_word_00001). qqqq(actual_occasion, water_word_00002). qqqq(actual_occasion, water_word_00003). qqqq(actual_occasion, water_word_00004). qqqq(actual_occasion, water_word_00005). qqqq(actual_occasion, earther_water_idea_00001). qqqq(actual_occasion, earther_water_idea_00002). qqqq(actual_occasion, earther_water_idea_00003). qqqq(actual_occasion, earther_water_idea_00004). qqqq(actual_occasion, earther_water_idea_00005). qqqq(actual_occasion, twin_earther_water_idea_00001). qqqq(actual_occasion, twin_earther_water_idea_00002). qqqq(actual_occasion, twin_earther_water_idea_00003). qqqq(actual_occasion, twin_earther_water_idea_00004). qqqq(actual_occasion, twin_earther_water_idea_00005). qqqq(defining_characteristic, earther_dc). qqqq(defining_characteristic, twin_earther_dc). qqqq(defining_characteristic, water_word_dc). qqqq(defining_characteristic, wet_word_dc). qqqq(defining_characteristic, twin_earther_water_idea_dc). qqqq(defining_characteristic, earther_water_idea_dc). qqqq(refer, [earther_dc, earther_00001]). qqqq(refer, [earther_dc, earther_00002]). qqqq(refer, [earther_dc, earther_00003]). qqqq(refer, [earther_dc, earther_00004]). qqqq(refer, [earther_dc, earther_00005]). qqqq(refer, [twin_earther_dc, earther_00001]). qqqq(refer, [twin_earther_dc, earther_00002]). qqqq(refer, [twin_earther_dc, earther_00003]). qqqq(refer, [twin_earther_dc, earther_00004]). qqqq(refer, [twin_earther_dc, earther_00005]). qqqq(refer, [water_word_dc, water_word_00001]). qqqq(refer, [water_word_dc, water_word_00002]). qqqq(refer, [water_word_dc, water_word_00003]). qqqq(refer, [water_word_dc, water_word_00004]). qqqq(refer, [water_word_dc, water_word_00005]). qqqq(refer, [wet_word_dc, wet_word_00001]). qqqq(refer, [wet_word_dc, wet_word_00002]). qqqq(refer, [wet_word_dc, wet_word_00003]). qqqq(refer, [wet_word_dc, wet_word_00004]). qqqq(refer, [wet_word_dc, wet_word_00005]). qqqq(refer, [earther_water_idea_dc, h2o_00001]). qqqq(refer, [earther_water_idea_dc, h2o_00002]). qqqq(refer, [earther_water_idea_dc, h2o_00003]). qqqq(refer, [earther_water_idea_dc, h2o_00004]). qqqq(refer, [earther_water_idea_dc, h2o_00005]). qqqq(refer, [twin_earther_water_idea_dc, xyz_00001]). qqqq(refer, [twin_earther_water_idea_dc, xyz_00002]). qqqq(refer, [twin_earther_water_idea_dc, xyz_00003]). qqqq(refer, [twin_earther_water_idea_dc, xyz_00004]). qqqq(refer, [twin_earther_water_idea_dc, xyz_00005]). qqqq(rrrr, earther_dc, at_some_time, water_word_dc, earther_water_idea_dc). qqqq(rrrr, earther_dc, at_some_time, wet_word_dc, earther_wet_idea_dc). qqqq(rrrr, twin_earther_dc, at_some_time, water_word_dc, twin_earther_water_idea_dc). qqqq(rrrr, twin_earther_dc, at_some_time, wet_word_dc, twin_earther_wet_idea_dc). qqqq(ssss, earther_dc, at_some_time, earther_water_idea_dc, h2o_dc). qqqq(ssss, twin_earther_dc, at_some_time, twin_earther_water_idea_dc, xyz_dc). qqqq(ssss, earther_dc, at_some_time, earther_wet_idea_dc, wet_rel). qqqq(ssss, twin_earther_dc, at_some_time, twin_earther_wet_idea_dc, wet_rel). qqqq(idea_of, earther_dc, earther_water_idea_dc). qqqq(idea_of, twin_earther_dc, twin_earther_water_idea_dc). qqqq(idea_of, earther_dc, earther_wet_idea_dc). qqqq(idea_of, twin_earther_dc, twin_earther_wet_idea_dc). qqqq(arity_idea, earther_wet_idea_dc, 1). qqqq(arity_idea, twin_earther_wet_idea_dc, 1). qqqq(type_idea, earther_wet_idea_dc, 1). qqqq(type_idea, twin_earther_wet_idea_dc, 1). qqqq(type_idea, earther_water_idea_dc, 0). qqqq(type_idea, twin_earther_water_idea_dc, 0). qqqq(personal_order, earther_dc). qqqq(personal_order, twin_earther_dc). qqqq(idea_of, twin_earther_dc, twin_earther_water_idea_dc). qqqq(idea_of, earther_dc, earther_water_idea_dc). qqqq(idea_of, twin_earther_dc, twin_earther_wet_idea_dc). qqqq(idea_of, earther_dc, earther_wet_idea_dc). qqqq(number_idea, earther_water_idea_dc, singular). qqqq(number_idea, twin_earther_water_idea_dc, singular). qqqq(number_idea, earther_wet_idea_dc, singular). qqqq(number_idea, twin_earther_wet_idea_dc, singular).