A model data structure for Disconf