public void Test0_2()
{
string story = @"
Fluent R1
Fluent R2
Fluent R3
Agent g1
Agent g2
Agent g3
Agent g4
Action A1
Action A2
A1 by [g1, g2, g3] causes [R1]
A1 by [g1, g3] causes [R3]
A2 by [g2, g3, g4] causes [R2]
A2 by [g1, g4] causes [R2]
";
var tokens = Tokenizer.Tokenize(story);
var parserState = Parser.Parse(tokens);
var expressions = new ExpressionsList();
expressions.AddRange(parserState.Expression);
expressions.AddRange(parserState.Noninertial.Values);
string query = @"
possibly [g2] engaged in (A1, [g1, g2, g3]),(A2, [g2, g3, g4])
";
Query q = Parser.ParseQuery(Tokenizer.Tokenize(query), parserState);
var res = q.Solve(expressions);
Assert.AreEqual(true, res);
}
public void Test1()
{
string story = @"
Fluent hasA
Fluent hasB
Agent g
Action buypaper
buypaper by [g] causes [hasA || hasB]
";
var tokens = Tokenizer.Tokenize(story);
var parserState = Parser.Parse(tokens);
var expressions = new ExpressionsList();
expressions.AddRange(parserState.Expression);
expressions.AddRange(parserState.Noninertial.Values);
string query = @"
possibly [g] engaged in (buypaper, [g])
";
Query q = Parser.ParseQuery(
Tokenizer.Tokenize(query),
parserState);
var result = q.Solve(expressions);
Assert.IsTrue(result);
}
