public void SatisfiedBy() { Bound expression1 = new Bound(new Variable("scooby")); Bound expression2 = new Bound(new Variable("velma")); Bindings bindings = new Bindings(); bindings.Bind(new Variable("scooby"), new Resource()); Assert.AreEqual(true, expression1.Evaluate(bindings), "expression1 should be satisfied by solution"); Assert.AreEqual(false, expression2.Evaluate(bindings), "expression2 should not be satisfied by solution"); }