public void Compiled2g()
{
Facts.Clear();
Thing p = new Thing("p");
Thing c = new Thing("c");
Thing c2 = new Thing("c2");
Facts.Assert(p, "Econ.EmploymentRelationship", c2, "Employee");
Tbool result = Econ.IsEmployedBy(p, c2);
Assert.AreEqual(true, result.Out);
}
private static Tbool SomeoneWorksAt(Thing c, Tset theSet)
{
return(theSet.Exists(_ => Econ.IsEmployedBy(_, c)));
}