Required semantic