=Implemented AjOrd in Adjective which resulted in changing the type of AP and leading to use of default Agrement AgP3 Sg KI_BI. Othrwise context is required

This commit is contained in:
David Bamutura
2019-05-17 00:47:44 +02:00
parent cc165875f5
commit fdc4dced45
3 changed files with 9 additions and 5 deletions
+4
View File
@@ -7,6 +7,10 @@ lin
PositA a = a;
-- The superlative use is covered in $Ord$.
--AdjOrd : Ord -> AP ; -- warmest
AdjOrd ord = {s= ord.s; position1= ord.position1};
{-
abstract Adjective = Cat ** {