add semantic specs