mirror of
https://github.com/GrammaticalFramework/comp-syntax-gu-mlt.git
synced 2026-02-08 22:41:05 -07:00
27 lines
795 B
Plaintext
27 lines
795 B
Plaintext
concrete CountriesFin of Countries = FactsFin, CountryNamesFin **
|
|
|
|
open SyntaxFin, ParadigmsFin, SymbolicFin, Prelude
|
|
|
|
in {
|
|
|
|
lin
|
|
cName name = name.np ;
|
|
|
|
capital_Attribute = mkAttribute "pääkaupunki" ;
|
|
area_Attribute = mkAttribute "pinta-ala" ;
|
|
population_Attribute = mkAttribute "asukasluku" ;
|
|
continent_Attribute = mkAttribute "maanosa" ;
|
|
currency_Attribute = mkAttribute "valuutta" ;
|
|
|
|
populationFact cname int = mkCl cname.np (mkV2 (caseV (locCase cname) have_V2)) (mkNP <symb int : Card> (mkN "asukas")) ;
|
|
continentFact cname name = mkCl cname.np (SyntaxFin.mkAdv (casePrep (locCase name)) name.np) ;
|
|
|
|
oper
|
|
mkAttribute : Str -> CN = \s -> mkCN (mkN s) ;
|
|
|
|
locCase : LocName -> Case = \name -> case name.isIn of {
|
|
True => inessive ;
|
|
False => adessive
|
|
} ;
|
|
}
|