public void SymUU()
{
Facts.Clear();
Tbool result = Facts.Sym(p1, "IsMarriedTo", p2);
Assert.AreEqual("Unstated", result.Out);
}
public void SymFU()
{
Facts.Clear();
Facts.Assert(p1, "IsMarriedTo", p2, false);
Tbool result = Facts.Sym(p1, "IsMarriedTo", p2);
Assert.AreEqual(false, result.Out);
}
public void SymTF()
{
Facts.Clear();
Facts.Assert(p1, "IsMarriedTo", p2, true);
Facts.Assert(p2, "IsMarriedTo", p1, false); // contradictory assertion
Tbool result = Facts.Sym(p1, "IsMarriedTo", p2);
Assert.AreEqual(true, result.Out); // what is desired here? (or forbid contradictions)
}
public void SymTT()
{
Facts.Clear();
Facts.Assert(p1, "IsMarriedTo", p2, true);
Facts.Assert(p2, "IsMarriedTo", p1, true);
Tbool result = Facts.Sym(p1, "IsMarriedTo", p2);
Assert.AreEqual(true, result.Out);
}
