Implementing Semantic Theories