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

Contents

Description

DRS binding

Synopsis

Exported

drsBoundRef :: DRSRef -> DRS -> DRS -> Bool #

Returns whether DRSRef d in local DRS ld is bound in the global DRS gd.

drsFreeRefs :: DRS -> DRS -> [DRSRef] #

Returns the list of all free DRSRefs in a DRS.