mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-05-28 09:28:54 -06:00
(Ara) add a string (e.g. "that") in VS
This commit is contained in:
@@ -80,7 +80,7 @@ concrete CatAra of Cat = CommonX - [Utt] ** open ResAra, Prelude, ParamX in {
|
|||||||
V2, V2A = ResAra.Verb2 ;
|
V2, V2A = ResAra.Verb2 ;
|
||||||
VV = ResAra.Verb2 ** {sc : Preposition} ; -- c2 is for verb
|
VV = ResAra.Verb2 ** {sc : Preposition} ; -- c2 is for verb
|
||||||
V2S, V2Q = ResAra.Verb2 ;
|
V2S, V2Q = ResAra.Verb2 ;
|
||||||
VS = ResAra.Verb ** {o : Order} ;
|
VS = ResAra.Verb ** {o : Order; s2 : Str} ;
|
||||||
V3 = ResAra.Verb3 ;
|
V3 = ResAra.Verb3 ;
|
||||||
V2V = ResAra.Verb3 ** {sc : Preposition} ; -- c3 is for verb, c2 is for dir.obj
|
V2V = ResAra.Verb3 ** {sc : Preposition} ; -- c3 is for verb, c2 is for dir.obj
|
||||||
|
|
||||||
|
|||||||
@@ -274,7 +274,10 @@ resource ParadigmsAra = open
|
|||||||
-- questions, verb phrases, and adjectives.
|
-- questions, verb phrases, and adjectives.
|
||||||
|
|
||||||
mkV0 : V -> V0 ;
|
mkV0 : V -> V0 ;
|
||||||
mkVS : V -> VS ;
|
-- mkVS = overload {
|
||||||
|
-- mkVS : V -> VS ;
|
||||||
|
-- mkVS : V -> Str -> VS
|
||||||
|
-- } ;
|
||||||
mkV2S : V -> Str -> V2S ;
|
mkV2S : V -> Str -> V2S ;
|
||||||
mkVV = overload {
|
mkVV = overload {
|
||||||
mkVV : V -> VV = regVV ;
|
mkVV : V -> VV = regVV ;
|
||||||
@@ -737,7 +740,10 @@ resource ParadigmsAra = open
|
|||||||
|
|
||||||
dirdirV3 v = dirV3 v (casePrep acc) ;
|
dirdirV3 v = dirV3 v (casePrep acc) ;
|
||||||
|
|
||||||
mkVS v = lin VS (v ** {o = Subord}) ;
|
mkVS = overload {
|
||||||
|
mkVS : V -> VS = \v -> lin VS (v ** {o = Subord; s2 = []}) ;
|
||||||
|
mkVS : V -> Str -> VS = \v,s -> lin VS (v ** {o = Subord; s2 = s})
|
||||||
|
} ;
|
||||||
mkVQ v = lin VQ v ;
|
mkVQ v = lin VQ v ;
|
||||||
|
|
||||||
regVV : V -> VV = \v -> lin VV v ** {c2 = mkPreposition "أَنْ" ; sc = noPrep} ;
|
regVV : V -> VV = \v -> lin VV v ** {c2 = mkPreposition "أَنْ" ; sc = noPrep} ;
|
||||||
|
|||||||
@@ -51,7 +51,7 @@ concrete VerbAra of Verb = CatAra ** open Prelude, ResAra, ParamX in {
|
|||||||
|
|
||||||
-- : VS -> S -> VP ; -- say that she runs
|
-- : VS -> S -> VP ; -- say that she runs
|
||||||
ComplVS vs s = predV vs ** { -- IL
|
ComplVS vs s = predV vs ** { -- IL
|
||||||
obj = emptyObj ** {s = s.s ! vs.o}
|
obj = emptyObj ** {s = vs.s2 ++ s.s ! vs.o}
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
-- : VQ -> QS -> VP ; -- wonder who runs
|
-- : VQ -> QS -> VP ; -- wonder who runs
|
||||||
|
|||||||
Reference in New Issue
Block a user