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");
}
