Re: 1.5: Discuss link characteristics?

>>From section 1.5 Types of link types
>1.5.a Shall we have a discussion of the characteristics links can
> can have, including relationship, topology, locator language,
> formatting, and behavior?
I think we need to somehow formalise what the various link types are 
supposed to do when "actioned". Otherwise, how can two implementations
be compared are adjudicated correct or incorrect? I think a lot of 
dense prose explaining what they should do might be obviated by an
implementation neutral expression of the dynamic semantics in something like
Scheme (using groves presumably).