=> Combining the different dimensions
(a work has been done for logical and temporal).

=> Still lot of work in this area, needs for powerful constraints techniques