output filters in HPSG?

[Stephen M. Wechsler]

Adam,
Yes, I think that's exactly right:  I need to existentially quantify over
paths.
(However, I dont think I need to specify that it's within the NP, since
there are no case concord elements outside... or is the point of this to
prevent 'spurious structure-sharing' with cased elements elsewhere in the
sentence?)

Will take a look at the readings.

thanks
Steve

At 6:30 PM -0400 6/2/2000, Adam Przepiorkowski wrote:
>Steve,
>
>If I understand your intended constraint correctly, the problem you are
>facing is not non-monotonicity but quantification: you want to say that,
>given an NP has CASE value [1], there must be *some* case-inflected-word
>*somewhere* in this NP which also has CASE value [1], right?
>
>If so, this seems to be exactly the kind of intuition that can be captured
>straightforwardly once you adopt RSRL (Richter et al. 1999, Richter 2000)
>as your underlying logic for HPSG.  In RSRL, you can say this directly:
>
>
>|phrase                 |        exists x (withing this phrase) such that
>|SYNSEM|...|CASE [1]case|  --->  x = |case-inflected-word    |
>                                     |SYNSEM|...|CASE [1]case|
>
>See...
>
>@InCollection{ric:sai:pen:99,
>  author = 	 "Frank Richter and Manfred Sailer and Gerald Penn",
>  title = 	 "A Formal Interpretation of Relations and
>                  Quantification in {HPSG}",
>  booktitle = 	 "Constraints and Resources in Natural Language Syntax and
>		  Semantics",
>  editor = 	 "Gosse Bouma and Erhard Hinrichs and Geert-Jan M. Kruijff
>		  and Richard T. Oehrle",
>  publisher = 	 "CSLI Publications",
>  year = 	 1999,
>  address =	 "Stanford",
>  pages =	 "281--298"}
>
>...for starters and this for comprehensive formalization and linguistic
>justification (and AVM-like notation):
>
>@PhdThesis{rich:00,
>  author = 	 "Frank Richter",
>  title = 	 "A Mathematical Formalism for Linguistic Theories with an
>		  Application in {H}ead-Driven {P}hrase {S}tructure
>		  {G}rammar",
>  school = 	 "Universit{\"a}t T{\"u}bingen",
>  url =
>"http://www.sfs.nphil.uni-tuebingen.de/~fr/cards/dissertation.html",
>  year = 	 2000}
>
>
>Hope this helps.
>
>Best,
>
>	Adam
>
>--
>           ,
>ADAM PRZEPIORKOWSKI
>--------------------------------------------------------------
>Ohio State University       | work: (USA) (614) 292 5389
>Department of Linguistics   | home: (USA) (614) 261 1572
>222 Oxley Hall              | fax:  (USA) (614) 292 8833
>1712 Neil Ave.              |
>Columbus OH 43210           | email: adamp at ling.ohio-state.edu
>--------------------------------------------------------------
>URL:  http://www.ipipan.waw.pl/mmgroup/ap.html
>--------------------------------------------------------------
>
>On leave from the Institute of Computer Science,
>Polish Academy of Sciences, Warsaw.