*** Yes *** Yes *** Yes *** Yes *** Yes *** Yes *** Yes *** Yes *** Yes *** Yes > *** Yes > Tue Sep 10 19:37:46 CDT 2019 > write_time(Ignore)? 0 *** Yes Ignore = @. --1> *** No > rrrr(tom, now, 1, of_orations_word, tom_of_orations_idea)? *** Yes --1> *** No > > ssss(tom, now, 1, tom_of_orations_idea, of_orations)? *** Yes --1> *** No > > rrrr(tom, now, 1, of_De_Senectute_word, tom_of_De_Senectute_idea)? *** Yes --1> *** No > > ssss(tom, now, 1, tom_of_De_Senectute_idea, of_De_Senectute)? *** Yes --1> *** No > > rrss(tom, now, 1, of_orations_word, of_orations)? *** Yes --1> *** No > > rrss(tom, now, 1, of_De_Senectute_word, of_De_Senectute)? *** Yes --1> *** No > > rrrr(quine, now, 1, of_orations_word, quine_of_orations_idea)? *** Yes --1> *** No > > ssss(quine, now, 1, quine_of_orations_idea, of_orations)? *** Yes --1> *** No > > rrrr(quine, now, 1, of_De_Senectute_word, quine_of_De_Senectute_idea)? *** Yes --1> *** No > > ssss(quine, now, 1, quine_of_De_Senectute_idea, of_De_Senectute)? *** Yes --1> *** No > > rrrr(tom, now, 1, denounced_word, tom_denounced_idea)? *** Yes --1> *** No > > ssss(tom, now, 1, tom_denounced_idea, denounced)? *** Yes --1> *** No > > rrrr(tom, now, 0, cicero_word, tom_cicero_idea)? *** Yes --1> *** No > > ssss(tom, now, 0, tom_cicero_idea, cicero)? *** Yes --1> *** No > > rrrr(tom, now, 0, catiline_word, tom_catiline_idea)? *** Yes --1> *** No > > ssss(tom, now, 0, tom_catiline_idea, catiline)? *** Yes --1> *** No > > rrrr(tom, now, 0, cicero_word, tom_tully_idea)? *** No > ; > > rrrr(tom, now, 0, tully_word, tom_tully_idea)? *** Yes --1> *** No > > rrrr(tom, now, 0, tully_word, tom_cicero_idea)? *** No > ; > > rrss(tom, now, 0, cicero_word, cicero)? *** Yes --1> *** No > > rrss(tom, now, 0, tully_word, cicero)? *** Yes --1> *** No > > rrss(tom, now, 0, catiline_word, catiline)? *** Yes --1> *** No > > rrss(tom, now, 1, denounced_word, denounced)? *** Yes --1> *** No > > rrrr(quine, now, 1, denounced_word, quine_denounced_idea)? *** Yes --1> *** No > > > ssss(quine, now, 1, quine_denounced_idea, denounced)? *** Yes --1> *** No > > > rrrr(quine, now, 0, cicero_word, quine_cicero_idea)? *** Yes --1> *** No > > ssss(quine, now, 0, quine_cicero_idea, cicero)? *** Yes --1> *** No > > rrrr(quine, now, 0, cicero_word, quine_tully_idea)? *** Yes --1> *** No > > rrrr(quine, now, 0, tully_word, quine_tully_idea)? *** Yes --1> *** No > > rrrr(quine, now, 0, tully_word, quine_cicero_idea)? *** Yes --1> *** No > > ssss(quine, now, 0, quine_tully_idea, cicero)? *** Yes --1> *** No > > rrss(quine, now, 0, cicero_word, cicero)? *** Yes --1> *** Yes --1> *** No > rrss(quine, now, 1, of_orations_word, of_orations)? *** Yes --1> *** No > > rrss(quine, now, 1, of_De_Senectute_word, of_De_Senectute)? *** Yes --1> *** No > > > > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > believes_in_ideas(tom, now, 1, 2, [tom_denounced_idea, | tom_cicero_idea, | tom_catiline_idea])? *** Yes --1> *** No > > believes_not_in_words(tom, now, 1, 2, [denounced_word, | tully_word, | catiline_word])? *** Yes --1> *** No > > believes_in_ideas(tom, now, 1, 2, [tom_denounced_idea, | tom_cicero_idea, | tom_catiline_idea])? *** Yes --1> *** No > > believes_not_in_ideas(tom, now, 1, 2, [tom_denounced_idea, | tom_tully_idea, | tom_catiline_idea])? *** Yes --1> *** No > > believes_in_ideas(tom, now, 1, 1, [tom_of_orations_idea, tom_cicero_idea])? *** Yes --1> *** No > > believes_in_ideas(tom, now, 1, 1, [tom_of_De_Senectute_idea, tom_tully_idea])? *** Yes --1> *** No > > believes_in_words(tom, now, 1, 1, [of_orations_word, cicero_word])? *** Yes --1> *** No > > believes_in_words(tom, now, 1, 1, [of_De_Senectute_word, tom_tully_word])? *** Yes --1> *** No > > believes_in_ideas(quine, now, 1, 1, [quine_of_orations_idea, | quine_cicero_idea])? *** Yes --1> *** No > > believes_in_ideas(quine, now, 1, 1, [quine_of_De_Senectute_idea, | quine_tully_idea])? *** Yes --1> *** No > ; > > believes_in_words(quine, now, 1, 1, [of_orations_word, | cicero_word])? *** Yes --1> *** No > > believes_in_words(quine, now, 1, 1, [of_De_Senectute_word, | tully_word])? *** No > > believes_in_ideas(quine, now, 1, 1, [quine_of_orations_idea, | quine_tully_idea])? *** Yes --1> *** No > > believes_in_ideas(quine, now, 1, 1, [quine_of_De_Senectute_idea, | quine_cicero_idea])? *** Yes --1> *** No > > believes_in_words(quine, now, 1, 1, [of_orations_word, | tully_word])? *** Yes --1> *** No > > believes_in_words(quine, now, 1, 1, [of_De_Senectute_word, | cicero_word])? *** No > > ; > > believes_in_ideas(quine, now, 1, 1, [quine_of_orations_idea, | quine_tully_idea])? *** Yes --1> *** No > > believes_in_words(quine, now, 1, 1, [quine_of_De_Senectute_idea, | quine_cicero_idea])? *** No > ; > > %%%%%%%%%%%%%%%%%%%%%%%%%%%% Start Part on Denounced > > %% First Tom > > believes_word_idea_object_L(tom, now, 1, 2, [[denounced_word, | tom_denounced_idea, | denounced], | [cicero_word, | tom_cicero_idea, | cicero], | [catiline_word, | tom_catiline_idea, | catiline]] | )? *** Yes --1> *** Yes --1> *** No > believes_word_object_L(tom, now, 1, 2, [[denounced_word, | denounced], | [cicero_word, | cicero], | [catiline_word, | catiline]] | )? *** Yes --1> *** Yes --1> *** No > believes_word_idea_L(tom, now, 1, 2, [[denounced_word, | tom_denounced_idea], | [cicero_word, | tom_cicero_idea], | [catiline_word, | tom_catiline_idea]] | )? *** Yes --1> *** Yes --1> *** No > believes_idea_object_L(tom, now, 1, 2, [[tom_denounced_idea, | denounced], | [tom_cicero_idea, | cicero], | [tom_catiline_idea, | catiline]] | )? *** Yes --1> *** No > > believes_object_L(tom, now, 1, 2, [[denounced], | [cicero], | [catiline]] | )? *** Yes --1> *** No > > > %% Special Tully cases > > > believes_word_idea_object_L(tom, now, 1, 2, [[denounced_word, | tom_denounced_idea, | denounced], | [tully_word, | tom_tully_idea, | cicero], | [catiline_word, | tom_catiline_idea, | catiline]] | )? *** No > ; > > believes_word_object_L(tom, now, 1, 2, [[denounced_word, | denounced], | [tully_word, | cicero], | [catiline_word, | catiline]] | )? *** No > ; > > believes_word_idea_L(tom, now, 1, 2, [[denounced_word, | tom_denounced_idea], | [tully_word, | tom_tully_idea], | [catiline_word, | tom_catiline_idea]] | )? *** No > ; > > believes_idea_object_L(tom, now, 1, 2, [[tom_denounced_idea, | denounced], | [tom_tully_idea, | cicero], | [tom_catiline_idea, | catiline]] | )? *** No > ; > > believes_object_L(tom, now, 1, 2, [[denounced], | [cicero], % no separate tully | [catiline]] | )? *** Yes --1> *** No > > > %%% Now negative beleifs -- Still tom > > > believes_not_word_idea_object_L(tom, now, 1, 2, [[denounced_word, | tom_denounced_idea, | denounced], | [cicero_word, | tom_cicero_idea, | cicero], | [catiline_word, | tom_catiline_idea, | catiline]] | )? *** No > ; > > believes_not_word_object_L(tom, now, 1, 2, [[denounced_word, | denounced], | [cicero_word, | cicero], | [catiline_word, | catiline]] | )? *** No > ; > > believes_not_word_idea_L(tom, now, 1, 2, [[denounced_word, | tom_denounced_idea], | [cicero_word, | tom_cicero_idea], | [catiline_word, | tom_catiline_idea]] | )? *** No > ; > > believes_not_idea_object_L(tom, now, 1, 2, [[tom_denounced_idea, | denounced], | [tom_cicero_idea, | cicero], | [tom_catiline_idea, | catiline]] | )? *** No > ; > > believes_not_object_L(tom, now, 1, 2, [[denounced], | [cicero], | [catiline]] | )? *** Yes --1> *** No > > > %% Special Tully cases > > > believes_not_word_idea_object_L(tom, now, 1, 2, [[denounced_word, | tom_denounced_idea, | denounced], | [tully_word, | tom_tully_idea, | cicero], | [catiline_word, | tom_catiline_idea, | catiline]] | )? *** Yes --1> *** No > > believes_not_word_object_L(tom, now, 1, 2, [[denounced_word, | denounced], | [tully_word, | cicero], | [catiline_word, | catiline]] | )? *** Yes --1> *** No > > believes_not_word_idea_L(tom, now, 1, 2, [[denounced_word, | tom_denounced_idea], | [tully_word, | tom_tully_idea], | [catiline_word, | tom_catiline_idea]] | )? *** Yes --1> *** No > > believes_not_idea_object_L(tom, now, 1, 2, [[tom_denounced_idea, | denounced], | [tom_tully_idea, | cicero], | [tom_catiline_idea, | catiline]] | )? *** Yes --1> *** No > > believes_not_object_L(tom, now, 1, 2, [[denounced], | [cicero], % no separate tully | [catiline]] | )? *** Yes --1> *** No > > > > > > > %% End special tom cases > > > believes_not_word_idea_object_L(tom, now, 1, 2, [[denounced_word, | tom_denounced_idea, | denounced], | [tully_word, | tom_tully_idea, | cicero], % bcause tully=cicero | [catiline_word, | tom_catiline_idea, | catiline]] | )? *** Yes --1> *** No > > believes_not_word_object_L(tom, now, 1, 2, [[denounced_word, | denounced], | [tully_word, | cicero], % because tully=cicero | [catiline_word, | catiline]] | )? *** Yes --1> *** No > > believes_not_word_idea_L(tom, now, 1, 2, [[denounced_word, | tom_denounced_idea], | [tully_word, | tom_tully_idea], | [catiline_word, | tom_catiline_idea]] | )? *** Yes --1> *** No > > believes_not_idea_object_L(tom, now, 1, 2, [[tom_denounced_idea, | denounced], | [tom_tully_idea, | cicerio], % because tully=cicerro | [tom_catiline_idea, | catiline]] | )? *** No > ; > > believes_not_object_L(tom, now, 1, 2, [[denounced], | [cicero], % no separate tully | [catiline]] | )? *** Yes --1> *** No > > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > > %% begin check for contradictory beliefs cases > > contradicts_word_idea_object_L(tom, now, 1, 2, Triple_List)? *** No > ; > > contradicts_word_object_L(tom, now, 1, 2, Pair_List)? *** No > ; > > contradicts_word_idea_L(tom, now, 1, 2, Pair_List)? *** No > ; > > contradicts_idea_object_L(tom, now, 1, 2, Pair_List)? *** No > ; > > contradicts_object_L(tom, now, 1, 2, Object_List)? *** Yes Object_List = [[denounced],[cicero],[catiline]]. --1> *** No > > > > %% end conjunction cases > > %%%%%%%%%%%%%%%%%%%%%%%% Next Quine. > > believes_in_words(quine, now, 1, 2, [denounced_word, | cicero_word, | catiline_word])? *** Yes --1> *** No > > believes_in_ideas(quine, now, 1, 2, [quine_denounced_idea, | quine_cicero_idea, | quine_catiline_idea])? *** Yes --1> *** No > > believes_word_idea_object_L(quine, now, 1, 2, [[denounced_word, | quine_denounced_idea, | denounced], | [cicero_word, | quine_cicero_idea, | cicero], | [catiline_word, | quine_catiline_idea, | catiline]] | )? *** Yes --1> *** No > > believes_word_object_L(quine, now, 1, 2, [[denounced_word, | denounced], | [cicero_word, | cicero], | [catiline_word, | catiline]] | )? *** Yes --1> *** Yes --1> *** No > believes_word_idea_L(quine, now, 1, 2, [[denounced_word, | quine_denounced_idea], | [cicero_word, | quine_cicero_idea], | [catiline_word, | quine_catiline_idea]] | )? *** Yes --1> *** No > > believes_idea_object_L(quine, now, 1, 2, [[quine_denounced_idea, | denounced], | [quine_cicero_idea, | cicero], | [quine_catiline_idea, | catiline]] | )? *** Yes --1> *** No > > believes_object_L(quine, now, 1, 2, [[denounced], | [cicero], | [catiline]] | )? *** Yes --1> *** Yes --1> *** No > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > believes_word_idea_object_L(quine, now, 1, 2, [[denounced_word, | quine_denounced_idea, | denounced], | [tully_word, | quine_tully_idea, | cicero], % there is no distinct tully | [catiline_word, | quine_catiline_idea, | catiline]] | )? *** Yes --1> *** No > > believes_word_object_L(quine, now, 1, 2, [[denounced_word, | denounced], | [tully_word, | cicero], % there is no distinct tully | [catiline_word, | catiline]] | )? *** Yes --1> *** Yes --1> *** No > believes_word_idea_L(quine, now, 1, 2, [[denounced_word, | quine_denounced_idea], | [tully_word, | quine_tully_idea], | [catiline_word, | quine_catiline_idea]] | )? *** Yes --1> *** No > > believes_idea_object_L(quine, now, 1, 2, [[quine_denounced_idea, | denounced], | [quine_tully_idea, | cicero], % there is no distinct tully | [quine_catiline_idea, | catiline]] | )? *** Yes --1> *** No > > believes_object_L(quine, now, 1, 2, [[denounced], | [cicero], | [catiline]] | )? *** Yes --1> *** Yes --1> *** No > %%%%%%%%%%%%%%%%%%%%%% Next Part 2 of_orations > > %%% First tom > > believes_word_idea_object_L(tom, now, 1, 1, [[of_orations_word, | tom_of_orations_idea, | of_orations], | [cicero_word, | tom_cicero_idea, | cicero]] | )? *** Yes --1> *** No > > believes_word_object_L(tom, now, 1, 1, [[of_orations_word, | of_orations], | [cicero_word, | cicero]] | )? *** Yes --1> *** No > > believes_word_idea_L(tom, now, 1, 1, [[of_orations_word, | tom_of_orations_idea], | [cicero_word, | tom_cicero_idea]] | )? *** Yes --1> *** No > > believes_idea_object_L(tom, now, 1, 1, [[tom_of_orations_idea, | of_orations], | [tom_cicero_idea, | cicero]] | )? *** Yes --1> *** No > > believes_object_L(tom, now, 1, 1, [[of_orations], | [cicero]] | )? *** Yes --1> *** No > > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > believes_word_idea_object_L(tom, now, 1, 1, [[of_orations_word, | tom_of_orations_idea, | of_orations], | [tully_word, | tom_tully_idea, | cicero]] % there is no distinct tully | )? *** No > ; > > believes_word_object_L(tom, now, 1, 1, [[of_orations_word, | of_orations], | [tully_word, | cicero]] % there is no distinct tully | )? *** No > ; > > believes_word_idea_L(tom, now, 1, 1, [[of_orations_word, | tom_of_orations_idea], | [tully_word, | tom_tully_idea]] | )? *** No > ; > > believes_idea_object_L(tom, now, 1, 1, [[tom_of_orations_idea, | of_orations], | [tom_tully_idea, | cicero]] % there is no distinct tully | )? *** No > ; > > believes_object_L(tom, now, 1, 1, [[of_orations], | [cicero]] | )? *** Yes --1> *** No > > %%%%%%%%%%%%%%%%%%% Next quine > > > believes_in_words(quine, now, 1, 1, [of_orations_word, | cicero_word])? *** Yes --1> *** No > > believes_in_ideas(quine, now, 1, 1, [quine_of_orations_idea, | quine_cicero_idea])? *** Yes --1> *** No > > believes_word_idea_object_L(quine, now, 1, 1, [[of_orations_word, | quine_of_orations_idea, | of_orations], | [cicero_word, | quine_cicero_idea, | cicero]] | )? *** Yes --1> *** No > > believes_word_object_L(quine, now, 1, 1, [[of_orations_word, | of_orations], | [cicero_word, | cicero]] | )? *** Yes --1> *** Yes --1> *** No > believes_word_idea_L(quine, now, 1, 1, [[of_orations_word, | quine_of_orations_idea], | [cicero_word, | quine_cicero_idea]] | )? *** Yes --1> *** No > > believes_idea_object_L(quine, now, 1, 1, [[quine_of_orations_idea, | of_orations], | [quine_cicero_idea, | cicero]] | )? *** Yes --1> *** No > > believes_object_L(quine, now, 1, 1, [[of_orations], | [cicero]] | )? *** Yes --1> *** Yes --1> *** No > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > believes_word_idea_object_L(quine, now, 1, 1, [[of_orations_word, | quine_of_orations_idea, | of_orations], | [tully_word, | quine_tully_idea, | cicero]] % there is no distinct tully | )? *** Yes --1> *** No > > believes_word_object_L(quine, now, 1, 1, [[of_orations_word, | of_orations], | [tully_word, | cicero]] % there is no distinct tully | )? *** Yes --1> *** Yes --1> *** No > believes_word_idea_L(quine, now, 1, 1, [[of_orations_word, | quine_of_orations_idea], | [tully_word, | quine_tully_idea]] | )? *** Yes --1> *** No > > believes_idea_object_L(quine, now, 1, 1, [[quine_of_orations_idea, | of_orations], | [quine_tully_idea]] | )? *** No > ; > > believes_object_L(quine, now, 1, 1, [[of_orations], | [cicero]] | )? *** Yes --1> *** Yes --1> *** No > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > %%%%%%%%%%%%%%%%%%%%%% Next Part 3 of_De_Senectute > > %%% First tom > > believes_word_idea_object_L(tom, now, 1, 1, [[of_De_Senectute_word, | tom_of_De_Senectute_idea, | of_De_Senectute], | [cicero_word, | tom_cicero_idea, | cicero]] | )? *** No > ; > > believes_word_object_L(tom, now, 1, 1, [[of_De_Senectute_word, | of_De_Senectute], | [cicero_word, | cicero]] | )? *** No > ; > > believes_word_idea_L(tom, now, 1, 1, [[of_De_Senectute_word, | tom_of_De_Senectute_idea], | [cicero_word, | tom_cicero_idea]] | )? *** No > ; > > believes_idea_object_L(tom, now, 1, 1, [[tom_of_De_Senectute_idea, | of_De_Senectute], | [tom_cicero_idea, | cicero]] | )? *** No > ; > > believes_object_L(tom, now, 1, 1, [[of_De_Senectute], | [cicero]] | )? *** Yes --1> *** No > > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > believes_word_idea_object_L(tom, now, 1, 1, [[of_De_Senectute_word, | tom_of_De_Senectute_idea, | of_De_Senectute], | [tully_word, | tom_tully_idea, | cicero]] % there is no distinct tully | )? *** Yes --1> *** No > > believes_word_object_L(tom, now, 1, 1, [[of_De_Senectute_word, | of_De_Senectute], | [tully_word, | cicero]] % there is no distinct tully | )? *** Yes --1> *** No > > believes_word_idea_L(tom, now, 1, 1, [[of_De_Senectute_word, | tom_of_De_Senectute_idea], | [tully_word, | tom_tully_idea]] | )? *** Yes --1> *** No > > believes_idea_object_L(tom, now, 1, 1, [[tom_of_De_Senectute_idea, | of_De_Senectute], | [tom_tully_idea, | cicero]] % there is no distinct tully | )? *** Yes --1> *** No > > believes_object_L(tom, now, 1, 1, [[of_De_Senectute], | [cicero]] | )? *** Yes --1> *** No > > %%%%%%%%%%%%%%%%%%% Next quine > > > believes_in_words(quine, now, 1, 1, [of_De_Senectute_word, | cicero_word])? *** No > ; > > believes_in_ideas(quine, now, 1, 1, [quine_of_De_Senectute_idea, | quine_cicero_idea])? *** Yes --1> *** No > > believes_word_idea_object_L(quine, now, 1, 1, [[of_De_Senectute_word, | quine_of_De_Senectute_idea, | of_De_Senectute], | [cicero_word, | quine_cicero_idea, | cicero]] | )? *** No > ; > > believes_word_object_L(quine, now, 1, 1, [[of_De_Senectute_word, | of_De_Senectute], | [cicero_word, | cicero]] | )? *** No > ; > > believes_word_idea_L(quine, now, 1, 1, [[of_De_Senectute_word, | quine_of_De_Senectute_idea], | [cicero_word, | quine_cicero_idea]] | )? *** No > ; > > believes_idea_object_L(quine, now, 1, 1, [[quine_of_De_Senectute_idea, | of_De_Senectute], | [quine_cicero_idea, | cicero]] | )? *** Yes --1> *** No > > believes_object_L(quine, now, 1, 1, [[of_De_Senectute], | [cicero]] | )? *** Yes --1> *** Yes --1> *** No > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > believes_word_idea_object_L(quine, now, 1, 1, [[of_De_Senectute_word, | quine_of_De_Senectute_idea, | of_De_Senectute], | [tully_word, | quine_tully_idea, | cicero]] % there is no distinct tully | )? *** No > ; > > believes_word_object_L(quine, now, 1, 1, [[of_De_Senectute_word, | of_De_Senectute], | [tully_word, | cicero]] % there is no distinct tully | )? *** No > ; > > believes_word_idea_L(quine, now, 1, 1, [[of_De_Senectute_word, | quine_of_De_Senectute_idea], | [tully_word, | quine_tully_idea]] | )? *** No > ; > > believes_idea_object_L(quine, now, 1, 1, [[quine_of_De_Senectute_idea, | of_De_Senectute], | [quine_tully_idea]] | )? *** No > ; > > believes_object_L(quine, now, 1, 1, [[of_De_Senectute], | [cicero]] | )? *** Yes --1> *** Yes --1> *** No > %%%%%%%%%%%%%%%%%%%%%%%%%%% Next Opacity > > opaque_believes_in_words(tom, now, 1, 2, | Word_List_1, | Word_list_2)? *** No > ; > > opaque_believes_in_ideas(tom, now, 1, 2, | Idea_List_1, | Idea_list_2)? *** No > ; > > opaque_believes_word_idea_object_L(tom, now, 1, 2, | Triple_List_1, | Triple_list_2)? *** No > ; > > opaque_believes_word_object_L(tom, now, 1, 2, | Pair_List_1, | Pair_List_2)? *** No > ; > > opaque_believes_word_idea_L(tom, now, 1, 2, | Pair_List_1, | Pair_List_2)? *** No > ; > > opaque_believes_idea_object_L(tom, now, 1, 2, | Pair_List_1, | Pair_List_2)? *** No > ; > > opaque_believes_object_L(tom, now, 1, 2, | Object_List_1, | Object_List_2)? *** No > > ; > > transparent_believes_word_idea_object_L(tom, now, 1, 2, | Triple_List_1, | Triple_List_2)? *** Yes Triple_List_1 = [[denounced_word,tom_denounced_idea,_A: denounced], [cicero_word,tom_cicero_idea,_B: cicero], [catiline_word,tom_catiline_idea,_C: catiline]], Triple_List_2 = [[denounced_word,tom_denounced_idea,_A], [cicero_word,tom_cicero_idea,_B], [catiline_word,tom_catiline_idea,_C]]. --1> *** Yes Triple_List_1 = [[denounced_word,tom_denounced_idea,_A: denounced], [cicero_word,tom_cicero_idea,_B: cicero], [catiline_word,tom_catiline_idea,_C: catiline]], Triple_List_2 = [[denounced_word,tom_denounced_idea,_A], [cicero_word,tom_cicero_idea,_B], [catiline_word,tom_catiline_idea,_C]]. --1> *** No > transparent_believes_word_object_L(tom, now, 1, 2, | Pair_List_1, | Pair_List_2)? *** Yes Pair_List_1 = [[denounced_word,_A: denounced], [cicero_word,_B: cicero], [catiline_word,_C: catiline]], Pair_List_2 = [[denounced_word,_A],[cicero_word,_B],[catiline_word,_C]]. --1> *** Yes Pair_List_1 = [[denounced_word,_A: denounced], [cicero_word,_B: cicero], [catiline_word,_C: catiline]], Pair_List_2 = [[denounced_word,_A],[cicero_word,_B],[catiline_word,_C]]. --1> *** No > transparent_believes_word_idea_L(tom, now, 1, 2, | Pair_List_1, | Pair_List_2)? *** Yes Pair_List_1 = [[denounced_word,_A: tom_denounced_idea], [cicero_word,_B: tom_cicero_idea], [catiline_word,_C: tom_catiline_idea]], Pair_List_2 = [[denounced_word,_A],[cicero_word,_B],[catiline_word,_C]]. --1> *** Yes Pair_List_1 = [[denounced_word,_A: tom_denounced_idea], [cicero_word,_B: tom_cicero_idea], [catiline_word,_C: tom_catiline_idea]], Pair_List_2 = [[denounced_word,_A],[cicero_word,_B],[catiline_word,_C]]. --1> *** No > transparent_believes_idea_object_L(tom, now, 1, 2, | Pair_List_1, | Pair_List_2)? *** Yes Pair_List_1 = [[tom_denounced_idea,_A: denounced], [tom_cicero_idea,_B: cicero], [tom_catiline_idea,_C: catiline]], Pair_List_2 = [[tom_denounced_idea,_A], [tom_cicero_idea,_B], [tom_catiline_idea,_C]]. --1> *** No > > transparent_believes_object_L(tom, now, 1, 2, | Object_List_1, | Object_List_2)? *** No > ; > > > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > > opaque_believes_in_words(quine, now, 1, 2, | Word_List_1, | Word_list_2)? *** No > ; > > opaque_believes_in_ideas(quine, now, 1, 2, | Idea_List_1, | Idea_list_2)? *** No > ; > > opaque_believes_word_idea_object_L(quine, now, 1, 2, | Triple_List_1, | Triple_list_2)? *** No > ; > > opaque_believes_word_object_L(quine, now, 1, 2, | Pair_List_1, | Pair_List_2)? *** No > ; > > opaque_believes_word_idea_L(quine, now, 1, 2, | Pair_List_1, | Pair_List_2)? *** No > ; > > opaque_believes_idea_object_L(quine, now, 1, 2, | Pair_List_1, | Pair_List_2)? *** No > ; > > opaque_believes_object_L(quine, now, 1, 2, | Object_List_1, | Object_List_2)? *** No > ; > > transparent_believes_word_idea_object_L(quine, now, 1, 2, | Triple_List_1, | Triple_List_2)? *** Yes Triple_List_1 = [[denounced_word,quine_denounced_idea,_A: denounced], [cicero_word,quine_cicero_idea,_B: cicero], [catiline_word,quine_catiline_idea,_C: catiline]], Triple_List_2 = [[denounced_word,quine_denounced_idea,_A], [cicero_word,quine_cicero_idea,_B], [catiline_word,quine_catiline_idea,_C]]. --1> *** Yes Triple_List_1 = [[denounced_word,quine_denounced_idea,_A: denounced], [cicero_word,quine_cicero_idea,_B: cicero], [catiline_word,quine_catiline_idea,_C: catiline]], Triple_List_2 = [[denounced_word,quine_denounced_idea,_A], [cicero_word,quine_tully_idea,_B], [catiline_word,quine_catiline_idea,_C]]. --1> *** No > transparent_believes_word_object_L(quine, now, 1, 2, | Pair_List_1, | Pair_List_2)? *** Yes Pair_List_1 = [[denounced_word,_A: denounced], [cicero_word,_B: cicero], [catiline_word,_C: catiline]], Pair_List_2 = [[denounced_word,_A],[cicero_word,_B],[catiline_word,_C]]. --1> *** Yes Pair_List_1 = [[denounced_word,_A: denounced], [cicero_word,_B: cicero], [catiline_word,_C: catiline]], Pair_List_2 = [[denounced_word,_A],[cicero_word,_B],[catiline_word,_C]]. --1> *** No > transparent_believes_word_idea_L(quine, now, 1, 2, | Pair_List_1, | Pair_List_2)? *** Yes Pair_List_1 = [[denounced_word,_A: quine_denounced_idea], [cicero_word,_B: quine_cicero_idea], [catiline_word,_C: quine_catiline_idea]], Pair_List_2 = [[denounced_word,_A],[cicero_word,_B],[catiline_word,_C]]. --1> *** Yes Pair_List_1 = [[denounced_word,_A: quine_denounced_idea], [cicero_word,_B: quine_cicero_idea], [catiline_word,_C: quine_catiline_idea]], Pair_List_2 = [[denounced_word,_A],[tully_word,_B],[catiline_word,_C]]. --1> *** No > transparent_believes_idea_object_L(quine, now, 1, 2, | Pair_List_1, | Pair_List_2)? *** Yes Pair_List_1 = [[quine_denounced_idea,_A: denounced], [quine_cicero_idea,_B: cicero], [quine_catiline_idea,_C: catiline]], Pair_List_2 = [[quine_denounced_idea,_A], [quine_cicero_idea,_B], [quine_catiline_idea,_C]]. --1> *** Yes Pair_List_1 = [[quine_denounced_idea,_A: denounced], [quine_cicero_idea,_B: cicero], [quine_catiline_idea,_C: catiline]], Pair_List_2 = [[quine_denounced_idea,_A], [quine_tully_idea,_B], [quine_catiline_idea,_C]]. --1> *** No > transparent_believes_object_L(quine, now, 1, 2, | Object_List_1, | Object_List_2)? *** No > ; > > > write_stats(Ignore)? I am not sure of units here Clock Time 1.56816 Seconds CPU Time 100 Milliseconds *** Yes Ignore = @. --1> *** No > > > > halt?