A deontic logical framework for modelling product families