Mỗi biến ngẫu nhiên có một tên miền giá trị có thể mất trên. Ví dụ, cáctên miền của Cavzty có thể (đúng, f l một ~ e). ~ (Chúng tôi sẽ sử dụng chữ thường cho các giá trị tên af.)Loại đề xuất, đơn giản nhất khẳng định rằng một biến ngẫu nhiên có một giá trị cụ thể, rút ratừ tên miền của mình. Ví dụ, Cavzty = true có thể đại diện cho các đề xuất tôi làm trong thực tếcó một hốc trong răng wisdom trái thấp hơn.Như với các biến CSP, biến ngẫu nhiên thông thường được chia thành ba kunds, tùy thuộc vào loại tên miền:
đang được dịch, vui lòng đợi..
