-- how to arrange and extend these

   def_Det   : Det ;   -- the (man)
   indef_Det : Det ;   -- a (man)
   mass_Det  : Det ;   -- (water)


------------------------------------------
--- strange cats: 

Slash
      mkQCl : IP -> Slash -> QCl       ;   -- who does John love
      mkRCl : RP -> Slash -> RCl     -- whom John loves
      mkSlash : Slash -> Adv -> Slash ;   -- (whom) he sees tomorrow

VP?
  -- appears in 9 places, of which 2 are recursive

-- Comp: already eliminated

-- DConj /= Conj ?

--------------------------------------------
--- granted special cases

  Text - Phr - Utt 

  S  - Cl   -- Tense Ant Pol
  QS - QCl
  RS - RCl

  VP - V | V2 NP | V3 NP NP ...

  NP - PN | Pron

  CN - N

  AP - A

  Det - Num | Int | Digit

  Num - Numeral | Digit | Int

  ListX - X X

--------

  open ResourceX, ParadigmsX in ...

  ResourceX = ConstructorsX, StructuralX, CatX 


--------------------

-- to be left out of coverage:
-- Verb: coercions
    UseVQ   : VQ -> V2 ;                -- ask (a question)
    UseVS   : VS -> V2 ;                -- know (a secret)
-- Adjective: strange rule, not covered
    UseA2   : A2 -> A ;         -- divisible



-- mkIComp
    CompIAdv : IAdv -> IComp ;                 -- where