Erro na criação de domínio no Ibexpert

Pessoal. A professora da faculdade passou o seguinte exercício inicial para exercitar o banco, como teste.
Domínios complexos:
– Além de definirem um apelido para o tipo de dado, estabelecem regras
e restrições para o novo tipo de dado.
– Exemplo:
CREATE DOMAIN Tipo_UF as CHAR(2)
CHECK (VALUE in ("AM‟, "AC‟, "RR‟, "RO‟, "AP‟, "PA‟, "MA‟, "PI‟, "CE‟,
"RN‟, "PE‟, "PB‟, "AL‟, "SE‟, "MT‟, "MS‟, "GO‟, "TO‟, "BA‟, "MG‟, "ES‟, "RJ‟,
"SP‟, "PR‟, "SC‟, "RS‟, "DF‟))
NOT NULL;


Bom, acima é o exercício e logo abaixo segue o código com o erro.
[img:descricao=Domínio Empresa]http://arquivo.devmedia.com.br/forum/imagem/382801-20141001-203024.jpg[/img]