Reentrancy in feature structures

[Carl Pollard]

Not disagreeing with Martin's reply to Ash but sharpening it
a bit: I would say just plain equality is enough to do raising
in a formalism where there are no structural copies: you need
for something associated with the complement subject to be equal
(the selfsame thing as) something associated with the controller.
The nonexistence of structurally isomorphic but nonidentical
things should not affect this. --  Carl
-----------
>From owner-hpsg-l at lists.Stanford.EDU Mon Jul 15 10:26:26 2002
Date: Mon, 15 Jul 2002 10:24:16 -0400 (EDT)
From: Martin Jansche <jansche at ling.ohio-state.edu>
To: HPSG List <hpsg-l at lists.Stanford.EDU>
Subject: Re: Reentrancy in feature structures
MIME-Version: 1.0


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