More reasonable ClauseData structure.