started disambiguation example

This commit is contained in:
aarne
2006-10-10 16:43:41 +00:00
parent 604ec0a8c9
commit 65fd6edb6c
2 changed files with 41 additions and 0 deletions

View File

@@ -0,0 +1,18 @@
abstract Conversation = {
cat
Q ; NP ; A ;
Gender ; Number ; Politeness ;
fun
PredA : NP -> A -> Q ;
GMasc, GFem : Gender ;
NSg, NPl : Number ;
PFamiliar, PPolite : Politeness ;
You : Number -> Politeness -> Gender -> NP ;
Ready : A ;
}

View File

@@ -0,0 +1,23 @@
--# -path=.:prelude
concrete ConversationEng of Conversation = open Prelude in {
lincat
Q, NP, A = {s : Str} ;
Gender, Number, Politeness = {s : Str} ;
lin
PredA np a = ss ("are" ++ np.s ++ a.s) ;
GMasc = ss (optStr "man") ;
GFem = ss (optStr "woman") ;
NSg = ss (optStr "one") ;
NPl = ss (optStr "many") ;
PFamiliar = ss (optStr "friend") ;
PPolite = ss (optStr "respected") ;
You n p g = ss ("you" ++ n.s ++ p.s ++ g.s) ;
Ready = ss "ready" ;
}