[eclipse 3]: fd:(X::1..5), X tent_set 3.
X = X{fd:[1..5], repair:3}
produces a tenable variable (note how the tentative value is printed
as the variable's repair-attribute), while on the other hand
[eclipse 3]: fd:(X::1..5), X tent_set 7.
X = X{fd:[1..5], repair:7}
produces an untenable variable. Note that, unlike logical assignments,
the tentative value can be changed:
[eclipse 3]: fd:(X::1..5), X tent_set 7, X tent_set 3.
X = X{fd:[1..5], repair:3}
| Variable Groundness | Variable Tenability | Value in Tentative Assignment |
| Ground | Tenable | Ground Value |
| Ground | Not Tenable | Ground Value |
| Not Ground | Tenable | Tentative Value |
| Not Ground | Not Tenable | Undefined |