instantiatedness. An inst holds three different sorts of information. It indicates whether a variable is free, partially bound, or ground. If a variable is bound, it may indicate which functor(s) the variable can be bound to. Also, an inst records whether a value is unique, or whether it may be aliased.