SMS: Semantic theory