theorem Dictionary.instCapabilityIsToParent
theorem Dictionary.instCapabilityIsToParent: ∀ (x : Type) [Capability.Is x], Disposition.Is x
theorem Dictionary.instCapabilityIsToParent
theorem Dictionary.instCapabilityIsToParent: ∀ (x : Type) [Capability.Is x], Disposition.Is x