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

Contents

Description

PDRS properties

Synopsis

Exported

isProperPDRS :: PDRS -> Bool #

Returns whether a PDRS is proper, where:

A PDRS p is proper iff
  • p does not contain any free referents

isPurePDRS :: PDRS -> Bool #

Returns whether a PDRS is pure, where:

A PDRS p is pure iff
  • p does not contain any duplicate (otiose) variables

isPresupPDRS :: PDRS -> Bool #

Returns whether a PDRS is presuppositional, where:

A PDRS p is presuppositional iff
  • p contains free pointers

isSimplePDRS :: PDRS -> Bool #

Returns whether a PDRS is simple, where:

A PDRS p is simple iff
  • p does not contain free pointers

isPlainPDRS :: PDRS -> Bool #

Returns whether a PDRS is plain, where:

A PDRS p is plain iff
  • all projection pointers in p are locally bound