theorem Dictionary.instCommunicationIsToParent
theorem Dictionary.instCommunicationIsToParent: ∀ (x : Type) [Communication.Is x], Process.Is x
theorem Dictionary.instCommunicationIsToParent
theorem Dictionary.instCommunicationIsToParent: ∀ (x : Type) [Communication.Is x], Process.Is x