[PRD] proof that model theory of conditions != matching substitution semantics

It just takes a counterexample to "prove" this, and here is one, I think:

consider the condition 1=1.  By the model theory, this condition is
satisfied in every fact base. However, by the matching substitution
semantics, this condition is satisfied only in fact bases that
explicitly contain 1=1 as an atomic formula. Now, the equality
relation is infinite but a fact base is finite, therefore no fact base
can contain the entire equality relation.

-- 
Cheers,

Gary Hallmark