German phrasebook; ontology document; ignoring single lines in gfdoc

This commit is contained in:
aarne
2010-04-08 20:31:32 +00:00
parent 6aa9363b53
commit a459f0a449
16 changed files with 549 additions and 228 deletions

View File

@@ -144,6 +144,10 @@ concrete WordsFin of Words = SentencesFin **
closed_Adv = ParadigmsFin.mkAdv "kiinni" ;
nameOf : {name : NP ; isPron : Bool ; poss : Det} -> NP = \p ->
mkNP (E.GenNP p.name) (mkN "nimi" "nimiä") ;
let nimi = L.name_N in
case p.isPron of {
True => mkNP p.poss nimi ;
_ => mkNP (E.GenNP p.name) nimi
} ;
}