No FAQ available that match "direct model theoretic semantics semantics"