Satisfaction relations are definable in terms of simpler notions like denotation and predicate appli...
This proposition has not been edited since the history system was added.