"A means via which one instance can refer to another."
shared interface ReachableReference/*<Instance>*/ // Reachable
of Member|Element|Outer {
"The [[referred]] instance reachable from the given [[instance]]."
shared formal Anything referred(Object/*<Instance>*/ instance);
}