logical_completeness: DagCompCat

This data as json