Solving topological constraints for declarative families of objects