NLP.GenI.Semantics
data Literal gv
type Sem
type LitConstr
type SemInput
emptyLiteral
removeConstraints
sortSem
compareOnLiteral
sortByAmbiguity
class HasConstants a
displaySemInput
isInternalHandle
subsumeSem
subsumeSemH
subsumeLiteral
unifySem
unifySemH
unifyLiteral