/// <summary>
/// The proposition representing that concept k applies to individual i
/// </summary>
public Proposition IsA(Individual i, MonadicConcept k)
{
if (k is CommonNoun n && !CanBeA(i, n))
{
return(false);
}
var p = PredicateOf(k)(i);
p.InitialProbability = k.InitialProbability;
return(p);
}
public Proposition Holds(Verb v, Individual i1, Individual i2) => PredicateOf(v)(i1, i2);