 
 
 
[eclipse 3]: fd:(X::1..5), X tent_set 3.
X = X{fd:[1..5], repair:3}
[eclipse 3]: fd:(X::1..5), X tent_set 7.
X = X{fd:[1..5], repair:7}
[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 | 
 
 
