Title: Interpreting referring expressions within a formal framework