forked from GitHub/gf-rgl
(Dut) Better approximation of conjAgr
This commit is contained in:
@@ -714,9 +714,14 @@ param
|
|||||||
conjAgr : Agr -> Agr -> Agr = \a,b -> {
|
conjAgr : Agr -> Agr -> Agr = \a,b -> {
|
||||||
g = Utr ; ----
|
g = Utr ; ----
|
||||||
n = conjNumber a.n b.n ;
|
n = conjNumber a.n b.n ;
|
||||||
p = conjPerson a.p b.p
|
p = conjPerson' a.p b.p
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
|
conjPerson' : Person -> Person -> Person = \a,b -> case <a,b> of {
|
||||||
|
<P1,x> => x ;
|
||||||
|
<P3,x> => P3 ;
|
||||||
|
<P2,x> => case x of {P3 => P3 ; _ => P2} } ;
|
||||||
|
|
||||||
-- The infinitive particle "te" is used if and only if $vv.isAux = False$.
|
-- The infinitive particle "te" is used if and only if $vv.isAux = False$.
|
||||||
|
|
||||||
infPart : Bool -> Str = \b -> if_then_Str b [] "te" ;
|
infPart : Bool -> Str = \b -> if_then_Str b [] "te" ;
|
||||||
|
|||||||
Reference in New Issue
Block a user