Expressing constraint satisfaction problems in declarative modeling using natural language and fuzzy sets