theorem instRelationalQualityIsToParent
theorem instRelationalQualityIsToParent: ∀ (x : Type) [RelationalQuality.Is x], Quality.Is x
theorem instRelationalQualityIsToParent
theorem instRelationalQualityIsToParent: ∀ (x : Type) [RelationalQuality.Is x], Quality.Is x