Some additions to lexicon

2026-06-28 20:36:29 -06:00 · 2020-08-16 09:03:46 +03:00
parent 98f65975ae
commit 4abec966a9
12 changed files with 4373 additions and 23 deletions
@@ -125,6 +125,9 @@ lin
  -- : A -> Ord ;
  OrdSuperl a = long_superlative a ;

+  -- : Numeral -> A -> Ord ; -- third largest
+  OrdNumeralSuperl num a = ord_long_superlative num.o a  ;
+
  -- : Pron -> Quant ;    -- my (house)
  PossPron pron = {
    s=mkPronTable pron.poss ;