Embedding Tarskian Semantics in Vector Spaces