public bool IsAFact(Fact fact) { if (this.facts.Contains(fact)) return true; NameVerbValueFact namefact = (NameVerbValueFact)fact; return namefact.IsSatisfiedByContext(this.context); }