1
0
forked from GitHub/gf-rgl

(Ara) guess PassV2

This commit is contained in:
Inari Listenmaa
2018-09-20 09:55:05 +02:00
parent 77bda93032
commit d4deb3561e

View File

@@ -35,7 +35,7 @@ concrete VerbAra of Verb = CatAra ** open Prelude, ResAra in {
--
-- ReflV2 v = insertObj (\\a => v.c2 ++ reflPron ! a) (predV v) ;
--
-- PassV2 v = insertObj (\\_ => v.s ! VPPart) (predAux auxBe) ;
PassV2 v = kaan {s = \\_,_ => v.s ! VPPart} ; ---- IL guessed
--
-- UseVS, UseVQ = \vv -> {s = vv.s ; c2 = [] ; isRefl = vv.isRefl} ; -- no