A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules