@InProceedings{Pinkal_Kohlhase:2000,
      AUTHOR = {Pinkal, Manfred and Kohlhase, Michael},
      TITLE = {Feature Logic for Dotted Types: A Formalism for Complex Word Meanings},
      YEAR = {2000},
      BOOKTITLE = {Proceedings of the 38th Annual Meeting of the Association for Computational Linguistics (ACL '00), October 1-8},
      ADDRESS = {Hong Kong},
      PUBLISHER = {Morgan Kaufmann Publishers},
      URL = {http://www.cs.cmu.edu/~kohlhase/papers/acl00.ps},
      ABSTRACT = {In this paper we revisit Pustejovsky's proposal to treat ontologically complex word meaning by so-called dotted pairs. We use a higher-order feature logic based on Ohori's record lambda-calculus to model the semantics of words like book and library, in particular their behavior in the context of quantification and cardinality statements.},
      ANNOTE = {COLIURL : Pinkal:2000:FLD.pdf Pinkal:2000:FLD.ps}
}