This need to clarify that we are not actually evaluating the expression (which might be ill-formed) but are doing concepts satisfaction checking.

Proposed change:

Use “is satisfied” instead of “is true”.