definition a possible proposition which can hold or not hold variants input, output and range constraints. examples the equipment is on site; the mouth is anaesthetised term in other fields state in TOVE, condition in some others