reduced overgeneration by only allowing one AdA in Phrasebook

This commit is contained in:
aarne
2010-04-04 20:44:37 +00:00
parent 7e659b0ff2
commit 74e385393c
9 changed files with 219 additions and 210 deletions

View File

@@ -3,7 +3,7 @@ abstract Sentences = Numeral ** {
cat
Phrase ;
Sentence ; Question ;
Object ; Item ; Kind ; Quality ;
Object ; Item ; Kind ; Quality ; Property ;
Place ; PlaceKind ; Currency ; Price ; Language ;
Person ; Action ;
@@ -38,11 +38,13 @@ abstract Sentences = Numeral ** {
ObjItem : Item -> Object ;
ObjNumber : Numeral -> Kind -> Object ;
ObjIndef : Kind -> Object ;
This, That, These, Those, The, Thes : Kind -> Item ;
SuchKind : Quality -> Kind -> Kind ;
Very : Quality -> Quality ;
Too : Quality -> Quality ;
Very : Property -> Quality ;
Too : Property -> Quality ;
PropQuality : Property -> Quality ;
ThePlace : PlaceKind -> Place ;

View File

@@ -11,6 +11,7 @@ incomplete concrete SentencesI of Sentences = Numeral **
Item = NP ;
Kind = CN ;
Quality = AP ;
Property = A ;
Object = NP ;
Place = NP ;
PlaceKind = CN ;
@@ -49,6 +50,7 @@ incomplete concrete SentencesI of Sentences = Numeral **
ObjItem i = i ;
ObjNumber n k = mkNP <lin Numeral n : Numeral> k ;
ObjIndef k = mkNP a_Quant k ;
This kind = mkNP this_Quant kind ;
That kind = mkNP that_Quant kind ;
@@ -58,8 +60,9 @@ incomplete concrete SentencesI of Sentences = Numeral **
The kind = mkNP the_Quant kind ;
Thes kind = mkNP the_Quant plNum kind ;
SuchKind quality kind = mkCN quality kind ;
Very quality = mkAP very_AdA quality ;
Too quality = mkAP too_AdA quality ;
Very property = mkAP very_AdA (mkAP property) ;
Too property = mkAP too_AdA (mkAP property) ;
PropQuality property = mkAP property ;
ThePlace kind = mkNP the_Quant kind ;
I = mkNP i_Pron ;

View File

@@ -5,7 +5,7 @@ abstract Words = Sentences ** {
Wine, Beer, Water, Coffee, Tea : Kind ;
Cheese, Fish, Pizza : Kind ;
Fresh, Warm, Italian,
Expensive, Delicious, Boring : Quality ;
Expensive, Delicious, Boring, Good : Property ;
Bar, Restaurant, Toilet : PlaceKind ;

View File

@@ -12,12 +12,13 @@ concrete WordsEng of Words = SentencesEng **
Pizza = mkCN (mkN "pizza") ;
Cheese = mkCN (mkN "cheese") ;
Fish = mkCN (mkN "fish" "fish") ;
Fresh = mkAP (mkA "fresh") ;
Warm = mkAP (mkA "warm") ;
Italian = mkAP (mkA "Italian") ;
Expensive = mkAP (mkA "expensive") ;
Delicious = mkAP (mkA "delicious") ;
Boring = mkAP (mkA "boring") ;
Fresh = mkA "fresh" ;
Warm = mkA "warm" ;
Italian = mkA "Italian" ;
Expensive = mkA "expensive" ;
Delicious = mkA "delicious" ;
Boring = mkA "boring" ;
Good = mkA "good" "better" "best" "well" ;
Restaurant = mkCN (mkN "restaurant") ;
Bar = mkCN (mkN "bar") ;

View File

@@ -12,16 +12,18 @@ concrete WordsFin of Words = SentencesFin **
Pizza = mkCN (mkN "pizza") ;
Cheese = mkCN (mkN "juusto") ;
Fish = mkCN (mkN "kala") ;
Fresh = mkAP (mkA "tuore") ;
Warm = mkAP (mkA
Fresh = mkA "tuore" ;
Warm = mkA
(mkN "lämmin" "lämpimän" "lämmintä" "lämpimänä" "lämpimään"
"lämpiminä" "lämpimiä" "lämpimien" "lämpimissä" "lämpimiin"
)
"lämpimämpi" "lämpimin") ;
Italian = mkAP (mkA "italialainen") ;
Expensive = mkAP (mkA "kallis") ;
Delicious = mkAP (mkA "herkullinen") ;
Boring = mkAP (mkA "tylsä") ;
"lämpimämpi" "lämpimin" ;
Italian = mkA "italialainen" ;
Expensive = mkA "kallis" ;
Delicious = mkA "herkullinen" ;
Boring = mkA "tylsä" ;
Good = mkA (mkN "hyvä") "parempi" "paras" ; ---- comparisons?
Restaurant = mkCN (mkN "ravintola") ;
Bar = mkCN (mkN "baari") ;

View File

@@ -21,12 +21,13 @@ Cheese = mkCN (mkN "fromage" masculine) ;
Fish = mkCN (mkN "poisson" masculine) ;
Pizza = mkCN (mkN "pizza" feminine) ;
Fresh = mkAP (mkA "frais" "fraîche") ;
Warm = mkAPA "chaud" ;
Italian = mkAPA "italien" ;
Expensive = mkAPA "cher" ;
Delicious = mkAPA "délicieux" ;
Boring = mkAPA "ennuyeux" ;
Fresh = mkA "frais" "fraîche" "frais" "fraîchement" ;
Warm = mkA "chaud" ;
Italian = mkA "italien" ;
Expensive = mkA "cher" ;
Delicious = mkA "délicieux" ;
Boring = mkA "ennuyeux" ;
Good = prefixA (mkA "bon" "bonne" "bons" "bien") ;
Restaurant = mkCN (mkN "restaurant") ;
Bar = mkCN (mkN "bar") ;
@@ -54,7 +55,4 @@ Boring = mkAPA "ennuyeux" ;
AScared p = mkCl p (E.ComplCN have_V2 (mkCN (mkN "peur" feminine))) ;
AUnderstand p = mkCl p (mkV IrregFre.comprendre_V2) ;
oper
mkAPA : (_ : Str) -> AP = \x -> mkAP (mkA x) ;
}

View File

@@ -19,12 +19,13 @@ Cheese = mkCN (mkN "formaggio") ;
Fish = mkCN (mkN "pesce") ;
Pizza = mkCN (mkN "pizza") ;
Fresh = mkAP (mkA "fresco") ;
Warm = mkAPA "caldo" ;
Italian = mkAPA "italiano" ;
Expensive = mkAPA "caro" ;
Delicious = mkAPA "delizioso" ;
Boring = mkAPA "noioso" ;
Fresh = mkA "fresco" ;
Warm = mkA "caldo" ;
Italian = mkA "italiano" ;
Expensive = mkA "caro" ;
Delicious = mkA "delizioso" ;
Boring = mkA "noioso" ;
Good = prefixA (mkA "buono" "buona" "buoni" "buone" "bene") ;
Restaurant = mkCN (mkN "ristorante") ;
Bar = mkCN (mkN "bar") ;

View File

@@ -20,12 +20,13 @@ Cheese = mkCN (mkN "brânză" "brânzeturi" feminine) ;
Fish = mkCN (mkN "peşte" "peşti" masculine) ;
Pizza = mkCN (mkN "pizza" "pizze" feminine) ;
Fresh = mkAPA "proaspăt" "proaspătă" "proaspeţi" "proaspete" ;
Warm = mkAPA "cald" "caldă" "calzi" "calde" ;
Italian = mkAPA "italian" "italiană" "italieni" "italiene" ;
Expensive = mkAPA "scump" "scumpă" "scumpi" "scumpe" ;
Delicious = mkAPA "delicios" "delcioasă" "delicioşi" "delicioase" ;
Boring = mkAPA "plictisitor" "plictisitoare" "plictisitori" "plictisitoare" ;
Fresh = mkA "proaspăt" "proaspătă" "proaspeţi" "proaspete" ;
Warm = mkA "cald" "caldă" "calzi" "calde" ;
Italian = mkA "italian" "italiană" "italieni" "italiene" ;
Expensive = mkA "scump" "scumpă" "scumpi" "scumpe" ;
Delicious = mkA "delicios" "delcioasă" "delicioşi" "delicioase" ;
Boring = mkA "plictisitor" "plictisitoare" "plictisitori" "plictisitoare" ;
Good = mkA "bun" "bună" "buni" "bune" "bine" ;
Restaurant = mkCN (mkN "restaurant") ;
Bar = mkCN (mkNR "bar") ;

View File

@@ -12,12 +12,13 @@ concrete WordsSwe of Words = SentencesSwe **
Pizza = mkCN (mkN "pizza") ;
Cheese = mkCN (mkN "ost") ;
Fish = mkCN (mkN "fisk") ;
Fresh = mkAP (mkA "färsk") ;
Warm = mkAP (mkA "varm") ;
Italian = mkAP (mkA "italiensk") ;
Expensive = mkAP (mkA "dyr") ;
Delicious = mkAP (mkA "läcker") ;
Boring = mkAP (mkA "tråkig") ;
Fresh = mkA "färsk" ;
Warm = mkA "varm" ;
Italian = mkA "italiensk" ;
Expensive = mkA "dyr" ;
Delicious = mkA "läcker" ;
Boring = mkA "tråkig" ;
Good = mkA "god" "gott" "goda" "bättre" "bäst" ;
Restaurant = mkCN (mkN "restaurang" "restauranger") ;
Bar = mkCN (mkN "bar" "barer") ;