GenI- A natural language generator (specifically, an FB-LTAG surface realiser)

Safe HaskellSafe-Infered




sortSem :: Ord a => [Literal a] -> [Literal a]Source

default sorting for a semantics

subsumeSem :: Sem -> Sem -> [(Sem, Subst)]Source

x subsumeSem y returns all the possible ways to unify x with some SUBSET of y so that x subsumes y. If x does NOT subsume y, we return the empty list.