theorem instSearchConsentChoiceIsToParent
theorem instSearchConsentChoiceIsToParent
: ∀ (x : Type) [SearchConsentChoice.Is x], RightsAffectingChoice.Is x