Text this: Establecimiento y verificación de la consistencia en dome: un caso de estudio