Proof vs. Model
Not practical to have mainly reductionist approach to semantic representation (intensional, as proofs from axioms)
Alternative? a large extensional model that by implicit agreement covers a realistic part of the world.
Claim: properly designed large extensional ontologies (lexicons, thesauri) are a practical solution for the latter