mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 11:42:49 -06:00
English Ord to Order
This commit is contained in:
@@ -9,14 +9,14 @@ concrete CatEng of Cat = open ResEng, Prelude, (R = ParamX) in {
|
|||||||
QS = {s : QForm => Str} ;
|
QS = {s : QForm => Str} ;
|
||||||
RS = {s : Agr => Str} ;
|
RS = {s : Agr => Str} ;
|
||||||
|
|
||||||
Cl = {s : Tense => Anteriority => Polarity => Ord => Str} ;
|
Cl = {s : Tense => Anteriority => Polarity => Order => Str} ;
|
||||||
Slash = {s : Tense => Anteriority => Polarity => Ord => Str} ** {c2 : Str} ;
|
Slash = {s : Tense => Anteriority => Polarity => Order => Str} ** {c2 : Str} ;
|
||||||
|
|
||||||
QCl = {s : Tense => Anteriority => Polarity => QForm => Str} ;
|
QCl = {s : Tense => Anteriority => Polarity => QForm => Str} ;
|
||||||
RCl = {s : Tense => Anteriority => Polarity => Agr => Str} ;
|
RCl = {s : Tense => Anteriority => Polarity => Agr => Str} ;
|
||||||
|
|
||||||
VP = {
|
VP = {
|
||||||
s : Tense => Anteriority => Polarity => Ord => Agr => {fin, inf : Str} ;
|
s : Tense => Anteriority => Polarity => Order => Agr => {fin, inf : Str} ;
|
||||||
s2 : Agr => Str
|
s2 : Agr => Str
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
|
|||||||
@@ -29,7 +29,7 @@ resource ParamEng = ParamX ** {
|
|||||||
|
|
||||||
-- The order of sentence is needed already in $VP$.
|
-- The order of sentence is needed already in $VP$.
|
||||||
|
|
||||||
Ord = ODir | OQuest ;
|
Order = ODir | OQuest ;
|
||||||
|
|
||||||
|
|
||||||
--2 For $Adjective$
|
--2 For $Adjective$
|
||||||
|
|||||||
@@ -99,7 +99,7 @@ resource ResEng = ParamEng ** open Prelude in {
|
|||||||
} ;
|
} ;
|
||||||
|
|
||||||
VerbForms : Type =
|
VerbForms : Type =
|
||||||
Tense => Anteriority => Polarity => Ord => Agr => {fin, inf : Str} ;
|
Tense => Anteriority => Polarity => Order => Agr => {fin, inf : Str} ;
|
||||||
|
|
||||||
VP : Type = {
|
VP : Type = {
|
||||||
s : VerbForms ;
|
s : VerbForms ;
|
||||||
@@ -229,7 +229,7 @@ resource ResEng = ParamEng ** open Prelude in {
|
|||||||
-- For $Sentence$.
|
-- For $Sentence$.
|
||||||
|
|
||||||
Clause : Type = {
|
Clause : Type = {
|
||||||
s : Tense => Anteriority => Polarity => Ord => Str
|
s : Tense => Anteriority => Polarity => Order => Str
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
mkClause : Str -> Agr -> VP -> Clause =
|
mkClause : Str -> Agr -> VP -> Clause =
|
||||||
|
|||||||
Reference in New Issue
Block a user