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