Semantic specs added