I'm having trouble visualizing what you're trying to accomplish in the abstract, but you're probably looking for the intersection operator

&

https://docs.authzed.com/reference/schema-lang#-intersection