pdrt-sandbox-0.1.1: (Projective) Discourse Representation Theory
Copyright(c) Harm Brouwer and Noortje Venhuizen
LicenseApache-2.0
Maintainerme@hbrouwer.eu, n.j.venhuizen@rug.nl
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.PDRS.Translate

Description

PDRS accommodation, PDRS to FOL translation, and PDRS to DRS translation

Synopsis

Exported

pdrsToFOL :: PDRS -> FOLForm #

Translates a PDRS into a FOLForm.

pdrsToDRS :: PDRS -> DRS #

Translates a PDRS into a DRS.

Private

stripPVars :: PDRS -> DRS #

Strips projection variables from a PDRS p, resulting in a DRS.