logical_completeness: TracedSymmMonCat

This data as json