summaryrefslogtreecommitdiff
path: root/examples/attempto/LexAttemptoFin.gf
diff options
context:
space:
mode:
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))) ;
}