Hi, I wonder if anyone can help me understand how the constraint and term binding mechanisms are intended to work at run-time?
e.g. At present an element may be bound to a series of terminology codes , which tends to be expressed as "any term related to...". Is it intended that this be expressed formally in the future, and, if so, are there any likely candidate formalisms (if that is the right word!) Ian

