Isn't what you describe eventually just a context contraint problem?