theorem instSearchConsentChoiceAtToParent
theorem instSearchConsentChoiceAtToParent
: ∀ (x t : Type) [SearchConsentChoice.At x t], RightsAffectingChoice.At x t