public void IsSatisfied() { IsAFact fact = new IsAFact("p", "IsAFact"); Assert.IsTrue(fact.IsSatisfiedByValue(fact)); }