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.DRS.Properties

Contents

Description

DRS properties

Synopsis

Exported

isFOLDRS :: DRS -> Bool #

Returns whether DRS d can be translated into a FOLForm.

isProperDRS :: DRS -> Bool #

Returns whether DRS d is proper , where:

DRS d is proper iff
  • d does not contain any free variables

isPureDRS :: DRS -> Bool #

Returns whether DRS d is pure, where:

DRS d is pure iff
  • d does not contain any otiose declarations of discourse referents (i.e., d does not contain any unbound, duplicate uses of referents).