mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-09-16 07:16:05 -06:00
14 lines
621 B
Plaintext
14 lines
621 B
Plaintext
concrete ExtraCggAbsCgg of ExtraCggAbs = CatCgg
|
|
open (R=ResCgg), (P=ParamX) in {
|
|
|
|
lincat
|
|
AllTenses = {s : Str ; t : P.Tense; tExtra : R.TensesExtra } ;
|
|
TempExtra = {s : Str ; t : R.TensesExtra } ;
|
|
--TempExtraWithAspects = {s : Str ; t : P.Tense ; a : R.AspectsExtra } ;
|
|
fun
|
|
UseClExtra : TempTempExtra -> Pol -> Cl -> S ; -- she had not slept
|
|
UseQClExtra : TempTempExtra -> Pol -> QCl -> QS ; -- who had not slept
|
|
UseRClExtra : TempTempExtra -> Pol -> RCl -> RS ; -- that had not slept
|
|
UseSlashExtra : TempTempExtra -> Pol -> ClSlash -> SSlash ; -- (that) she had not seen
|
|
|
|
} |