true. ['facts/common_facts_2017_0001']. % facts/common_facts_2017_0001 compiled 0.00 sec, 100 clauses true. ['facts/common_facts_2017_0002']. Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/facts/common_facts_2017_0002.pl:275: Clauses of book/5 are not together in the source-file Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/facts/common_facts_2017_0002.pl:408: Clauses of philosophical_quotation/7 are not together in the source-file % facts/common_facts_2017_0002 compiled 0.00 sec, 180 clauses true. ['rules/common_2017_0001']. Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:43: Singleton variables: [Subject,Time,Type,Arity,Relation] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:45: Singleton variables: [Subject,Time,Type,A_Object] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:57: Singleton variables: [Type_p1,Relation,A_Object,B_Object,C_Object] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:61: Singleton variables: [Internal_Relation_symbol,A_Internal_Symbol,B_Internal_Symbol,C_Internal_Symbol] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:65: Singleton variables: [Type_p1] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:79: Singleton variables: [External_Relation_Symbol_2] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:91: Singleton variables: [Internal_Relation_Symbol,A_Internal_Symbol,B_Internal_Symbol,C_Internal_Symbol] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:95: Singleton variables: [Relation,A_Object,B_Object,C_Object] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:99: Singleton variables: [Internal_Relation_Symbol] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:103: Singleton variables: [Internal_Relation_symbol,A_Internal_Symbol,B_Internal_Symbol,C_Internal_Symbol] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:136: Singleton variables: [Logical_Form] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:166: Singleton variables: [Subject,Time] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:168: Singleton variables: [Subject,Time] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:176: Singleton variables: [Subject,Time] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:178: Singleton variables: [Subject,Time] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:223: Singleton variables: [Relation2] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:223: Singleton variable in \+: Logical_Form_2 Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:247: Singleton variables: [Number1A,Number1B,External_Term_2,NumberA,NumberB] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:253: Singleton variables: [Quote_1A,Quote_2A,Quote_3A,Quote_4A,Quote_1B,Quote_2B,Quote_3B,Quote_4B] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:259: Singleton variables: [Quote_1A,Quote_2A,Quote_3A,Quote_4A,Quote_1B,Quote_2B,Quote_3B,Quote_4B] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:289: Singleton variables: [Author_Book_Abbreviation] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:291: Singleton variables: [Author_Article_Abbreviation] % rules/common_2017_0001 compiled 0.01 sec, 49 clauses true. ['rules/prolog_2017_0001']. Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/prolog_2017_0001.pl:27: Singleton variables: [Type,Arity] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/prolog_2017_0001.pl:36: Singleton variables: [Ignore] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/prolog_2017_0001.pl:39: Singleton variables: [Ignore] % rules/prolog_2017_0001 compiled 0.00 sec, 13 clauses true. write_time(Ignore). will be time someday true. remark(6001, Remark). Remark = 'Test Set 6 - about propositions.'. quote_note(br0010, Author, Author_Article, Author_Book, Article_Title, Book_Title, Pages, Quotation, Article_Year, Book_Year, Note1, Notes_Article, Notes_Book). Author = Author_Book, Author_Book = 'Bertrand Russell', Author_Article = Article_Title, Article_Title = Article_Year, Article_Year = Note1, Note1 = Notes_Article, Notes_Article = Notes_Book, Notes_Book = none, Book_Title = 'CPBR 07: Theory of Knowledge, The 1913 Manuscript', Pages = '109-110', Quotation = 'TBD', Book_Year = '1913' internal_proposition(0, Arity, Internal_Relation_Symbol, Relation, A_Internal_Symbol, A_Object, B_Internal_Symbol, B_Object, C_Internal_Symbol, C_Object). Arity = 2, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, A_Internal_Symbol = B_Internal_Symbol, B_Internal_Symbol = tom_cicero_int, A_Object = B_Object, B_Object = cicero, C_Internal_Symbol = C_Object, C_Object = nop internal_proposition(1, Arity, Internal_Relation_Symbol, Relation, A_Internal_Symbol, A_Object, B_Internal_Symbol, B_Object, C_Internal_Symbol, C_Object). false. internal_proposition(2, Arity, Internal_Relation_Symbol, Relation, A_Internal_Symbol, A_Object, B_Internal_Symbol, B_Object, C_Internal_Symbol, C_Object). false. internal_proposition(3, Arity, Internal_Relation_Symbol, Relation, A_Internal_Symbol, A_Object, B_Internal_Symbol, B_Object, C_Internal_Symbol, C_Object). false. external_proposition(0, Arity, External_Relation_Symbol, Relation, A_External_Symbol, A_Object, B_External_Symbol, B_Object, C_External_Symbol, C_Object). Arity = 2, External_Relation_Symbol = denounced_ext, Relation = denounced, A_External_Symbol = B_External_Symbol, B_External_Symbol = cicero_ext, A_Object = B_Object, B_Object = cicero, C_External_Symbol = C_Object, C_Object = nop external_proposition(1, Arity, External_Relation_Symbol, Relation, A_External_Symbol, A_Object, B_External_Symbol, B_Object, C_External_Symbol, C_Object). false. external_proposition(2, Arity, External_Relation_Symbol, Relation, A_External_Symbol, A_Object, B_External_Symbol, B_Object, C_External_Symbol, C_Object). false. external_proposition(3, Arity, External_Relation_Symbol, Relation, A_External_Symbol, A_Object, B_External_Symbol, B_Object, C_External_Symbol, C_Object). false. write_stats(Ignore). will be stats someday true. noprotocol.