private static Tbool Owns(Thing p, Thing r)
{
return(Facts.QueryTvar <Tbool>("Owns", p, r));
}
private static Tset TestSet(Thing t)
{
return(Facts.QueryTvar <Tset>("Tests.TestSet", t));
}
// "Pretend" functions for testing purposes
private static Tnum AssetValue(Thing asset)
{
return(Facts.QueryTvar <Tnum>("ValueOf", asset));
}
private static Tnum Quant(Thing t)
{
return(Facts.QueryTvar <Tnum>("Tests.Quant", t));
}
private static Tbool AllAreMale(Tset theSet)
{
return(theSet.ForAll(_ => Facts.QueryTvar <Tstr>("Gender", _) == "Male"));
}
private static Tbool IsParentOf(Thing p1, Thing p2)
{
return(Facts.QueryTvar <Tbool>("IsParentOf", p1, p2));
}
private static Tnum Y()
{
return(Facts.QueryTvar <Tnum>("Y", p1, p2));
}
private static Tbool D()
{
return(Facts.QueryTvar <Tbool>("D", p1, p2));
}