// $Id: Data.cs 1295 2007-05-11 16:52:51Z josd $ using System; using System.IO; using System.Text; using NUnit.Framework; namespace Eulersharp.test { /// /// This class contains the different test cases. /// public class Data { /// /// Header for the n3 files /// public const string Header = "@prefix log: .\n"; /// /// Overview of the positive parser tests of etc1 /// public static string[] PositiveParserTests_etc1 = { "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjuction => !log:semantics." }; /// /// Overview of the positive entailment tests of etc1 /// public static string[] PositiveEntailmentTests_etc1 = { "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", }; /// /// Overview of the negative entailment tests of etc1 /// public static string[] NegativeEntailmentTests_etc1 = { "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", }; /// /// Overview of the positive entailment tests of etc2 /// public static string[] PositiveEntailmentTests_etc2 = { "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics." }; /// /// Overview of the negative entailment tests of etc2 /// public static string[] NegativeEntailmentTests_etc2 = { "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics." }; /// /// Overview of the consistency tests of etc2 /// public static string[] ConsistencyTests_etc2 = { "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction log:notImplies !log:semantics." }; /// /// Overview of the inconsistency tests of etc2 /// public static string[] InconsistencyTests_etc2 = { "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics." }; /// /// Overview of the imported entailment tests of etc2 /// public static string[] ImportEntailmentTest_etc2 = { "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics." }; /// /// Overview of OWL for OWL tests of etc2 /// public static string[] OWLforOWLTest_etc2 = { "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjuction => !log:semantics." }; /// /// Overview of the etc3 tests /// public static string[] etc3 = { "(!log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics (think))!log:conjunction => !log:semantics.", "(!log:semantics (think))!log:conjunction => !log:semantics.", "(!log:semantics (think))!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics)!log:conjunction => !log:semantics.", "()!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics (think))!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics (think))!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics.", "(!log:semantics !log:semantics !log:semantics !log:semantics)!log:conjunction => !log:semantics." }; /// /// Overview of the etc5 tests /// public static string[] etc5 = { "()!log:conjunction => !log:semantics.", "()!log:conjunction => !log:semantics.", "()!log:conjunction => !log:semantics." }; /// /// This method executes a certain test case /// /// the rule that describes the test case /// the name of the result file /// the name of the proof file public static void executeTest(string rule, string resultFile, string proofFile) { TextWriter s = new StreamWriter(new FileStream("test.n3", FileMode.Create)); s.Write(Data.Header); s.Write(rule); s.Flush(); s.Close(); StringWriter writer = new StringWriter(); System.Console.SetError(writer); string[] args = new string[4]; args[0] = "--local"; args[1] = "--step"; args[2] = "8000000"; args[3] = "test.n3"; String proof = EulerRunner.doProof(args); Outputter.getInstance().writeProof("./proofs/" + proofFile + ".n3", proof); string result = writer.ToString(); StringBuilder sb = new StringBuilder(result); int i = result.IndexOf("r:system :eulersharp; "); if (i != -1) sb.Insert(i + 22, "r:output ; "); result = sb.ToString(); Outputter.getInstance().addToResult(resultFile, result); Assertion.AssertNotNull("Result of test is null???", result); Assertion.Assert("Result of test case is empty???", !"".Equals(result)); if (result.IndexOf("FailingRun") > 0) { Assertion.Fail("Failing Run"); } else { if (result.IndexOf("UndecidedRun") > 0) { Assertion.Fail("Undecided Run"); } else { Assertion.Assert(result.IndexOf("PassingRun") > 0); } } } } }