From 3ff57f6184963acde7f3cc2dcf0638c0e819929a Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Sat, 15 Nov 2008 11:19:10 +0000
Subject: comparative adverbs generalized to cover more of Attempto

---
 next-lib/src/abstract/Adjective.gf | 1 +
 1 file changed, 1 insertion(+)

(limited to 'next-lib/src/abstract/Adjective.gf')

diff --git a/next-lib/src/abstract/Adjective.gf b/next-lib/src/abstract/Adjective.gf
index b934dfa82..d8fe2d9ac 100644
--- a/next-lib/src/abstract/Adjective.gf
+++ b/next-lib/src/abstract/Adjective.gf
@@ -14,6 +14,7 @@ abstract Adjective = Cat ** {
     ReflA2  : A2 -> AP ;        -- married to itself
     UseA2   : A2 -> AP ;        -- married
     UseComparA : A  -> AP ;     -- warmer
+    CAdvAP  : CAdv -> AP -> NP -> AP ; -- as cool as John
 
 -- The superlative use is covered in $Ord$.
 
-- 
cgit v1.2.3