lean graphs in the semantics

It appears that the definition of lean graphs is not very useful.

For example

	ex:x ex:r _:x .
	_:x ex:r ex:y .
	ex:x ex:r _:y .
	_:y ex:r ex:z .

is a non-lean graph but it is not internally redundant.

peter