# Handling Verb Phrase Anaphora with Dependent Types and Events

## TL;DR

This paper proposes a novel framework using dependent types and neo-Davidsonian events to effectively handle verb phrase anaphora in natural language understanding.

## Contribution

It introduces an extended Dependent Type Semantics with a new atomic event type and an @-operator for improved anaphora resolution.

## Key findings

- Framework successfully models verb phrase anaphora
- Extended DTS captures shared event properties
- Illustrative examples demonstrate effectiveness

## Abstract

This paper studies how dependent typed events can be used to treat verb phrase anaphora. We introduce a framework that extends Dependent Type Semantics (DTS) with a new atomic type for neo-Davidsonian events and an extended @-operator that can return new events that share properties of events referenced by verb phrase anaphora. The proposed framework, along with illustrative examples of its use, are presented after a brief overview of the necessary background and of the major challenges posed by verb phrase anaphora.