Existence dependency: conceptual modelling by contract