comparative adverbs generalized to cover more of Attempto

2008-11-15 11:19:10 +00:00
parent 6b21e170e8
commit fc60a33c2a
34 changed files with 124 additions and 78 deletions
@@ -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$.