Semantic typology