c executes activity in d if and only if c enables p and p occurs_in d. Assuming no action at a distance by gene products, if a gene product enables (is capable of) a process that occurs in some structure, it must have at least some part in that structure.

c executes activity in d if and only if c enables p and p occurs_in d

Synonyms: enables activity in