SatisfiesExpression