Subconcepts of |C||case, instance|