PDRT-SANDBOX:An implementation of Projective Discourse Representation Theory

We introduce PDRT-SANDBOX, a Haskell library that implements Projective Dis- course Representation Theory (PDRT) (Venhuizen et al., 2013), an extension of Discourse Representation Theory (DRT) (Kamp, 1981; Kamp and Reyle, 1993). The implementation includes a translation from PDRT to DRT and first-order logic, composition via different types of merge, and unresolved structures based on Mon- tague Semantics (Muskens, 1996), defined as Haskell functions