summaryrefslogtreecommitdiff
path: root/examples/attempto/LexAttemptoFin.gf
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2010-01-04 21:19:13 +0000
committeraarne <aarne@chalmers.se>2010-01-04 21:19:13 +0000
commit6d0f248b67552b3920e431e2090ca66f1ca5060c (patch)
treec720e52f2075f979c1e5d54d57f5aff6836a3f7c /examples/attempto/LexAttemptoFin.gf
parent9cc1d15efe679ef2190fd9e61058253806528a58 (diff)
fixes in Attempto
Diffstat (limited to 'examples/attempto/LexAttemptoFin.gf')
-rw-r--r--examples/attempto/LexAttemptoFin.gf10
1 files changed, 7 insertions, 3 deletions
diff --git a/examples/attempto/LexAttemptoFin.gf b/examples/attempto/LexAttemptoFin.gf
index 209c80832..e89fec70c 100644
--- a/examples/attempto/LexAttemptoFin.gf
+++ b/examples/attempto/LexAttemptoFin.gf
@@ -4,17 +4,19 @@ instance LexAttemptoFin of LexAttempto =
SyntaxFin,
ParadigmsFin,
ConstructX,
- (M = MakeStructuralFin)
+ (M = MakeStructuralFin),
+ (E = ExtraFin),
+ (L = LangFin)
in {
oper
possible_A = mkA "mahdollinen" ;
necessary_A = mkA "välttämätön" ;
own_A = mkA "oma" ;
- have_VV = mkVV (mkV "pitää") ;
+ have_VV = mkVV (caseV genitive (mkV "pitää")) ;
provably_Adv = mkAdv "todistettavasti" ;
provable_A = mkA "todistettava" ;
- false_A = mkA (mkN "epätosi" "epätosia") ;
+ false_A = mkA (mkN "epätosi" "epätoden" "epätosia") ;
such_A = mkA "sellainen" ;
genitiveNP np = mkNP (GenNP np) ;
@@ -33,4 +35,6 @@ oper
eachOf np = mkNP (mkNP each_Det) (SyntaxFin.mkAdv (casePrep elative) np) ;
+ adj_thatCl : A -> S -> Cl = \a,s ->
+ mkCl (L.UseComp (E.CompPartAP (mkAP (mkAP a) s))) ;
}