forked from GitHub/gf-rgl
@@ -20,10 +20,8 @@ concrete AdjectiveMay of Adjective = CatMay ** open ResMay, Prelude in {
|
||||
} ;
|
||||
|
||||
-- : A2 -> NP -> AP ; -- married to her
|
||||
ComplA2 a2 np = a2 ** {
|
||||
compl = np.s
|
||||
} ;
|
||||
|
||||
ComplA2 a np = {s = a.s ++ np.s ! Bare} ;
|
||||
-- : A2 -> AP ; -- married to itself
|
||||
-- ReflA2 a2 = a2 ** { } ;
|
||||
|
||||
|
||||
@@ -206,7 +206,9 @@ oper
|
||||
|
||||
mkAdj : Str -> Adjective = \str -> {s = str} ;
|
||||
|
||||
AdjPhrase : Type = Adjective ; -- ** {compar : Str} ;
|
||||
AdjPhrase = {
|
||||
s : Str
|
||||
} ; -- ** {compar : Str} ;
|
||||
--------------------------------------------------------------------------------
|
||||
-- Verbs
|
||||
|
||||
|
||||
@@ -118,7 +118,7 @@ lin
|
||||
-- SlashV2VNP v2v np vps =
|
||||
|
||||
-- : Comp -> VP ;
|
||||
UseComp comp = comp ;
|
||||
UseComp comp = comp;
|
||||
|
||||
-- : VP -> Adv -> VP ; -- sleep here
|
||||
AdvVP vp adv = vp ** {
|
||||
|
||||
Reference in New Issue
Block a user