semantic specs