Reentrancy in feature structures

[Martin Jansche]

On Mon, 15 Jul 2002, Ash Asudeh wrote:

> First, I don't think agreement and reflexive binding are the only
> places where reentrancy is relevant. Another phenomenon is raising
> and also possibly control (depending on how it's done). Note that
> type (i.e. substructure) identity is insufficient for raising.

Is the last point a general claim about sorted feature structures (in
which case I'd suggest it's false), or is it a claim about a
particular sort inventory/hierarchy?  Surely you could set up your
sorts in such a way that type identity is all you need for raising.

- martin