=Finished Implementation of PhraseCgg.gf

This commit is contained in:
David Bamutura
2019-05-19 10:14:10 +02:00
parent 3aef8a9f7e
commit db4126c61f
7 changed files with 41 additions and 6 deletions
+1 -1
View File
@@ -10,7 +10,7 @@ lin
-- The superlative use is covered in $Ord$.
--AdjOrd : Ord -> AP ; -- warmest
AdjOrd ord = {s= \\agr => ord.s!agr ; position1= ord.position1; isProper = False; isPrep = False};
AdjOrd ord = {s= \\agr => ord.s!agr ; position1= ord.position1; isProper = False; isPrep = False};
-- UseComparA : A -> AP ; -- warmer
UseComparA a ={s =\\_ => a.s ++ BIND ++ "ho" ++ "kukira"; position1= a.position1; isProper = a.isProper; isPrep = a.isPrep};