{"internal_rings": {"value": "SRing", "label": "SRing"}, "parent": {"value": "SSet", "label": "SSet"}}
{"internal_rings": {"value": "Ring", "label": "Ring"}, "parent": {"value": "Set", "label": "Set"}}
{"internal_rings": {"value": "TopRing", "label": "TopRing"}, "parent": {"value": "Top", "label": "Top"}}